klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
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

Enumerator
SkipChildren 
DoChildren 
ChangeTo 

Definition at line 21 of file ExprVisitor.h.

Constructor & Destructor Documentation

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:

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

Definition at line 27 of file ExprVisitor.h.

Member Function Documentation

static Action klee::ExprVisitor::Action::changeTo ( const ref< Expr > &  expr)
inlinestatic

Definition at line 36 of file ExprVisitor.h.

References Action(), and ChangeTo.

Referenced by klee::ExprEvaluator::evalRead(), klee::ExprEvaluator::protectedDivOperation(), and klee::ExprEvaluator::visitExpr().

Here is the call graph for this function:

Here is the caller graph for this function:

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

Definition at line 40 of file ExprVisitor.h.

References Action(), and SkipChildren.

Referenced by klee::ExprEvaluator::protectedDivOperation(), and klee::ExprVisitor::visitExprPost().

Here is the call graph for this function:

Here is the caller graph for this function:

Friends And Related Function Documentation

friend class ExprVisitor
friend

Definition at line 30 of file ExprVisitor.h.

Member Data Documentation

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

Definition at line 34 of file ExprVisitor.h.

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

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: