Inheritance diagram for ExprReplaceVisitor:

Collaboration diagram for ExprReplaceVisitor:

[legend]

Public Member Functions
	ExprReplaceVisitor (const ref< Expr > &_src, const ref< Expr > &_dst)

Action	visitExpr (const Expr &e) override

Action	visitExprPost (const Expr &e) override

Public Member Functions inherited from klee::ExprVisitor
ref< Expr >	visit (const ref< Expr > &e)

Private Attributes
ref< Expr >	src

ref< Expr >	dst

Additional Inherited Members
Protected Member Functions inherited from klee::ExprVisitor
	ExprVisitor (bool _recursive=false)

virtual	~ExprVisitor ()

virtual Action	visitExpr (const Expr &)

virtual Action	visitExprPost (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 32 of file Constraints.cpp.

Constructor & Destructor Documentation

◆ ExprReplaceVisitor()

ExprReplaceVisitor::ExprReplaceVisitor	(	const ref< Expr > &	_src,
		const ref< Expr > &	_dst
	)

inline

Definition at line 37 of file Constraints.cpp.

Member Function Documentation

◆ visitExpr()

Action ExprReplaceVisitor::visitExpr ( const Expr & e )

inlineoverridevirtual

Reimplemented from klee::ExprVisitor.

Definition at line 40 of file Constraints.cpp.

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

Here is the call graph for this function:

◆ visitExprPost()

Action ExprReplaceVisitor::visitExprPost ( const Expr & e )

inlineoverridevirtual

Reimplemented from klee::ExprVisitor.

Definition at line 47 of file Constraints.cpp.

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

Here is the call graph for this function:

Member Data Documentation

◆ dst

ref<Expr> ExprReplaceVisitor::dst

private

Definition at line 34 of file Constraints.cpp.

Referenced by visitExpr(), and visitExprPost().

◆ src

ref<Expr> ExprReplaceVisitor::src