dftlib.transformer.rewrite\_rules
=================================

.. automodule:: dftlib.transformer.rewrite_rules

   
   
   

   
   
   .. rubric:: Functions

   .. autosummary::
      :toctree:
      :nosignatures:
   
      add_or_as_predecessor
      check_dynamic_predecessor
      has_immediate_failure
      try_factor_common_cause
      try_flatten_gate
      try_merge_bes_in_or
      try_merge_identical_gates
      try_remove_dependencies
      try_remove_duplicates
      try_remove_fdep_successors
      try_remove_gates_with_one_successor
      try_remove_superfluous_fdep
      try_replace_fdep_by_or
      try_split_fdep
      try_subsumption
      try_using_specialized_gate
   
   

   
   
   .. rubric:: Classes

   .. autosummary::
      :toctree:
      :template: custom-class-template.rst
      :nosignatures:
   
      RewriteRules