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, 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
