klee
klee::ExprVisitor::Action Class Reference

#include <ExprVisitor.h>

Collaboration diagram for klee::ExprVisitor::Action:

Public Types

enum  Kind { SkipChildren , DoChildren , ChangeTo }
 

Static Public Member Functions

static Action changeTo (const ref< Expr > &expr)
 
static Action doChildren ()
 
static Action skipChildren ()
 

Public Attributes

Kind kind
 
ref< Exprargument
 

Private Member Functions

 Action (Kind _kind)
 
 Action (Kind _kind, const ref< Expr > &_argument)
 

Friends

class ExprVisitor
 

Detailed Description

Definition at line 19 of file ExprVisitor.h.

Member Enumeration Documentation

◆ Kind

Enumerator
SkipChildren 
DoChildren 
ChangeTo 

Definition at line 21 of file ExprVisitor.h.

Constructor & Destructor Documentation

◆ Action() [1/2]

klee::ExprVisitor::Action::Action ( Kind  _kind)
inlineprivate

Definition at line 25 of file ExprVisitor.h.

Referenced by changeTo(), doChildren(), and skipChildren().

Here is the caller graph for this function:

◆ Action() [2/2]

klee::ExprVisitor::Action::Action ( Kind  _kind,
const ref< Expr > &  _argument 
)
inlineprivate

Definition at line 27 of file ExprVisitor.h.

Member Function Documentation

◆ changeTo()

◆ doChildren()

static Action klee::ExprVisitor::Action::doChildren ( )
inlinestatic

Definition at line 39 of file ExprVisitor.h.

References Action(), and DoChildren.

Referenced by klee::ArrayReadExprVisitor::inspectRead(), klee::ExprVisitor::visitAdd(), klee::ExprVisitor::visitAnd(), klee::ExprVisitor::visitAShr(), klee::ExprVisitor::visitConcat(), klee::ConstantArrayExprVisitor::visitConcat(), klee::IndexTransformationExprVisitor::visitConcat(), klee::ArrayReadExprVisitor::visitConcat(), klee::ArrayValueOptReplaceVisitor::visitConcat(), klee::ExprVisitor::visitEq(), klee::ExprVisitor::visitExpr(), klee::ExprEvaluator::visitExpr(), ExprReplaceVisitor::visitExpr(), ExprReplaceVisitor::visitExprPost(), ExprReplaceVisitor2::visitExprPost(), klee::ExprVisitor::visitExtract(), klee::ExprVisitor::visitLShr(), klee::ExprVisitor::visitMul(), klee::IndexTransformationExprVisitor::visitMul(), klee::ExprVisitor::visitNe(), klee::ExprVisitor::visitNot(), klee::ExprVisitor::visitNotOptimized(), klee::ExprVisitor::visitOr(), klee::ExprVisitor::visitRead(), klee::ConstantArrayExprVisitor::visitRead(), klee::IndexCompatibilityExprVisitor::visitRead(), klee::ExprEvaluator::visitRead(), klee::ConstantArrayFinder::visitRead(), klee::SymbolicObjectFinder::visitRead(), klee::ArrayValueOptReplaceVisitor::visitRead(), klee::ExprVisitor::visitSDiv(), klee::ExprVisitor::visitSelect(), klee::ExprVisitor::visitSExt(), klee::ExprVisitor::visitSge(), klee::ExprVisitor::visitSgt(), klee::ExprVisitor::visitShl(), klee::ExprVisitor::visitSle(), klee::ExprVisitor::visitSlt(), klee::ExprVisitor::visitSRem(), klee::ExprVisitor::visitSub(), klee::ExprVisitor::visitUDiv(), klee::ExprVisitor::visitUge(), klee::ExprVisitor::visitUgt(), klee::ExprVisitor::visitUle(), klee::ExprVisitor::visitUlt(), klee::ExprVisitor::visitURem(), klee::ExprVisitor::visitXor(), and klee::ExprVisitor::visitZExt().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ skipChildren()

Friends And Related Function Documentation

◆ ExprVisitor

friend class ExprVisitor
friend

Definition at line 30 of file ExprVisitor.h.

Member Data Documentation

◆ argument

ref<Expr> klee::ExprVisitor::Action::argument

Definition at line 34 of file ExprVisitor.h.

Referenced by klee::ExprVisitor::visitActual().

◆ kind

Kind klee::ExprVisitor::Action::kind

Definition at line 33 of file ExprVisitor.h.

Referenced by klee::ExprVisitor::visitActual().


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