CVC3::SearchSatCoreSatAPI Member List

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

addAssumption(const Expr &assump)	CVC3::SearchSatCoreSatAPI	[inline, virtual]
addLemma(const Theorem &thm, int priority, bool atBottomScope)	CVC3::SearchSatCoreSatAPI	[inline, virtual]
addSplitter(const Expr &e, int priority)	CVC3::SearchSatCoreSatAPI	[inline, virtual]
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	[inline, virtual]
~SearchSatCoreSatAPI()	CVC3::SearchSatCoreSatAPI	[inline]