CVC3::SearchSatCoreSatAPI Member List

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

Generated on Tue Jul 3 14:40:55 2007 for CVC3 by

addAssumption(const Expr &assump)	CVC3::SearchSatCoreSatAPI	`[inline, virtual]`
addLemma(const Theorem &thm)	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]`