klee
klee::Expr Member List

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

_refCountklee::Expr
Add enum valueklee::Expr
And enum valueklee::Expr
AShr enum valueklee::Expr
BinaryKindFirst enum valueklee::Expr
BinaryKindLast enum valueklee::Expr
Boolklee::Exprstatic
CastKindFirst enum valueklee::Expr
CastKindLast enum valueklee::Expr
classof(const Expr *)klee::Exprinlinestatic
CmpKindFirst enum valueklee::Expr
CmpKindLast enum valueklee::Expr
compare(const Expr &b) constklee::Expr
compare(const Expr &b, ExprEquivSet &equivs) constklee::Exprprivate
compareContents(const Expr &b) const =0klee::Exprprotectedpure virtual
computeHash()klee::Exprvirtual
Concat enum valueklee::Expr
Constant enum valueklee::Expr
countklee::Exprstatic
createFromKind(Kind k, std::vector< CreateArg > args)klee::Exprstatic
createImplies(ref< Expr > hyp, ref< Expr > conc)klee::Exprstatic
createIsZero(ref< Expr > e)klee::Exprstatic
createPointer(uint64_t v)klee::Exprstatic
createSExtToPointerWidth(ref< Expr > e)klee::Exprstatic
createTempRead(const Array *array, Expr::Width w)klee::Exprstatic
createZExtToPointerWidth(ref< Expr > e)klee::Exprstatic
dump() constklee::Expr
Eq enum valueklee::Expr
Expr()klee::Exprinline
ExprEquivSet typedefklee::Exprprivate
Extract enum valueklee::Expr
Fl80klee::Exprstatic
getKid(unsigned i) const =0klee::Exprpure virtual
getKind() const =0klee::Exprpure virtual
getMinBytesForWidth(Width w)klee::Exprinlinestatic
getNumKids() const =0klee::Exprpure virtual
getWidth() const =0klee::Exprpure virtual
hash() constklee::Exprinlinevirtual
hashValueklee::Exprprotected
Int16klee::Exprstatic
Int32klee::Exprstatic
Int64klee::Exprstatic
Int8klee::Exprstatic
InvalidKind enum valueklee::Expr
InvalidWidthklee::Exprstatic
isFalse() constklee::Exprinline
isTrue() constklee::Exprinline
isValidKidWidth(unsigned kid, Width w)klee::Exprinlinestatic
isZero() constklee::Exprinline
Kind enum nameklee::Expr
LastKind enum valueklee::Expr
LShr enum valueklee::Expr
MAGIC_HASH_CONSTANTklee::Exprstatic
Mul enum valueklee::Expr
Ne enum valueklee::Expr
needsResultType()klee::Exprinlinestatic
Not enum valueklee::Expr
NotOptimized enum valueklee::Expr
Or enum valueklee::Expr
print(llvm::raw_ostream &os) constklee::Exprvirtual
printKind(llvm::raw_ostream &os, Kind k)klee::Exprstatic
printWidth(llvm::raw_ostream &os, Expr::Width w)klee::Exprstatic
Read enum valueklee::Expr
rebuild(ref< Expr > kids[]) const =0klee::Exprpure virtual
SDiv enum valueklee::Expr
Select enum valueklee::Expr
SExt enum valueklee::Expr
Sge enum valueklee::Expr
Sgt enum valueklee::Expr
Shl enum valueklee::Expr
Sle enum valueklee::Expr
Slt enum valueklee::Expr
SRem enum valueklee::Expr
Sub enum valueklee::Expr
UDiv enum valueklee::Expr
Uge enum valueklee::Expr
Ugt enum valueklee::Expr
Ule enum valueklee::Expr
Ult enum valueklee::Expr
URem enum valueklee::Expr
Width typedefklee::Expr
Xor enum valueklee::Expr
ZExt enum valueklee::Expr
~Expr()klee::Exprinlinevirtual