dftlib.transformer.rewrite_rules.has_immediate_failure

has_immediate_failure(dft, gate)

Checks whether a failure of the gate leads to an immediate failure of the top level element. In other words, all parents are OR-gates. :param dft: DFT. :param gate: Gate. :return: True iff failure leads to system failure.