#include <prop_logic_predicate.h>
Public Member Functions | |
| void | bindPropLogic (const PropLogic &pl) |
| Binds the value of this predicate to a propositional formula. | |
| PropLogicPredicate (const std::string &name, const PropLogic &pl) | |
| PropLogicPredicate (const std::string &name) | |
| void | update () |
| To be called by the Predicate Manager. | |
Private Member Functions | |
| void | declareAllDependencies () |
| Extracts the dependency set from the associated PropLogic and declares those dependencies. | |
| bool | evaluate (const NameID &dep_name_id) |
| The function that is passed onto the PropLogic structure in order to evaluate the involved variables. | |
Private Attributes | |
| boost::shared_ptr< PropLogic > | prop_logic_ |
Detailed Description
PropLogicPredicate implements a Predicate that is defined over a propositional formula.
Definition at line 39 of file prop_logic_predicate.h.
Constructor & Destructor Documentation
| predicate_manager::PropLogicPredicate::PropLogicPredicate | ( | const std::string & | name, |
| const PropLogic & | pl | ||
| ) |
Preferred constructor.
- Parameters:
-
name The name of this predicate. pl The propositional formula from which the predicate should compute its value.
| predicate_manager::PropLogicPredicate::PropLogicPredicate | ( | const std::string & | name | ) |
Alternate constructor. You can use this form, for example, if you want to instantiate the predicate but you don't yet know the names of the variables involved in the respective propositional formula.
- Parameters:
-
name The name of this predicate.
Member Function Documentation
| void PropLogicPredicate::bindPropLogic | ( | const PropLogic & | pl | ) |
Binds the value of this predicate to a propositional formula.
Definition at line 50 of file prop_logic_predicate.cpp.
| void PropLogicPredicate::declareAllDependencies | ( | ) | [private] |
Extracts the dependency set from the associated PropLogic and declares those dependencies.
Definition at line 75 of file prop_logic_predicate.cpp.
| bool PropLogicPredicate::evaluate | ( | const NameID & | dep_name_id | ) | [private] |
The function that is passed onto the PropLogic structure in order to evaluate the involved variables.
Definition at line 90 of file prop_logic_predicate.cpp.
| void PropLogicPredicate::update | ( | ) | [virtual] |
To be called by the Predicate Manager.
Implements predicate_manager::PredicateDependentEntity.
Definition at line 64 of file prop_logic_predicate.cpp.
Member Data Documentation
boost::shared_ptr<PropLogic> predicate_manager::PropLogicPredicate::prop_logic_ [private] |
Definition at line 71 of file prop_logic_predicate.h.
The documentation for this class was generated from the following files: