klee
klee::SelectExpr Member List

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

_refCountklee::Expr
Add enum valueklee::Expr
alloc(const ref< Expr > &c, const ref< Expr > &t, const ref< Expr > &f)klee::SelectExprinlinestatic
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::SelectExprinlinestatic
classof(const SelectExpr *)klee::SelectExprinlinestatic
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::SelectExprinlineprotectedvirtual
computeHash()klee::Exprvirtual
Concat enum valueklee::Expr
condklee::SelectExpr
Constant enum valueklee::Expr
countklee::Exprstatic
create(ref< Expr > c, ref< Expr > t, ref< Expr > f)klee::SelectExprstatic
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
falseExprklee::SelectExpr
Fl80klee::Exprstatic
getKid(unsigned i) constklee::SelectExprinlinevirtual
getKind() constklee::SelectExprinlinevirtual
getMinBytesForWidth(Width w)klee::Exprinlinestatic
getNumKids() constklee::SelectExprinlinevirtual
getWidth() constklee::SelectExprinlinevirtual
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::SelectExprinlinestatic
isZero() constklee::Exprinline
kindklee::SelectExprstatic
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
numKidsklee::SelectExprstatic
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::SelectExprinlinevirtual
SDiv enum valueklee::Expr
Select enum valueklee::Expr
SelectExpr(const ref< Expr > &c, const ref< Expr > &t, const ref< Expr > &f)klee::SelectExprinlineprivate
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
trueExprklee::SelectExpr
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