klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
ExprReplaceVisitor2 Class Reference
Inheritance diagram for ExprReplaceVisitor2:
Collaboration diagram for ExprReplaceVisitor2:

Public Member Functions

 ExprReplaceVisitor2 (const std::map< ref< Expr >, ref< Expr > > &_replacements)
 
Action visitExprPost (const Expr &e)
 
- Public Member Functions inherited from klee::ExprVisitor
ref< Exprvisit (const ref< Expr > &e)
 

Private Attributes

const std::map< ref< Expr >
, ref< Expr > > & 
replacements
 

Additional Inherited Members

- Protected Member Functions inherited from klee::ExprVisitor
 ExprVisitor (bool _recursive=false)
 
virtual ~ExprVisitor ()
 
virtual Action visitExpr (const Expr &)
 
virtual Action visitNotOptimized (const NotOptimizedExpr &)
 
virtual Action visitRead (const ReadExpr &)
 
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 visitUDiv (const UDivExpr &)
 
virtual Action visitSDiv (const SDivExpr &)
 
virtual Action visitURem (const URemExpr &)
 
virtual Action visitSRem (const SRemExpr &)
 
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 &)
 

Detailed Description

Definition at line 50 of file Constraints.cpp.

Constructor & Destructor Documentation

ExprReplaceVisitor2::ExprReplaceVisitor2 ( const std::map< ref< Expr >, ref< Expr > > &  _replacements)
inline

Definition at line 55 of file Constraints.cpp.

Member Function Documentation

Action ExprReplaceVisitor2::visitExprPost ( const Expr e)
inlinevirtual

Reimplemented from klee::ExprVisitor.

Definition at line 59 of file Constraints.cpp.

Member Data Documentation

const std::map< ref<Expr>, ref<Expr> >& ExprReplaceVisitor2::replacements
private

Definition at line 52 of file Constraints.cpp.


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