def get_looppath(self, src):
        paths = set([])
        if not src in self.fsm: return paths
        nextnodes = set(self.fsm[src].values())
        for n in nextnodes:
            r = self._looppath(src, n, visited=set([n]))
            if len(r) > 0: paths |= r
        return paths
dataset/ETHPy150Open PyHDI/Pyverilog/pyverilog/controlflow/controlflow_analyzer.py/FiniteStateMachine.get_looppath/original