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