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

TruePredicate Class Reference
[Kernel Predicates]

Default predicate. More...

#include <standardPredicates.h>

Inheritance diagram for TruePredicate:

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

Default predicate.

This predicate may be used to implement default rules. It is always true.

Member Function Documentation

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

Evaluate the predicate for the atom atom.

Parameters:
atom the atom to test
Returns:
true - always

Reimplemented from ExpressionPredicate.