Template Class SymbolicBoundAnalysis

• Defined in File SymbolicBound.h

Inheritance Relationships

Base Types

• public MapObject< SymbolicVal, SymbolicBound > (Template Class MapObject)

• private SymbolicVisitor (Class SymbolicVisitor)

Derived Types

• public SymbolicConstBoundAnalysis< LoopTreeNode *, LoopTreeInterface > (Template Class SymbolicConstBoundAnalysis)

• public SymbolicConstBoundAnalysis< AstNodePtr, DepInfoAnalInterface > (Template Class SymbolicConstBoundAnalysis)

• public SymbolicConstBoundAnalysis< Stmt, Interface > (Template Class SymbolicConstBoundAnalysis)

Class Documentation

template<class Stmt, class Interface>
class SymbolicBoundAnalysis : public MapObject<SymbolicVal, SymbolicBound>, private SymbolicVisitor

Subclassed by SymbolicConstBoundAnalysis< LoopTreeNode *, LoopTreeInterface >, SymbolicConstBoundAnalysis< AstNodePtr, DepInfoAnalInterface >, SymbolicConstBoundAnalysis< Stmt, Interface >

Public Functions

inline SymbolicBoundAnalysis(Interface _interface, Stmt n, Stmt a = 0)

inline SymbolicBound GetBound(const SymbolicVar &var, Stmt *stop = 0)

inline virtual SymbolicBound operator()(const SymbolicVal &v)

Protected Functions

inline virtual void VisitVar(const SymbolicVar &var)

Protected Attributes

Interface iface

SymbolicBound result

Stmt node

Stmt ances