#include <standardPredicates.h>

Public Member Functions |
|
| virtual bool | operator() (const Atom &atom) const |
Evaluate the predicate for the atom
atom. |
|
This predicate is true, if the atom is selected, false otherwise.
| virtual bool BALL::SelectedPredicate::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