dftlib.transformer.rewrite_rulesΒΆ
Functions
(Rule #4): Add an OR-gate as the single predecessor of element. |
|
Check whether element has at least one dynamic element (except a dependency) in its predecessor closure. |
|
Checks whether a failure of the gate leads to an immediate failure of the top level element. |
|
Try to factor out a common cause failure. |
|
(Rule #5): Flattening of AND-/OR-/PAND-gates. |
|
Try to merge BEs under an OR-gate into one BE. |
|
(Rule #2): Try to merge gates with the same type and identical successors. |
|
Try to remove superfluous dependencies. |
|
Try to remove duplicate elements in gate successors. |
|
(Rule #27, Rule #28): Eliminate FDEP between two successors of an OR or PAND. |
|
(Rule #3): Remove gates with just one successor. |
|
(Rule #25, Rule #26): Eliminate superfluous FDEP from AND or OR. |
|
(Rule #24): Eliminate FDEPs by introducing an OR-gate. |
|
Split FDEPs with two or more children into single FDEPs with only one child. |
|
(Rule #8, Rule #9): Subsumption of OR-gate by AND-gate or of AND-gate by OR-gate. |
|
Try to replace general gates by a more specialized version: - VOT-gate with threshold 1 is replaced by OR-gate - VOT-gate with threshold n is replaced by AND-gate - PDEP with probability 1 is replaced by FDEP - PDEP with probability 0 is removed :param dft: DFT. |
Classes
Rewrite rules. |