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

FalsePredicate Class Reference

False predicate. More...

#include <standardPredicates.h>

Inheritance diagram for FalsePredicate:

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

False predicate.

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

Member Function Documentation

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

Evaluate the predicate for the atom atom.

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

Reimplemented from ExpressionPredicate.