#include <Expr.h>

Inheritance diagram for klee::BinaryExpr:

[legend]

Collaboration diagram for klee::BinaryExpr:

[legend]

Public Member Functions
unsigned	getNumKids () const

ref< Expr >	getKid (unsigned i) const

Public Member Functions inherited from klee::Expr
	Expr ()

virtual	~Expr ()

virtual Kind	getKind () const =0

virtual Width	getWidth () const =0

virtual unsigned	getNumKids () const =0

virtual ref< Expr >	getKid (unsigned i) const =0

virtual void	print (llvm::raw_ostream &os) const

void	dump () const
	dump - Print the expression to stderr. More...

virtual unsigned	hash () const
	Returns the pre-computed hash of the current expression. More...

virtual unsigned	computeHash ()

int	compare (const Expr &b) const

virtual ref< Expr >	rebuild (ref< Expr > kids[]) const =0

bool	isZero () const
	isZero - Is this a constant zero. More...

bool	isTrue () const
	isTrue - Is this the true expression. More...

bool	isFalse () const
	isFalse - Is this the false expression. More...

Static Public Member Functions
static bool	classof (const Expr *E)

static bool	classof (const BinaryExpr *)

Static Public Member Functions inherited from klee::NonConstantExpr
static bool	classof (const Expr *E)

static bool	classof (const NonConstantExpr *)

Static Public Member Functions inherited from klee::Expr
static void	printKind (llvm::raw_ostream &os, Kind k)

static void	printWidth (llvm::raw_ostream &os, Expr::Width w)

static unsigned	getMinBytesForWidth (Width w)
	returns the smallest number of bytes in which the given width fits More...

static ref< Expr >	createSExtToPointerWidth (ref< Expr > e)

static ref< Expr >	createZExtToPointerWidth (ref< Expr > e)

static ref< Expr >	createImplies (ref< Expr > hyp, ref< Expr > conc)

static ref< Expr >	createIsZero (ref< Expr > e)

static ref< Expr >	createTempRead (const Array *array, Expr::Width w)

static ref< ConstantExpr >	createPointer (uint64_t v)

static ref< Expr >	createFromKind (Kind k, std::vector< CreateArg > args)

static bool	isValidKidWidth (unsigned kid, Width w)

static bool	needsResultType ()

static bool	classof (const Expr *)

Public Attributes
ref< Expr >	left

ref< Expr >	right

Public Attributes inherited from klee::Expr
class ReferenceCounter	_refCount
	Required by klee::ref-managed objects. More...

Protected Member Functions
	BinaryExpr (const ref< Expr > &l, const ref< Expr > &r)

Protected Member Functions inherited from klee::Expr
virtual int	compareContents (const Expr &b) const =0

Additional Inherited Members
Public Types inherited from klee::Expr
enum	Kind { InvalidKind = -1 , Constant = 0 , NotOptimized , Read =NotOptimized+2 , Select , Concat , Extract , ZExt , SExt , Not , Add , Sub , Mul , UDiv , SDiv , URem , SRem , And , Or , Xor , Shl , LShr , AShr , Eq , Ne , Ult , Ule , Ugt , Uge , Slt , Sle , Sgt , Sge , LastKind =Sge , CastKindFirst =ZExt , CastKindLast =SExt , BinaryKindFirst =Add , BinaryKindLast =Sge , CmpKindFirst =Eq , CmpKindLast =Sge }

typedef unsigned	Width
	The type of an expression is simply its width, in bits. More...

Static Public Attributes inherited from klee::Expr
static unsigned	count = 0

static const unsigned	MAGIC_HASH_CONSTANT = 39

static const Width	InvalidWidth = 0

static const Width	Bool = 1

static const Width	Int8 = 8

static const Width	Int16 = 16

static const Width	Int32 = 32

static const Width	Int64 = 64

static const Width	Fl80 = 80

Protected Attributes inherited from klee::Expr
unsigned	hashValue

Detailed Description

Definition at line 368 of file Expr.h.

Constructor & Destructor Documentation

◆ BinaryExpr()

klee::BinaryExpr::BinaryExpr	(	const ref< Expr > &	l,
		const ref< Expr > &	r
	)

inlineprotected

Definition at line 383 of file Expr.h.

Member Function Documentation

◆ classof() [1/2]

static bool klee::BinaryExpr::classof ( const BinaryExpr * )

inlinestatic

Definition at line 390 of file Expr.h.

◆ classof() [2/2]

static bool klee::BinaryExpr::classof ( const Expr * E )

inlinestatic

Definition at line 386 of file Expr.h.

References klee::Expr::BinaryKindFirst, klee::Expr::BinaryKindLast, and klee::Expr::getKind().

Here is the call graph for this function:

◆ getKid()

ref< Expr > klee::BinaryExpr::getKid ( unsigned i ) const

inlinevirtual

Implements klee::Expr.

Definition at line 374 of file Expr.h.

References left, and right.

◆ getNumKids()

unsigned klee::BinaryExpr::getNumKids ( ) const

inlinevirtual

Implements klee::Expr.

Definition at line 373 of file Expr.h.

Member Data Documentation

◆ left

ref<Expr> klee::BinaryExpr::left

Definition at line 370 of file Expr.h.

Referenced by klee::ConstraintManager::addConstraintInternal(), klee::ExprRangeEvaluator< T >::evaluate(), klee::ImpliedValue::getImpliedValues(), getKid(), CexData::propogateExactValues(), CexData::propogatePossibleValues(), and klee::ExprEvaluator::protectedDivOperation().

◆ right

ref<Expr> klee::BinaryExpr::right

Definition at line 370 of file Expr.h.

Referenced by klee::ConstraintManager::addConstraintInternal(), klee::ExprRangeEvaluator< T >::evaluate(), klee::ImpliedValue::getImpliedValues(), getKid(), CexData::propogateExactValues(), CexData::propogatePossibleValues(), and klee::ExprEvaluator::protectedDivOperation().

The documentation for this class was generated from the following file:

/Users/cristic/klee/include/klee/Expr/Expr.h

Public Member Functions

Static Public Member Functions

Public Attributes

Protected Member Functions

Additional Inherited Members