Transformer
===========

Qualified name: ``rsm.transformer.Transformer``

.. currentmodule:: rsm.transformer

.. autoclass:: Transformer
   :show-inheritance:
   :members:

   
   .. rubric:: Methods

   .. autosummary::
      :nosignatures:
      
      ~Transformer.add_keywords_to_constructs
      ~Transformer.add_necessary_subproofs
      ~Transformer.autonumber_nodes
      ~Transformer.collect_labels
      ~Transformer.make_toc
      ~Transformer.resolve_pending_references
      ~Transformer.transform