klee
klee::NotOptimizedExpr Member List

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

_refCountklee::Expr
Add enum valueklee::Expr
alloc(const ref< Expr > &src)klee::NotOptimizedExprinlinestatic
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 *E)klee::NotOptimizedExprinlinestatic
classof(const NotOptimizedExpr *)klee::NotOptimizedExprinlinestatic
klee::NonConstantExpr::classof(const NonConstantExpr *)klee::NonConstantExprinlinestatic
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) constklee::NotOptimizedExprinlineprotectedvirtual
computeHash()klee::Exprvirtual
Concat enum valueklee::Expr
Constant enum valueklee::Expr
countklee::Exprstatic
create(ref< Expr > src)klee::NotOptimizedExprstatic
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) constklee::NotOptimizedExprinlinevirtual
getKind() constklee::NotOptimizedExprinlinevirtual
getMinBytesForWidth(Width w)klee::Exprinlinestatic
getNumKids() constklee::NotOptimizedExprinlinevirtual
getWidth() constklee::NotOptimizedExprinlinevirtual
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
kindklee::NotOptimizedExprstatic
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
NotOptimizedExpr(const ref< Expr > &_src)klee::NotOptimizedExprinlineprivate
numKidsklee::NotOptimizedExprstatic
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[]) constklee::NotOptimizedExprinlinevirtual
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
srcklee::NotOptimizedExpr
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