#include <prop_xor.h>
Inheritance diagram for predicate_manager::Xor:
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 PropOperator. | |
| Xor (const PropLogic &p1, const PropLogic &p2) | |
Detailed Description
Implements the logical "Xor" operator in propositional formulas.
Definition at line 42 of file prop_xor.h.
Constructor & Destructor Documentation
| predicate_manager::Xor::Xor | ( | const PropLogic & | p1, |
| const PropLogic & | p2 | ||
| ) | [inline] |
Default constructor.
Definition at line 48 of file prop_xor.h.
Member Function Documentation
| boost::shared_ptr< PropLogic > Xor::clone | ( | ) | const [virtual] |
A standard clone function for PropLogic and its derived classes.
Implements predicate_manager::PropLogic.
Definition at line 55 of file prop_xor.cpp.
| bool Xor::evaluate | ( | boost::function< bool(NameID) > | f | ) | const [virtual] |
Evaluates this PropOperator.
Implements predicate_manager::PropLogic.
Definition at line 36 of file prop_xor.cpp.
The documentation for this class was generated from the following files: