SetEquiv
========

.. currentmodule:: proveit.logic

.. autoclass:: SetEquiv
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~SetEquiv.evaluations
      ~SetEquiv.initializing
      ~SetEquiv.inversions
      ~SetEquiv.known_equivalences
      ~SetEquiv.simplifications

   .. rubric:: Methods Summary

   .. autosummary::

      ~SetEquiv.apply_transitivity
      ~SetEquiv.conclude
      ~SetEquiv.conclude_as_folded
      ~SetEquiv.conclude_via_reflexivity
      ~SetEquiv.deduce_in_bool
      ~SetEquiv.deduce_not_equiv
      ~SetEquiv.derive_reversed
      ~SetEquiv.negation_side_effects
      ~SetEquiv.side_effects
      ~SetEquiv.sub_left_side_into
      ~SetEquiv.sub_right_side_into
      ~SetEquiv.unfold

   .. rubric:: Attributes Documentation

   .. autoattribute:: evaluations
   .. autoattribute:: initializing
   .. autoattribute:: inversions
   .. autoattribute:: known_equivalences
   .. autoattribute:: simplifications

   .. rubric:: Methods Documentation

   .. automethod:: apply_transitivity
   .. automethod:: conclude
   .. automethod:: conclude_as_folded
   .. automethod:: conclude_via_reflexivity
   .. automethod:: deduce_in_bool
   .. automethod:: deduce_not_equiv
   .. automethod:: derive_reversed
   .. automethod:: negation_side_effects
   .. automethod:: side_effects
   .. automethod:: sub_left_side_into
   .. automethod:: sub_right_side_into
   .. automethod:: unfold