Template Class SymbolicConstBoundAnalysis

• Defined in File SymbolicBound.h

Inheritance Relationships

Base Type

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

Class Documentation

template<class Stmt, class Interface>
class SymbolicConstBoundAnalysis : public SymbolicBoundAnalysis<Stmt, Interface>

Public Functions

inline SymbolicConstBoundAnalysis(Interface _interface, Stmt n, Stmt a)

inline SymbolicBound GetConstBound(const SymbolicVar &var)