klee
Toggle main menu visibility
Main Page
Related Pages
Namespaces
Namespace List
Namespace Members
All
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
z
Functions
a
c
d
e
f
g
h
i
k
l
m
n
o
p
q
s
t
u
v
w
z
Variables
a
b
c
d
e
f
g
i
k
l
m
n
p
q
r
s
t
u
Typedefs
Enumerations
Enumerator
Classes
Class List
Class Index
Class Hierarchy
Class Members
All
_
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
x
z
~
Functions
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
x
z
~
Variables
_
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
z
Typedefs
a
b
c
d
e
h
i
k
o
s
t
u
v
w
Enumerations
Enumerator
a
b
c
d
e
f
h
i
k
l
m
n
o
p
q
r
s
t
u
v
x
z
Related Functions
a
c
e
i
k
m
o
r
s
t
u
w
z
Files
File List
File Members
All
_
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
r
s
t
u
v
w
x
Functions
_
a
b
c
d
e
f
g
h
i
k
l
m
o
p
r
s
t
u
v
w
x
Variables
c
d
e
f
h
i
k
l
m
n
o
p
r
s
t
u
w
Typedefs
Enumerations
Enumerator
Macros
_
a
b
c
d
e
h
i
k
l
m
n
s
t
x
•
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Pages
klee::CastExpr Member List
This is the complete list of members for
klee::CastExpr
, including all inherited members.
_refCount
klee::Expr
Add
enum value
klee::Expr
And
enum value
klee::Expr
AShr
enum value
klee::Expr
BinaryKindFirst
enum value
klee::Expr
BinaryKindLast
enum value
klee::Expr
Bool
klee::Expr
static
CastExpr
(const ref< Expr > &e, Width w)
klee::CastExpr
inline
CastKindFirst
enum value
klee::Expr
CastKindLast
enum value
klee::Expr
classof
(const Expr *E)
klee::CastExpr
inline
static
classof
(const CastExpr *)
klee::CastExpr
inline
static
klee::NonConstantExpr::classof
(const NonConstantExpr *)
klee::NonConstantExpr
inline
static
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::CastExpr
inline
virtual
computeHash
()
klee::CastExpr
virtual
Concat
enum value
klee::Expr
Constant
enum value
klee::Expr
count
klee::Expr
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::CastExpr
inline
virtual
getKind
() const =0
klee::Expr
pure virtual
getMinBytesForWidth
(Width w)
klee::Expr
inline
static
getNumKids
() const
klee::CastExpr
inline
virtual
getWidth
() const
klee::CastExpr
inline
virtual
hash
() const
klee::Expr
inline
virtual
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
isFalse
() const
klee::Expr
inline
isTrue
() const
klee::Expr
inline
isValidKidWidth
(unsigned kid, Width w)
klee::Expr
inline
static
isZero
() const
klee::Expr
inline
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::CastExpr
inline
static
Not
enum value
klee::Expr
NotOptimized
enum value
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 =0
klee::Expr
pure virtual
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
src
klee::CastExpr
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
URem
enum value
klee::Expr
Width
typedef
klee::Expr
width
klee::CastExpr
Xor
enum value
klee::Expr
ZExt
enum value
klee::Expr
~Expr
()
klee::Expr
inline
virtual
Generated by
1.9.3