klee::ConstantExpr Member List

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

_refCount	klee::Expr
Add(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Add enum value	klee::Expr
alloc(const llvm::APInt &v)	klee::ConstantExpr	inlinestatic
alloc(const llvm::APFloat &f)	klee::ConstantExpr	inlinestatic
alloc(uint64_t v, Width w)	klee::ConstantExpr	inlinestatic
And(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::And enum value	klee::Expr
AShr(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::AShr enum value	klee::Expr
BinaryKindFirst enum value	klee::Expr
BinaryKindLast enum value	klee::Expr
Bool	klee::Expr	static
CastKindFirst enum value	klee::Expr
CastKindLast enum value	klee::Expr
classof(const Expr *E)	klee::ConstantExpr	inlinestatic
classof(const ConstantExpr *)	klee::ConstantExpr	inlinestatic
CmpKindFirst enum value	klee::Expr
CmpKindLast enum value	klee::Expr
compare(const Expr &b) const	klee::Expr
compare(const Expr &b, ExprEquivSet &equivs) const	klee::Expr	private
compareContents(const Expr &b) const	klee::ConstantExpr	inlinevirtual
computeHash()	klee::ConstantExpr	virtual
Concat(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Concat enum value	klee::Expr
Constant enum value	klee::Expr
ConstantExpr(const llvm::APInt &v)	klee::ConstantExpr	inlineprivate
count	klee::Expr	static
create(uint64_t v, Width w)	klee::ConstantExpr	inlinestatic
createFromKind(Kind k, std::vector< CreateArg > args)	klee::Expr	static
createImplies(ref< Expr > hyp, ref< Expr > conc)	klee::Expr	static
createIsZero(ref< Expr > e)	klee::Expr	static
createPointer(uint64_t v)	klee::Expr	static
createSExtToPointerWidth(ref< Expr > e)	klee::Expr	static
createTempRead(const Array *array, Expr::Width w)	klee::Expr	static
createZExtToPointerWidth(ref< Expr > e)	klee::Expr	static
dump() const	klee::Expr
Eq(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Eq enum value	klee::Expr
Expr()	klee::Expr	inline
ExprEquivSet typedef	klee::Expr	private
Extract(unsigned offset, Width W)	klee::ConstantExpr
klee::Expr::Extract enum value	klee::Expr
Fl80	klee::Expr	static
fromMemory(void *address, Width w)	klee::ConstantExpr	static
getAPValue() const	klee::ConstantExpr	inline
getKid(unsigned i) const	klee::ConstantExpr	inlinevirtual
getKind() const	klee::ConstantExpr	inlinevirtual
getLimitedValue(uint64_t Limit=~0ULL) const	klee::ConstantExpr	inline
getMinBytesForWidth(Width w)	klee::Expr	inlinestatic
getNumKids() const	klee::ConstantExpr	inlinevirtual
getWidth() const	klee::ConstantExpr	inlinevirtual
getZExtValue(unsigned bits=64) const	klee::ConstantExpr	inline
hash() const	klee::Expr	inlinevirtual
hashValue	klee::Expr	protected
Int16	klee::Expr	static
Int32	klee::Expr	static
Int64	klee::Expr	static
Int8	klee::Expr	static
InvalidKind enum value	klee::Expr
InvalidWidth	klee::Expr	static
isAllOnes() const	klee::ConstantExpr	inline
isFalse() const	klee::ConstantExpr	inline
isOne() const	klee::ConstantExpr	inline
isTrue() const	klee::ConstantExpr	inline
isValidKidWidth(unsigned kid, Width w)	klee::Expr	inlinestatic
isZero() const	klee::ConstantExpr	inline
Kind enum name	klee::Expr
kind	klee::ConstantExpr	static
LastKind enum value	klee::Expr
LShr(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::LShr enum value	klee::Expr
MAGIC_HASH_CONSTANT	klee::Expr	static
Mul(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Mul enum value	klee::Expr
Ne(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Ne enum value	klee::Expr
needsResultType()	klee::Expr	inlinestatic
Neg()	klee::ConstantExpr
Not()	klee::ConstantExpr
NotOptimized enum value	klee::Expr
numKids	klee::ConstantExpr	static
Or(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Or enum value	klee::Expr
print(llvm::raw_ostream &os) const	klee::Expr	virtual
printKind(llvm::raw_ostream &os, Kind k)	klee::Expr	static
printWidth(llvm::raw_ostream &os, Expr::Width w)	klee::Expr	static
Read enum value	klee::Expr
rebuild(ref< Expr > kids[]) const	klee::ConstantExpr	inlinevirtual
SDiv(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::SDiv enum value	klee::Expr
Select enum value	klee::Expr
SExt(Width W)	klee::ConstantExpr
klee::Expr::SExt enum value	klee::Expr
Sge(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Sge enum value	klee::Expr
Sgt(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Sgt enum value	klee::Expr
Shl(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Shl enum value	klee::Expr
Sle(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Sle enum value	klee::Expr
Slt(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Slt enum value	klee::Expr
SRem(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::SRem enum value	klee::Expr
Sub(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Sub enum value	klee::Expr
toMemory(void *address)	klee::ConstantExpr
toString(std::string &Res, unsigned radix=10) const	klee::ConstantExpr
UDiv(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::UDiv enum value	klee::Expr
Uge(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Uge enum value	klee::Expr
Ugt(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Ugt enum value	klee::Expr
Ule(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Ule enum value	klee::Expr
Ult(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Ult enum value	klee::Expr
URem(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::URem enum value	klee::Expr
value	klee::ConstantExpr	private
Width typedef	klee::Expr
Xor(const ref< ConstantExpr > &RHS)	klee::ConstantExpr
klee::Expr::Xor enum value	klee::Expr
ZExt(Width W)	klee::ConstantExpr
klee::Expr::ZExt enum value	klee::Expr
~ConstantExpr()	klee::ConstantExpr	inline
~Expr()	klee::Expr	inlinevirtual