CVC3::CoreSatAPI_implBase Member List

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

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

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