klee::STPBuilder Member List

This is the complete list of members for klee::STPBuilder, including all inherited members.

_arr_hash	klee::STPBuilder	private
buildArray(const char *name, unsigned indexWidth, unsigned valueWidth)	klee::STPBuilder	private
buildVar(const char *name, unsigned width)	klee::STPBuilder	private
bvBoolExtract(ExprHandle expr, int bit)	klee::STPBuilder	private
bvConst32(unsigned width, uint32_t value)	klee::STPBuilder	private
bvConst64(unsigned width, uint64_t value)	klee::STPBuilder	private
bvExtract(ExprHandle expr, unsigned top, unsigned bottom)	klee::STPBuilder	private
bvLeftShift(ExprHandle expr, unsigned shift)	klee::STPBuilder	private
bvMinusOne(unsigned width)	klee::STPBuilder	private
bvOne(unsigned width)	klee::STPBuilder	private
bvRightShift(ExprHandle expr, unsigned shift)	klee::STPBuilder	private
bvSExtConst(unsigned width, uint64_t value)	klee::STPBuilder	private
bvVarArithRightShift(ExprHandle expr, ExprHandle shift)	klee::STPBuilder	private
bvVarLeftShift(ExprHandle expr, ExprHandle shift)	klee::STPBuilder	private
bvVarRightShift(ExprHandle expr, ExprHandle shift)	klee::STPBuilder	private
bvZero(unsigned width)	klee::STPBuilder	private
bvZExtConst(unsigned width, uint64_t value)	klee::STPBuilder	private
construct(ref< Expr > e, int *width_out)	klee::STPBuilder	private
construct(ref< Expr > e)	klee::STPBuilder	inline
constructActual(ref< Expr > e, int *width_out)	klee::STPBuilder	private
constructAShrByConstant(ExprHandle expr, unsigned shift, ExprHandle isSigned)	klee::STPBuilder	private
constructed	klee::STPBuilder	private
constructMulByConstant(ExprHandle expr, unsigned width, uint64_t x)	klee::STPBuilder	private
constructSDivByConstant(ExprHandle expr_n, unsigned width, uint64_t d)	klee::STPBuilder	private
constructUDivByConstant(ExprHandle expr_n, unsigned width, uint64_t d)	klee::STPBuilder	private
eqExpr(ExprHandle a, ExprHandle b)	klee::STPBuilder	private
extractPartialShiftValue(ExprHandle shift, unsigned width, unsigned &shiftBits)	klee::STPBuilder	private
getArrayForUpdate(const Array *root, const UpdateNode *un)	klee::STPBuilder	private
getFalse()	klee::STPBuilder
getInitialArray(const Array *os)	klee::STPBuilder	private
getInitialRead(const Array *os, unsigned index)	klee::STPBuilder
getTrue()	klee::STPBuilder
optimizeDivides	klee::STPBuilder	private
STPBuilder(::VC _vc, bool _optimizeDivides=true)	klee::STPBuilder
vc	klee::STPBuilder	private
~STPBuilder()	klee::STPBuilder