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

InRingPredicate Class Reference

Predicate for atoms being included in rings of a certain number. More...

#include <standardPredicates.h>

Inheritance diagram for InRingPredicate:

ExpressionPredicate UnaryPredicate< Atom > List of all members.

Public Member Functions

 InRingPredicate () throw ()
 Default constructor;.
 InRingPredicate (Size n) throw ()
 Detailed constructor;.
 ~InRingPredicate () throw ()
 Destructor;.
virtual bool operator() (const Atom &atom) const throw ()
 Evaluate the predicate for the atom atom.

Detailed Description

Predicate for atoms being included in rings of a certain number.

Member Function Documentation

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

Evaluate the predicate for the atom atom.

Parameters:
atom the atom to test
Returns:
true, if the predicate is true, false otherwise

Reimplemented from ExpressionPredicate.