predicate_manager::PropLogic Member List
This is the complete list of members for predicate_manager::PropLogic, including all inherited members.
clone() const =0predicate_manager::PropLogic [pure virtual]
evaluate(boost::function< bool(NameID) > f) const =0predicate_manager::PropLogic [pure virtual]
printVariables(NameIDSet &dep_set) const =0predicate_manager::PropLogic [pure virtual]


predicate_manager
Author(s): Joao Reis and Joao Messias
autogenerated on Wed Aug 26 2015 12:28:34