BALL::TruePredicate Class Reference

#include <BALL/KERNEL/standardPredicates.h>

Inheritance diagram for BALL::TruePredicate:

[legend]

List of all members.

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

---

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

Returns:

true - always

Reimplemented from BALL::ExpressionPredicate.