#include <prop_logic.h>
Public Member Functions | |
| virtual boost::shared_ptr < PropLogic > | clone () const =0 |
| A standard clone function for PropLogic and its derived classes. | |
| virtual bool | evaluate (boost::function< bool(NameID) > f) const =0 |
| Evaluates this propositional formula. This should be implemented by each derived operator. | |
| virtual void | printVariables (NameIDSet &dep_set) const =0 |
| Gets the set of variable names for this propositional formula. | |
Detailed Description
The PropLogic class is a base class for propositional logic operators (connectives).
Definition at line 41 of file prop_logic.h.
Member Function Documentation
| virtual boost::shared_ptr<PropLogic> predicate_manager::PropLogic::clone | ( | ) | const [pure virtual] |
A standard clone function for PropLogic and its derived classes.
Implemented in predicate_manager::PV, predicate_manager::And, predicate_manager::Implies, predicate_manager::Or, predicate_manager::Xor, and predicate_manager::Not.
| virtual bool predicate_manager::PropLogic::evaluate | ( | boost::function< bool(NameID) > | f | ) | const [pure virtual] |
Evaluates this propositional formula. This should be implemented by each derived operator.
Implemented in predicate_manager::PV, predicate_manager::And, predicate_manager::Implies, predicate_manager::Or, predicate_manager::Xor, and predicate_manager::Not.
| virtual void predicate_manager::PropLogic::printVariables | ( | NameIDSet & | dep_set | ) | const [pure virtual] |
Gets the set of variable names for this propositional formula.
Implemented in predicate_manager::PV, predicate_manager::Not, and predicate_manager::PropOperator.
The documentation for this class was generated from the following file: