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 |