Main Page | Modules | Namespace List | Class Hierarchy | Class List | Namespace Members | Class Members

AtomTypePredicate Class Reference

Predicate for matching atom types. More...

#include <standardPredicates.h>

Inheritance diagram for AtomTypePredicate:

ExpressionPredicate UnaryPredicate< Atom > List of all members.

Public Member Functions

virtual bool operator() (const Atom &atom) const throw ()
 Evaluate the predicate for the atom atom.

Detailed Description

Predicate for matching atom types.

Returns true, if the type name of the atom matches exactly the argument of this predicate.

Member Function Documentation

virtual bool AtomTypePredicate::operator() (  const Atom &  atom  )  const throw () [virtual]
 

Evaluate the predicate for the atom atom.

Parameters:
atom the atom to test
Returns:
true, if the predicate is true, false otherwise

Reimplemented from ExpressionPredicate.