dftlib.transformer.rewrite_rules.add_or_as_predecessor¶
- add_or_as_predecessor(dft, element, name=None)¶
(Rule #4): Add an OR-gate as the single predecessor of element. This is helpful for other rules, e.g., rule #24. :param dft: DFT. :param element: Element which gets an OR as predecessor. :param name: Name of new OR-gate. :return: The new OR-gate or None.