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

.. currentmodule:: dftlib.transformer.rewrite_rules

.. autoclass:: RewriteRules
   :members:
   :show-inheritance:
   :inherited-members:
   :special-members: __call__, __add__, __mul__

   
   
   .. rubric:: Methods

   .. autosummary::
      :nosignatures:
   
      ~RewriteRules.get_function
   
   

   
   
   .. rubric:: Attributes

   .. autosummary::
   
      ~RewriteRules.SPLIT_FDEPS
      ~RewriteRules.MERGE_BES
      ~RewriteRules.TRIM
      ~RewriteRules.REMOVE_DEPENDENCIES_TLE
      ~RewriteRules.REMOVE_DUPLICATES
      ~RewriteRules.FACTOR_COMMON_CAUSE
      ~RewriteRules.USE_SPECIALIZED_GATE
      ~RewriteRules.MERGE_IDENTICAL_GATES
      ~RewriteRules.REMOVE_SINGLE_SUCCESSOR
      ~RewriteRules.ADD_SINGLE_OR
      ~RewriteRules.FLATTEN_GATE
      ~RewriteRules.SUBSUME_GATE
      ~RewriteRules.REPLACE_FDEP_BY_OR
      ~RewriteRules.REMOVE_SUPERFLUOUS_FDEP
      ~RewriteRules.REMOVE_SUPERFLUOUS_FDEP_SUCCESSORS