#include <prop_not.h>
Inheritance diagram for predicate_manager::Not:
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. | |
| Not (const std::string &name, const uint32_t pm_id=0) | |
| void | printVariables (NameIDSet &dep_set) const |
| Gets the set of variable names for this propositional formula. | |
Private Attributes | |
| NameID | pred_name_id_ |
Detailed Description
Implements the logical negation operator. "Not" is one of the two unary operators that directly reference Predicate instances (the other being PV).
Definition at line 43 of file prop_not.h.
Constructor & Destructor Documentation
| Not::Not | ( | const std::string & | name, |
| const uint32_t | pm_id = 0 |
||
| ) |
Default constructor.
- Parameters:
-
name The name of the Predicate to which this negation operator should refer.
Definition at line 35 of file prop_not.cpp.
Member Function Documentation
| boost::shared_ptr< PropLogic > Not::clone | ( | ) | const [virtual] |
A standard clone function for PropLogic and its derived classes.
Implements predicate_manager::PropLogic.
Definition at line 53 of file prop_not.cpp.
| bool Not::evaluate | ( | boost::function< bool(NameID) > | f | ) | const [virtual] |
Evaluates this formula.
Implements predicate_manager::PropLogic.
Definition at line 44 of file prop_not.cpp.
| void Not::printVariables | ( | NameIDSet & | dep_set | ) | const [virtual] |
Gets the set of variable names for this propositional formula.
Implements predicate_manager::PropLogic.
Definition at line 63 of file prop_not.cpp.
Member Data Documentation
NameID predicate_manager::Not::pred_name_id_ [private] |
Definition at line 62 of file prop_not.h.
The documentation for this class was generated from the following files: