#include <prop_pv.h>
Inheritance diagram for predicate_manager::PV:
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 formula (i.e. gets the predicate value). | |
| void | printVariables (NameIDSet &dep_set) const |
| A standard clone function for PropLogic and its derived classes. | |
| PV (std::string const &name, const uint32_t pm_id=0) | |
Private Attributes | |
| NameID | pred_name_id_ |
Detailed Description
PV stands for "Predicate Value". The PV class allows the use value of an actual Predicate in PropLogic structures. PV is one of the two unary operators that directly reference Predicate instances (the other being "Not").
Constructor & Destructor Documentation
| PV::PV | ( | std::string const & | name, |
| const uint32_t | pm_id = 0 |
||
| ) |
Default constructor.
Definition at line 35 of file prop_pv.cpp.
Member Function Documentation
A standard clone function for PropLogic and its derived classes.
Implements predicate_manager::PropLogic.
Definition at line 53 of file prop_pv.cpp.
| bool PV::evaluate | ( | boost::function< bool(NameID) > | f | ) | const [virtual] |
Evaluates this formula (i.e. gets the predicate value).
Implements predicate_manager::PropLogic.
Definition at line 44 of file prop_pv.cpp.
| void PV::printVariables | ( | NameIDSet & | dep_set | ) | const [virtual] |
A standard clone function for PropLogic and its derived classes.
Implements predicate_manager::PropLogic.
Definition at line 63 of file prop_pv.cpp.
Member Data Documentation
NameID predicate_manager::PV::pred_name_id_ [private] |
The documentation for this class was generated from the following files: