CVC3
SAT::DPLLT::TheoryAPI Member List

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

assertLit(Lit l)=0SAT::DPLLT::TheoryAPIpure virtual
checkConsistent(CNF_Formula &cnf, bool fullEffort)=0SAT::DPLLT::TheoryAPIpure virtual
getExplanation(Lit l, CNF_Formula &c)=0SAT::DPLLT::TheoryAPIpure virtual
getImplication()=0SAT::DPLLT::TheoryAPIpure virtual
getNewClauses(CNF_Formula &cnf)=0SAT::DPLLT::TheoryAPIpure virtual
outOfResources()=0SAT::DPLLT::TheoryAPIpure virtual
pop()=0SAT::DPLLT::TheoryAPIpure virtual
push()=0SAT::DPLLT::TheoryAPIpure virtual
TheoryAPI()SAT::DPLLT::TheoryAPIinline
~TheoryAPI()SAT::DPLLT::TheoryAPIinlinevirtual