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


Generated on Wed Nov 18 16:18:57 2009 for CVC3 by  doxygen 1.5.2