SAT::DPLLT::TheoryAPI Member List

This is the complete list of members for SAT::DPLLT::TheoryAPI, including all inherited members.

assertLit(Lit l)=0	SAT::DPLLT::TheoryAPI	[pure virtual]
checkConsistent(CNF_Formula &cnf, bool fullEffort)=0	SAT::DPLLT::TheoryAPI	[pure virtual]
getExplanation(Lit l, CNF_Formula &c)=0	SAT::DPLLT::TheoryAPI	[pure virtual]
getImplication()=0	SAT::DPLLT::TheoryAPI	[pure virtual]
getNewClauses(CNF_Formula &cnf)=0	SAT::DPLLT::TheoryAPI	[pure virtual]
outOfResources()=0	SAT::DPLLT::TheoryAPI	[pure virtual]
pop()=0	SAT::DPLLT::TheoryAPI	[pure virtual]
push()=0	SAT::DPLLT::TheoryAPI	[pure virtual]
TheoryAPI()	SAT::DPLLT::TheoryAPI	[inline]
~TheoryAPI()	SAT::DPLLT::TheoryAPI	[inline, virtual]