CVC3
|
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 | inlinevirtual |