#include <prop_operator.h>
Inheritance diagram for predicate_manager::PropOperator:
Public Types | |
| typedef std::vector < boost::shared_ptr< const PropLogic > > | children_type |
| The type for the container of a propositional connective's variables. | |
Public Member Functions | |
| void | printVariables (NameIDSet &dep_set) const |
| Gets the set of variable names for this propositional formula. | |
| PropOperator (const PropLogic &p1, const PropLogic &p2) | |
| Default constructor. Currently, only binary propositional operators are supported. | |
Protected Attributes | |
| children_type | children_ |
Detailed Description
Definition at line 36 of file prop_operator.h.
Member Typedef Documentation
| typedef std::vector<boost::shared_ptr<const PropLogic> > predicate_manager::PropOperator::children_type |
The type for the container of a propositional connective's variables.
Definition at line 40 of file prop_operator.h.
Constructor & Destructor Documentation
| PropOperator::PropOperator | ( | const PropLogic & | p1, |
| const PropLogic & | p2 | ||
| ) |
Default constructor. Currently, only binary propositional operators are supported.
Definition at line 36 of file prop_operator.cpp.
Member Function Documentation
| void PropOperator::printVariables | ( | NameIDSet & | dep_set | ) | const [virtual] |
Gets the set of variable names for this propositional formula.
Implements predicate_manager::PropLogic.
Definition at line 47 of file prop_operator.cpp.
Member Data Documentation
Definition at line 50 of file prop_operator.h.
The documentation for this class was generated from the following files: