ExprReplaceVisitor Class Reference

Inheritance diagram for ExprReplaceVisitor:

[legend]

Collaboration diagram for ExprReplaceVisitor:

[legend]

List of all members.

Public Member Functions
	ExprReplaceVisitor (ref< Expr > _src, ref< Expr > _dst)
Action	visitExpr (const Expr &e)
Action	visitExprPost (const Expr &e)
Private Attributes
ref< Expr >	src
ref< Expr >	dst

---

Detailed Description

Definition at line 20 of file Constraints.cpp.

---

Constructor & Destructor Documentation

ExprReplaceVisitor::ExprReplaceVisitor	(	ref< Expr >	_src,
		ref< Expr >	_dst
	)			[inline]

Definition at line 25 of file Constraints.cpp.

---

Member Function Documentation

Action ExprReplaceVisitor::visitExpr

(

const Expr &

e

)

[inline, virtual]

Reimplemented from klee::ExprVisitor.

Definition at line 27 of file Constraints.cpp.

References klee::ExprVisitor::ExprVisitor::Action::changeTo(), klee::ExprVisitor::ExprVisitor::Action::doChildren(), dst, klee::ref< T >::get(), and src.

Here is the call graph for this function:

Action ExprReplaceVisitor::visitExprPost

(

const Expr &

e

)

[inline, virtual]

Reimplemented from klee::ExprVisitor.

Definition at line 35 of file Constraints.cpp.

References klee::ExprVisitor::ExprVisitor::Action::changeTo(), klee::ExprVisitor::ExprVisitor::Action::doChildren(), dst, klee::ref< T >::get(), and src.

Here is the call graph for this function:

---

Member Data Documentation

ref<Expr> ExprReplaceVisitor::dst [private]

Definition at line 22 of file Constraints.cpp.

Referenced by visitExpr(), and visitExprPost().

ref<Expr> ExprReplaceVisitor::src [private]

Definition at line 22 of file Constraints.cpp.

Referenced by visitExpr(), and visitExprPost().

---

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

• lib/Expr/Constraints.cpp