CVC3
|
This is the complete list of members for CVC3::CoreSatAPI_implBase, including all inherited members.
addAssumption(const Expr &assump) | CVC3::CoreSatAPI_implBase | inlinevirtual |
addLemma(const Theorem &thm, int priority, bool atBottomScope) | CVC3::CoreSatAPI_implBase | inlinevirtual |
addSplitter(const Expr &e, int priority) | CVC3::CoreSatAPI_implBase | inlinevirtual |
check(const Expr &e) | CVC3::CoreSatAPI_implBase | virtual |
CoreSatAPI() | CVC3::TheoryCore::CoreSatAPI | inline |
CoreSatAPI_implBase(SearchImplBase *se) | CVC3::CoreSatAPI_implBase | inline |
d_se | CVC3::CoreSatAPI_implBase | private |
~CoreSatAPI() | CVC3::TheoryCore::CoreSatAPI | inlinevirtual |
~CoreSatAPI_implBase() | CVC3::CoreSatAPI_implBase | inlinevirtual |