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(Clause &c, bool fullEffort)=0	SAT::DPLLT::TheoryAPI	[pure virtual]
getExplanation(Lit l, Clause &c)=0	SAT::DPLLT::TheoryAPI	[pure virtual]
getImplication()=0	SAT::DPLLT::TheoryAPI	[pure virtual]
getNewClauses(CNF_Formula &cnf)=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]

---