#include <prop_logic_event.h>
Public Member Functions | |
| void | bindPropLogic (const PropLogic &pl) |
| Binds the triggering condition of this event to a propositional formula. | |
| PropLogicEvent (const std::string &name, const PropLogic &pl) | |
| PropLogicEvent (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_ |
| bool | val_ |
| The propositional formula to which this event is bound. | |
Detailed Description
PropLogicEvent implements an Event that is defined over a propositional formula.
Definition at line 39 of file prop_logic_event.h.
Constructor & Destructor Documentation
| predicate_manager::PropLogicEvent::PropLogicEvent | ( | const std::string & | name, |
| const PropLogic & | pl | ||
| ) |
Preferred constructor.
- Parameters:
-
name The name of this Event. pl The propositional formula which constitutes the event's triggering condition.
| predicate_manager::PropLogicEvent::PropLogicEvent | ( | const std::string & | name | ) |
Alternate constructor. You can use this form, for example, if you want to instantiate the event but you don't yet know the names of the variables involved in the respective propositional formula.
- Parameters:
-
name The name of this event.
Member Function Documentation
| void PropLogicEvent::bindPropLogic | ( | const PropLogic & | pl | ) |
Binds the triggering condition of this event to a propositional formula.
Definition at line 52 of file prop_logic_event.cpp.
| void PropLogicEvent::declareAllDependencies | ( | ) | [private] |
Extracts the dependency set from the associated PropLogic and declares those dependencies.
Definition at line 80 of file prop_logic_event.cpp.
| bool PropLogicEvent::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 95 of file prop_logic_event.cpp.
| void PropLogicEvent::update | ( | ) | [virtual] |
To be called by the Predicate Manager.
triggers on rising edge
Implements predicate_manager::PredicateDependentEntity.
Definition at line 66 of file prop_logic_event.cpp.
Member Data Documentation
boost::shared_ptr<PropLogic> predicate_manager::PropLogicEvent::prop_logic_ [private] |
Definition at line 71 of file prop_logic_event.h.
bool predicate_manager::PropLogicEvent::val_ [private] |
The propositional formula to which this event is bound.
Definition at line 73 of file prop_logic_event.h.
The documentation for this class was generated from the following files: