CVCL::SVC_API_impl Member List

This is the complete list of members for CVCL::SVC_API_impl, including all inherited members.

_assumptionIndex	CVCL::SVC_API_impl	[protected]
_assumptionStack	CVCL::SVC_API_impl	[protected]
_cnfConverter	CVCL::SVC_API_impl	[protected]
_cnfFormula	CVCL::SVC_API_impl	[protected]
_conditionIndex	CVCL::SVC_API_impl	[protected]
_conditions	CVCL::SVC_API_impl	[protected]
_conditionVars	CVCL::SVC_API_impl	[protected]
_connectQueue	CVCL::SVC_API_impl	[protected]
_patomifier	CVCL::SVC_API_impl	[protected]
_pem	CVCL::SVC_API_impl	[protected]
_pfanout_table	CVCL::SVC_API_impl	[protected]
_ppvm	CVCL::SVC_API_impl	[protected]
_psatapi	CVCL::SVC_API_impl	[protected]
_ready	CVCL::SVC_API_impl	[protected]
_splitterCacheTag	CVCL::SVC_API_impl	[protected]
_splitterCacheTag2	CVCL::SVC_API_impl	[protected]
_vars	CVCL::SVC_API_impl	[protected]
_vecMap	CVCL::SVC_API_impl	[protected]
_verbosity	CVCL::SVC_API_impl	[protected]
AddConditions(long lVar)	CVCL::SVC_API_impl	[protected]
CheckSat(const Expr &e)	CVCL::SVC_API_impl
Connect(const Expr &e, long v)	CVCL::SVC_API_impl
Connect1(const Expr &eFrom, const Expr &eTo)	CVCL::SVC_API_impl
FindSplitter(long *v)	CVCL::SVC_API_impl
FindSplitterRec(long v, int value, long *pv)	CVCL::SVC_API_impl	[protected]
GetConfClause(std::vector< int > *literals)	CVCL::SVC_API_impl
GetImplications(long *pv, int *pvalue)	CVCL::SVC_API_impl
GetImplicationsRec(long v, long *pv, int *pvalue)	CVCL::SVC_API_impl	[protected]
HasSVCExpr(long lVar)	CVCL::SVC_API_impl
IsConsistent()	CVCL::SVC_API_impl
IsStable()	CVCL::SVC_API_impl	[inline, protected]
OKToSplit(long lVar)	CVCL::SVC_API_impl
Pop()	CVCL::SVC_API_impl
PrintVar(long lVar)	CVCL::SVC_API_impl
PrintWithType(const Expr &e)	CVCL::SVC_API_impl
Push()	CVCL::SVC_API_impl
Ready(void)	CVCL::SVC_API_impl
Reset(void)	CVCL::SVC_API_impl
ResetVariable(long v)	CVCL::SVC_API_impl
SatAPI()	CVCL::SVC_API_impl	[inline]
SetVerbosity(int i)	CVCL::SVC_API_impl	[inline]
SVC_API_impl(Expr_Manager *pem)	CVCL::SVC_API_impl
SVCAssert(long lVar)	CVCL::SVC_API_impl
SVCDeny(long lVar)	CVCL::SVC_API_impl
UpdateValue(long v, int value)	CVCL::SVC_API_impl	[protected]
VecMap()	CVCL::SVC_API_impl	[inline]
Verbosity()	CVCL::SVC_API_impl	[inline]
~SVC_API_impl()	CVCL::SVC_API_impl

---