dftlib.transformer.simplifier.simplify_dft_rules

simplify_dft_rules(dft, rules)

Simplify DFT in place by applying the given rewrite rules of “Fault trees on a diet”. :param dft: DFT. :param rules: Rewrite rules to apply. They are specified as a list of type RewriteRules. :return: True iff the DFT changed.