dftlib.transformer.rewrite_rules.check_for_cycle

check_for_cycle(dft, element, current)

Check for cycle by checking whether element contains itself in its predecessor closure. The cycle check excludes dependencies and restrictors. :param dft: DFT. :param element: Element to search for. :param current: Current element. :return: True iff the predecessor closure of current contains element.