Class LoopTreeGetVarBound#
Defined in File LoopTree.h
Inheritance Relationships#
Base Type#
public SymbolicBoundAnalysis< LoopTreeNode *, LoopTreeInterface >(Template Class SymbolicBoundAnalysis)
Class Documentation#
-
class LoopTreeGetVarBound : public SymbolicBoundAnalysis<LoopTreeNode*, LoopTreeInterface>#
Public Functions
-
inline LoopTreeGetVarBound(LoopTreeNode *n, LoopTreeNode *_ances = 0)#
-
inline LoopTreeGetVarBound(LoopTreeNode *n, LoopTreeNode *_ances = 0)#