Class SymbolicVisitor

• Defined in File SymbolicVal.h

Inheritance Relationships

Derived Types

• private SymbolicBoundAnalysis< LoopTreeNode *, LoopTreeInterface > (Template Class SymbolicBoundAnalysis)

• private SymbolicBoundAnalysis< AstNodePtr, DepInfoAnalInterface > (Template Class SymbolicBoundAnalysis)

• public HasValueMapReplace (Class HasValueMapReplace)

• public MakeUniqueVar (Class MakeUniqueVar)

• public MapVarBound (Class MapVarBound)

• public PlatoOmegaInterface::PlatoOmegaDepTesting (Class PlatoOmegaDepTesting)

• public ReplaceParams (Class ReplaceParams)

• private SymbolicBoundAnalysis< Stmt, Interface > (Template Class SymbolicBoundAnalysis)

• public ValTermVisitor (Class ValTermVisitor)

Class Documentation

class SymbolicVisitor

Subclassed by SymbolicBoundAnalysis< LoopTreeNode *, LoopTreeInterface >, SymbolicBoundAnalysis< AstNodePtr, DepInfoAnalInterface >, HasValueMapReplace, MakeUniqueVar, MapVarBound, PlatoOmegaInterface::PlatoOmegaDepTesting, ReplaceParams, SymbolicBoundAnalysis< Stmt, Interface >, ValTermVisitor

Public Functions

inline virtual void VisitConst(const SymbolicConst &v)

inline virtual void VisitVar(const SymbolicVar &v)

inline virtual void VisitFunction(const SymbolicFunction &v)

inline virtual void VisitAstWrap(const SymbolicAstWrap &v)

inline virtual void VisitExpr(const SymbolicExpr &exp)

inline virtual ~SymbolicVisitor()

Protected Functions

inline virtual void Default()