klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::AssignmentEvaluator Class Reference

#include <Assignment.h>

Inheritance diagram for klee::AssignmentEvaluator:
Collaboration diagram for klee::AssignmentEvaluator:

Public Member Functions

 AssignmentEvaluator (const Assignment &_a)
 
- Public Member Functions inherited from klee::ExprEvaluator
 ExprEvaluator ()
 
- Public Member Functions inherited from klee::ExprVisitor
ref< Exprvisit (const ref< Expr > &e)
 

Protected Member Functions

ref< ExprgetInitialValue (const Array &mo, unsigned index)
 
- Protected Member Functions inherited from klee::ExprEvaluator
Action evalRead (const UpdateList &ul, unsigned index)
 
Action visitRead (const ReadExpr &re)
 
Action visitExpr (const Expr &e)
 
Action protectedDivOperation (const BinaryExpr &e)
 
Action visitUDiv (const UDivExpr &e)
 
Action visitSDiv (const SDivExpr &e)
 
Action visitURem (const URemExpr &e)
 
Action visitSRem (const SRemExpr &e)
 
- Protected Member Functions inherited from klee::ExprVisitor
 ExprVisitor (bool _recursive=false)
 
virtual ~ExprVisitor ()
 
virtual Action visitExprPost (const Expr &)
 
virtual Action visitNotOptimized (const NotOptimizedExpr &)
 
virtual Action visitSelect (const SelectExpr &)
 
virtual Action visitConcat (const ConcatExpr &)
 
virtual Action visitExtract (const ExtractExpr &)
 
virtual Action visitZExt (const ZExtExpr &)
 
virtual Action visitSExt (const SExtExpr &)
 
virtual Action visitAdd (const AddExpr &)
 
virtual Action visitSub (const SubExpr &)
 
virtual Action visitMul (const MulExpr &)
 
virtual Action visitNot (const NotExpr &)
 
virtual Action visitAnd (const AndExpr &)
 
virtual Action visitOr (const OrExpr &)
 
virtual Action visitXor (const XorExpr &)
 
virtual Action visitShl (const ShlExpr &)
 
virtual Action visitLShr (const LShrExpr &)
 
virtual Action visitAShr (const AShrExpr &)
 
virtual Action visitEq (const EqExpr &)
 
virtual Action visitNe (const NeExpr &)
 
virtual Action visitUlt (const UltExpr &)
 
virtual Action visitUle (const UleExpr &)
 
virtual Action visitUgt (const UgtExpr &)
 
virtual Action visitUge (const UgeExpr &)
 
virtual Action visitSlt (const SltExpr &)
 
virtual Action visitSle (const SleExpr &)
 
virtual Action visitSgt (const SgtExpr &)
 
virtual Action visitSge (const SgeExpr &)
 

Private Attributes

const Assignmenta
 

Detailed Description

Definition at line 54 of file Assignment.h.

Constructor & Destructor Documentation

klee::AssignmentEvaluator::AssignmentEvaluator ( const Assignment _a)
inline

Definition at line 63 of file Assignment.h.

Member Function Documentation

ref<Expr> klee::AssignmentEvaluator::getInitialValue ( const Array os,
unsigned  index 
)
inlineprotectedvirtual

getInitialValue - Return the initial value for a symbolic byte.

This will only be called for constant arrays if the index is out-of-bounds. If the value is unknown then the user should return a ReadExpr at the initial version of this array.

Implements klee::ExprEvaluator.

Definition at line 58 of file Assignment.h.

References a, and klee::Assignment::evaluate().

Here is the call graph for this function:

Member Data Documentation

const Assignment& klee::AssignmentEvaluator::a
private

Definition at line 55 of file Assignment.h.

Referenced by getInitialValue().


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