Class LoopInfo#
Defined in File LoopTree.h
Inheritance Relationships#
Base Type#
public VarInfo(Class VarInfo)
Class Documentation#
-
class LoopInfo : public VarInfo#
Public Functions
-
LoopInfo(SymbolicVar ivar, SymbolicVal lb, SymbolicVal ub, SymbolicVal s)#
-
LoopInfo(const AstNodePtr &l)#
-
inline std::string toString() const#
-
inline bool ReverseEnum() const#
-
inline const SymbolicVal &GetStep() const#
-
inline SymbolicVal &GetStep()#
-
inline SymbolicVal GetLoopLB() const#
-
inline SymbolicVal GetLoopUB() const#
-
LoopInfo(SymbolicVar ivar, SymbolicVal lb, SymbolicVal ub, SymbolicVal s)#