CVC3
CVC3::SearchSatCoreSatAPI Member List

This is the complete list of members for CVC3::SearchSatCoreSatAPI, including all inherited members.

addAssumption(const Expr &assump)CVC3::SearchSatCoreSatAPIinlinevirtual
addLemma(const Theorem &thm, int priority, bool atBottomScope)CVC3::SearchSatCoreSatAPIinlinevirtual
addSplitter(const Expr &e, int priority)CVC3::SearchSatCoreSatAPIinlinevirtual
check(const Expr &e)CVC3::SearchSatCoreSatAPIvirtual
CoreSatAPI()CVC3::TheoryCore::CoreSatAPIinline
d_ssCVC3::SearchSatCoreSatAPIprivate
SearchSatCoreSatAPI(SearchSat *ss)CVC3::SearchSatCoreSatAPIinline
~CoreSatAPI()CVC3::TheoryCore::CoreSatAPIinlinevirtual
~SearchSatCoreSatAPI()CVC3::SearchSatCoreSatAPIinline