|
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 |
1.8.2