Class LoopTreeBlockLoopNode

• Defined in File LoopTreeDummyNode.h

Inheritance Relationships

Base Type

• public LoopTreeLoopNode (Class LoopTreeLoopNode)

Class Documentation

class LoopTreeBlockLoopNode : public LoopTreeLoopNode

Public Functions

inline LoopTreeBlockLoopNode(const SymbolicVar &ivar, const SymbolicVal &lb, const SymbolicVal &ub, const SymbolicVal &step)

inline virtual std::string GetClassName() const

inline virtual int IncreaseLoopLevel() const

inline virtual LoopTreeNode *Clone() const