CexData Member List

This is the complete list of members for CexData, including all inherited members.

CexData(const CexData &)	CexData
CexData()	CexData	inline
dump()	CexData	inline
evalRangeForExpr(const ref< Expr > &e)	CexData	inline
evaluateExact(ref< Expr > e)	CexData	inline
evaluatePossible(ref< Expr > e)	CexData	inline
getObjectData(const Array *A)	CexData	inline
objects	CexData
operator=(const CexData &)	CexData
propogateExactValue(ref< Expr > e, uint64_t value)	CexData	inline
propogateExactValues(ref< Expr > e, CexValueData range)	CexData	inline
propogatePossibleValue(ref< Expr > e, uint64_t value)	CexData	inline
propogatePossibleValues(ref< Expr > e, CexValueData range)	CexData	inline
~CexData()	CexData	inline