ExprReplaceVisitor2 Class Reference

Inheritance diagram for ExprReplaceVisitor2:

[legend]

Collaboration diagram for ExprReplaceVisitor2:

[legend]

List of all members.

Public Member Functions
	ExprReplaceVisitor2 (const std::map< ref< Expr >, ref< Expr > > &_replacements)
Action	visitExprPost (const Expr &e)
Private Attributes
const std::map< ref< Expr > , ref< Expr > > &	replacements

---

Detailed Description

Definition at line 44 of file Constraints.cpp.

---

Constructor & Destructor Documentation

ExprReplaceVisitor2::ExprReplaceVisitor2

(

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

_replacements

)

[inline]

Definition at line 49 of file Constraints.cpp.

---

Member Function Documentation

Action ExprReplaceVisitor2::visitExprPost

(

const Expr &

e

)

[inline, virtual]

Reimplemented from klee::ExprVisitor.

Definition at line 53 of file Constraints.cpp.

References klee::ExprVisitor::ExprVisitor::Action::changeTo(), klee::ExprVisitor::ExprVisitor::Action::doChildren(), and replacements.

Here is the call graph for this function:

---

Member Data Documentation

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

Definition at line 46 of file Constraints.cpp.

Referenced by visitExprPost().

---

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

• lib/Expr/Constraints.cpp