| And(const PropLogic &p1, const PropLogic &p2) | predicate_manager::And | [inline] |
| children_ | predicate_manager::PropOperator | [protected] |
| children_type typedef | predicate_manager::PropOperator | |
| clone() const | predicate_manager::And | [virtual] |
| evaluate(boost::function< bool(NameID) > f) const | predicate_manager::And | [virtual] |
| printVariables(NameIDSet &dep_set) const | predicate_manager::PropOperator | [virtual] |
| PropOperator(const PropLogic &p1, const PropLogic &p2) | predicate_manager::PropOperator |