def label_range(self):
        minval = None
        maxval = None
        for src, dstdict in self.fsm.items():
            if minval is None: minval = src
            elif src < minval: minval = src
            if maxval is None: maxval = src
            elif src > maxval: maxval = src
            for cond, dst in dstdict.items():
                if minval is None: minval = dst
                elif dst < minval: minval = dst
                if maxval is None: maxval = dst
                elif dst > maxval: maxval = dst
        return (minval, maxval)
dataset/ETHPy150Open PyHDI/Pyverilog/pyverilog/controlflow/controlflow_analyzer.py/FiniteStateMachine.label_range/original