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