BALL::TruePredicate Class Reference

Default predicate. More...

#include <standardPredicates.h>

Inheritance diagram for BALL::TruePredicate:

[legend]

List of all members.

Public Member Functions
virtual bool	operator() (const Atom &atom) const
	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 BALL::TruePredicate::operator()

(

const Atom &

atom

)

const [virtual]

Evaluate the predicate for the atom atom.

Parameters:

atom

the atom to test

Returns:

true - always

Reimplemented from BALL::ExpressionPredicate.