predicate_manager::PropLogic Member List

This is the complete list of members for predicate_manager::PropLogic, including all inherited members.

clone() const =0	predicate_manager::PropLogic	[pure virtual]
evaluate(boost::function< bool(NameID) > f) const =0	predicate_manager::PropLogic	[pure virtual]
printVariables(NameIDSet &dep_set) const =0	predicate_manager::PropLogic	[pure virtual]