Operation
=========

.. currentmodule:: proveit

.. autoclass:: Operation
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~Operation.operation_class_of_operator

   .. rubric:: Methods Summary

   .. autosummary::

      ~Operation.extract_init_arg_value
      ~Operation.extract_my_init_arg_value
      ~Operation.latex
      ~Operation.remake_arguments
      ~Operation.remake_with_style_calls
      ~Operation.string
      ~Operation.style_options
      ~Operation.with_justification
      ~Operation.with_wrap_after_operator
      ~Operation.with_wrap_before_operator
      ~Operation.with_wrapping_at
      ~Operation.wrap_positions

   .. rubric:: Attributes Documentation

   .. autoattribute:: operation_class_of_operator

   .. rubric:: Methods Documentation

   .. automethod:: extract_init_arg_value
   .. automethod:: extract_my_init_arg_value
   .. automethod:: latex
   .. automethod:: remake_arguments
   .. automethod:: remake_with_style_calls
   .. automethod:: string
   .. automethod:: style_options
   .. automethod:: with_justification
   .. automethod:: with_wrap_after_operator
   .. automethod:: with_wrap_before_operator
   .. automethod:: with_wrapping_at
   .. automethod:: wrap_positions