CVC3
|
This is the complete list of members for CVC3::TheoryCore::CoreSatAPI, including all inherited members.
addAssumption(const Expr &assump)=0 | CVC3::TheoryCore::CoreSatAPI | pure virtual |
addLemma(const Theorem &thm, int priority=0, bool atBottomScope=false)=0 | CVC3::TheoryCore::CoreSatAPI | pure virtual |
addSplitter(const Expr &e, int priority)=0 | CVC3::TheoryCore::CoreSatAPI | pure virtual |
check(const Expr &e)=0 | CVC3::TheoryCore::CoreSatAPI | pure virtual |
CoreSatAPI() | CVC3::TheoryCore::CoreSatAPI | inline |
~CoreSatAPI() | CVC3::TheoryCore::CoreSatAPI | inlinevirtual |