CVCL::SearchEngine Member List

This is the complete list of members for CVCL::SearchEngine, including all inherited members.

checkValid(const Expr &e)=0	CVCL::SearchEngine	[pure virtual]
createRules()	CVCL::SearchEngine	[protected]
d_commonRules	CVCL::SearchEngine	[protected]
d_core	CVCL::SearchEngine	[protected]
d_rules	CVCL::SearchEngine	[protected]
getAssumptions(std::vector< Expr > &assumptions)=0	CVCL::SearchEngine	[pure virtual]
getConcreteModel(ExprMap< Expr > &m)	CVCL::SearchEngine
getCounterExample(std::vector< Expr > &assertions, bool inOrder=true)=0	CVCL::SearchEngine	[pure virtual]
getImpliedLiteral()=0	CVCL::SearchEngine	[pure virtual]
getInternalAssumptions(std::vector< Expr > &assumptions)=0	CVCL::SearchEngine	[pure virtual]
getName()=0	CVCL::SearchEngine	[pure virtual]
getProof()=0	CVCL::SearchEngine	[pure virtual]
getUserAssumptions(std::vector< Expr > &assumptions)=0	CVCL::SearchEngine	[pure virtual]
isAssumption(const Expr &e)=0	CVCL::SearchEngine	[pure virtual]
lastThm()=0	CVCL::SearchEngine	[pure virtual]
newUserAssumption(const Expr &e, int scope=-1)=0	CVCL::SearchEngine	[pure virtual]
registerAtom(const Expr &e)=0	CVCL::SearchEngine	[pure virtual]
restart(const Expr &e)=0	CVCL::SearchEngine	[pure virtual]
returnFromCheck()=0	CVCL::SearchEngine	[pure virtual]
SearchEngine(TheoryCore *core)	CVCL::SearchEngine
theoryCore()	CVCL::SearchEngine	[inline]
~SearchEngine()	CVCL::SearchEngine	[virtual]

---