klee::ReadExpr Member List

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

_refCount	klee::Expr
Add enum value	klee::Expr
alloc(const UpdateList &updates, const ref< Expr > &index)	klee::ReadExpr	inlinestatic
And enum value	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::ReadExpr	inlinestatic
classof(const ReadExpr *)	klee::ReadExpr	inlinestatic
klee::NonConstantExpr::classof(const NonConstantExpr *)	klee::NonConstantExpr	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::ReadExpr	virtual
computeHash()	klee::ReadExpr	virtual
Concat enum value	klee::Expr
Constant enum value	klee::Expr
count	klee::Expr	static
create(const UpdateList &updates, ref< Expr > i)	klee::ReadExpr	static
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 enum value	klee::Expr
Expr()	klee::Expr	inline
ExprEquivSet typedef	klee::Expr	private
Extract enum value	klee::Expr
Fl80	klee::Expr	static
getKid(unsigned i) const	klee::ReadExpr	inlinevirtual
getKind() const	klee::ReadExpr	inlinevirtual
getMinBytesForWidth(Width w)	klee::Expr	inlinestatic
getNumKids() const	klee::ReadExpr	inlinevirtual
getWidth() const	klee::ReadExpr	inlinevirtual
hash() const	klee::Expr	inlinevirtual
hashValue	klee::Expr	protected
index	klee::ReadExpr
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
isFalse() const	klee::Expr	inline
isTrue() const	klee::Expr	inline
isValidKidWidth(unsigned kid, Width w)	klee::Expr	inlinestatic
isZero() const	klee::Expr	inline
kind	klee::ReadExpr	static
Kind enum name	klee::Expr
LastKind enum value	klee::Expr
LShr enum value	klee::Expr
MAGIC_HASH_CONSTANT	klee::Expr	static
Mul enum value	klee::Expr
Ne enum value	klee::Expr
needsResultType()	klee::Expr	inlinestatic
Not enum value	klee::Expr
NotOptimized enum value	klee::Expr
numKids	klee::ReadExpr	static
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
ReadExpr(const UpdateList &_updates, const ref< Expr > &_index)	klee::ReadExpr	inlineprivate
rebuild(ref< Expr > kids[]) const	klee::ReadExpr	inlinevirtual
SDiv enum value	klee::Expr
Select enum value	klee::Expr
SExt enum value	klee::Expr
Sge enum value	klee::Expr
Sgt enum value	klee::Expr
Shl enum value	klee::Expr
Sle enum value	klee::Expr
Slt enum value	klee::Expr
SRem enum value	klee::Expr
Sub enum value	klee::Expr
UDiv enum value	klee::Expr
Uge enum value	klee::Expr
Ugt enum value	klee::Expr
Ule enum value	klee::Expr
Ult enum value	klee::Expr
updates	klee::ReadExpr
URem enum value	klee::Expr
Width typedef	klee::Expr
Xor enum value	klee::Expr
ZExt enum value	klee::Expr
~Expr()	klee::Expr	inlinevirtual