Inheritance diagram for BALL::TruePredicate:

Public Member Functions
virtual bool	operator() (const Atom &atom) const

Public Member Functions inherited from BALL::ExpressionPredicate
	ExpressionPredicate ()

	ExpressionPredicate (const ExpressionPredicate &predicate)

	ExpressionPredicate (const String &argument)

virtual	~ExpressionPredicate ()

ExpressionPredicate &	operator= (const ExpressionPredicate &predicate)

virtual void	clear ()

bool	operator== (const ExpressionPredicate &predicate) const

virtual void	setArgument (const String &argument)

const String &	getArgument () const

Public Member Functions inherited from BALL::UnaryPredicate< Atom >
virtual	~UnaryPredicate ()

Additional Inherited Members
Protected Attributes inherited from BALL::ExpressionPredicate
String	argument_

Detailed Description

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

Definition at line 54 of file standardPredicates.h.

Member Function Documentation

virtual bool BALL::TruePredicate::operator() ( const Atom & atom ) const

virtual

Evaluate the predicate for the atom atom

Parameters

atom	the atom to test