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