def __init__(self, icfg, lnt=None): DirectedGraph.__init__(self) self.__branchDivergence = False self.__branchDivergentEdges = [] self.__entryID = dummyVertexID self.__exitID = dummyVertexID self.__icfg = icfg self.__lnt = lnt self.__ipointIDToVertex = {} self.__auxiliaryData = _AuxiliaryData() self.__visited = {} self.__initialise() self.__doDepthFirstSearch(self.__icfg.getEntryID()) self.__addEdgesUsingLNT() self.__setEntryAndExit() self.setName(icfg.getName()) del self.__visited
def __init__ (self): DirectedGraph.__init__(self) self._entryID = dummyVertexID self._exitID = dummyVertexID
def __init__ (self): DirectedGraph.__init__(self) self._rootID = dummyVertexID
def __init__(self): DirectedGraph.__init__(self) self._rootID = dummyVertexID