#include <prop_or.h>
Inheritance diagram for predicate_manager::Or:
Public Member Functions | |
| boost::shared_ptr< PropLogic > | clone () const |
| A standard clone function for PropLogic and its derived classes. | |
| bool | evaluate (boost::function< bool(NameID) > f) const |
| Evaluates this PropOperator. | |
| Or (const PropLogic &p1, const PropLogic &p2) | |
Detailed Description
Implements the logical "Or" operator (A || B) in propositional formulas.
Constructor & Destructor Documentation
| predicate_manager::Or::Or | ( | const PropLogic & | p1, |
| const PropLogic & | p2 | ||
| ) | [inline] |
Member Function Documentation
A standard clone function for PropLogic and its derived classes.
Implements predicate_manager::PropLogic.
Definition at line 53 of file prop_or.cpp.
| bool Or::evaluate | ( | boost::function< bool(NameID) > | f | ) | const [virtual] |
Evaluates this PropOperator.
Implements predicate_manager::PropLogic.
Definition at line 36 of file prop_or.cpp.
The documentation for this class was generated from the following files: