Class TarjanIntervals#
Defined in File TarjanIntervals.h
Class Documentation#
-
class TarjanIntervals#
Public Functions
-
void Create()#
-
~TarjanIntervals()#
-
void Renumber()#
-
void Prenumber(int n)#
-
void Sort()#
-
int IsFirst(RIFGNodeId id)#
-
int IsLast(RIFGNodeId id)#
-
int IsHeader(RIFGNodeId id)#
-
int Level(RIFGNodeId id)#
-
int LoopIndex(RIFGNodeId id)#
-
RITarjType IntervalType(RIFGNodeId id)#
-
int Contains(RIFGNodeId a, RIFGNodeId b)#
-
RIFGNodeId LCA(RIFGNodeId a, RIFGNodeId b)#
-
int IsBackEdge(RIFGEdgeId e)#
-
int tarj_exits(RIFGNodeId src, RIFGNodeId sink)#
-
RIFGNodeId tarj_loop_exited(RIFGNodeId src, RIFGNodeId sink)#
-
RITarjEdgeType tarj_edge_type(RIFGNodeId src, RIFGNodeId sink)#
-
RIFGNodeId TarjInners(RIFGNodeId id)#
-
RIFGNodeId TarjOuter(RIFGNodeId id)#
-
RIFGNodeId TarjNext(RIFGNodeId id)#
-
RIFGNodeId TarjInnersLast(RIFGNodeId id)#
-
void Dump()#
-
TarjTreeNode *GetTarjanTree()#
-
void Create()#