Class VarInfo

Contents

Class VarInfo#

Defined in File SymbolicBound.h

Inheritance Relationships#

Base Type#

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

Derived Type#

public LoopInfo (Class LoopInfo)

Class Documentation#

class VarInfo : public MapObject<SymbolicVal, SymbolicBound>#

Subclassed by LoopInfo

Public Functions

inline VarInfo()#

inline VarInfo(const SymbolicVar &_var, const SymbolicVal &_lb, const SymbolicVal &_ub)#

inline VarInfo(const SymbolicVar &_var, const SymbolicBound &_b)#

inline std::string toString() const#

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

inline const SymbolicVar &GetVar() const#

inline SymbolicVar &GetVar()#

inline const SymbolicBound &GetBound() const#

inline SymbolicBound &GetBound()#

inline bool IsTop() const#

SymbolicBound GetVarRestr(const SymbolicVar v)#