Equals
======

.. currentmodule:: proveit.logic

.. autoclass:: Equals
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~Equals.initializing
      ~Equals.inversions
      ~Equals.known_equalities
      ~Equals.known_evaluation_sets
      ~Equals.known_simplifications

   .. rubric:: Methods Summary

   .. autosummary::

      ~Equals.StrongRelationClass
      ~Equals.WeakRelationClass
      ~Equals.affirm_via_contradiction
      ~Equals.apply_transitivity
      ~Equals.conclude
      ~Equals.conclude_boolean_equality
      ~Equals.conclude_via_reflexivity
      ~Equals.deduce_in_bool
      ~Equals.deduce_negated
      ~Equals.deduce_not_equals
      ~Equals.deny_via_contradiction
      ~Equals.derive_contradiction
      ~Equals.derive_is_in_singleton
      ~Equals.derive_left_via_equality
      ~Equals.derive_reversed
      ~Equals.derive_right_via_equality
      ~Equals.derive_via_boolean_equality
      ~Equals.evaluation
      ~Equals.invert
      ~Equals.known_relations_from_left
      ~Equals.known_relations_from_right
      ~Equals.negation_side_effects
      ~Equals.other_side
      ~Equals.reversed
      ~Equals.side_effects
      ~Equals.sub_left_side_into
      ~Equals.sub_right_side_into
      ~Equals.substitution

   .. rubric:: Attributes Documentation

   .. autoattribute:: initializing
   .. autoattribute:: inversions
   .. autoattribute:: known_equalities
   .. autoattribute:: known_evaluation_sets
   .. autoattribute:: known_simplifications

   .. rubric:: Methods Documentation

   .. automethod:: StrongRelationClass
   .. automethod:: WeakRelationClass
   .. automethod:: affirm_via_contradiction
   .. automethod:: apply_transitivity
   .. automethod:: conclude
   .. automethod:: conclude_boolean_equality
   .. automethod:: conclude_via_reflexivity
   .. automethod:: deduce_in_bool
   .. automethod:: deduce_negated
   .. automethod:: deduce_not_equals
   .. automethod:: deny_via_contradiction
   .. automethod:: derive_contradiction
   .. automethod:: derive_is_in_singleton
   .. automethod:: derive_left_via_equality
   .. automethod:: derive_reversed
   .. automethod:: derive_right_via_equality
   .. automethod:: derive_via_boolean_equality
   .. automethod:: evaluation
   .. automethod:: invert
   .. automethod:: known_relations_from_left
   .. automethod:: known_relations_from_right
   .. automethod:: negation_side_effects
   .. automethod:: other_side
   .. automethod:: reversed
   .. automethod:: side_effects
   .. automethod:: sub_left_side_into
   .. automethod:: sub_right_side_into
   .. automethod:: substitution