Class SplitStmtInfo2#
Defined in File LoopTreeObserver.h
Inheritance Relationships#
Base Type#
public LoopTreeObserveInfo(Class LoopTreeObserveInfo)
Class Documentation#
-
class SplitStmtInfo2 : public LoopTreeObserveInfo#
Public Functions
-
inline SplitStmtInfo2(LoopTreeNode *stmt, LoopTreeNode *n, int l, const SymbolicVal &mid)#
-
inline virtual ~SplitStmtInfo2()#
-
inline LoopTreeNode *GetSplitStmt() const#
-
inline int GetLoop() const#
-
inline SymbolicVal GetLE() const#
-
inline virtual void UpdateObserver(LoopTreeObserver &o) const#
-
inline SplitStmtInfo2(LoopTreeNode *stmt, LoopTreeNode *n, int l, const SymbolicVal &mid)#