OperationOverInstances
======================

.. currentmodule:: proveit

.. autoclass:: OperationOverInstances
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~OperationOverInstances.all_conditions
      ~OperationOverInstances.all_domains
      ~OperationOverInstances.all_instance_params
      ~OperationOverInstances.all_instance_vars
      ~OperationOverInstances.domain_conditions
      ~OperationOverInstances.effective_condition
      ~OperationOverInstances.explicit_conditions
      ~OperationOverInstances.explicit_domains
      ~OperationOverInstances.explicit_instance_params
      ~OperationOverInstances.explicit_instance_vars
      ~OperationOverInstances.extract_my_init_arg_value
      ~OperationOverInstances.first_domain
      ~OperationOverInstances.has_domain
      ~OperationOverInstances.has_one_domain
      ~OperationOverInstances.instance_param_lists
      ~OperationOverInstances.latex
      ~OperationOverInstances.remake_with_style_calls
      ~OperationOverInstances.string
      ~OperationOverInstances.style_options
      ~OperationOverInstances.with_justification
      ~OperationOverInstances.with_wrapping
      ~OperationOverInstances.wrap_params

   .. rubric:: Methods Documentation

   .. automethod:: all_conditions
   .. automethod:: all_domains
   .. automethod:: all_instance_params
   .. automethod:: all_instance_vars
   .. automethod:: domain_conditions
   .. automethod:: effective_condition
   .. automethod:: explicit_conditions
   .. automethod:: explicit_domains
   .. automethod:: explicit_instance_params
   .. automethod:: explicit_instance_vars
   .. automethod:: extract_my_init_arg_value
   .. automethod:: first_domain
   .. automethod:: has_domain
   .. automethod:: has_one_domain
   .. automethod:: instance_param_lists
   .. automethod:: latex
   .. automethod:: remake_with_style_calls
   .. automethod:: string
   .. automethod:: style_options
   .. automethod:: with_justification
   .. automethod:: with_wrapping
   .. automethod:: wrap_params