dftlib.transformer.rewrite_rules.add_or_as_predecessor

add_or_as_predecessor(dft: Dft, element: DftElement, name: str | None = None) → DftOr

(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.