#include <standardPredicates.h>

Public Member Functions |
|
| virtual bool | operator() (const Atom &atom) const |
Evaluate the predicate for the atom
atom. |
|
Returns true, if the type name of the atom
matches exactly the argument of this predicate.
| virtual bool BALL::AtomTypePredicate::operator() | ( | const Atom & | atom | ) | const [virtual] |
Evaluate the predicate for the atom
atom.
| atom | the atom to test |
Reimplemented from BALL::ExpressionPredicate.
1.5.8