Iff
===

.. currentmodule:: proveit.logic

.. autoclass:: Iff
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~Iff.known_left_sides
      ~Iff.known_right_sides

   .. rubric:: Methods Summary

   .. autosummary::

      ~Iff.apply_transitivity
      ~Iff.conclude
      ~Iff.conclude_by_definition
      ~Iff.conclude_negation
      ~Iff.deduce_in_bool
      ~Iff.definition
      ~Iff.derive_equality
      ~Iff.derive_left
      ~Iff.derive_left_implication
      ~Iff.derive_reversed
      ~Iff.derive_right
      ~Iff.derive_right_implication
      ~Iff.evaluation
      ~Iff.side_effects

   .. rubric:: Attributes Documentation

   .. autoattribute:: known_left_sides
   .. autoattribute:: known_right_sides

   .. rubric:: Methods Documentation

   .. automethod:: apply_transitivity
   .. automethod:: conclude
   .. automethod:: conclude_by_definition
   .. automethod:: conclude_negation
   .. automethod:: deduce_in_bool
   .. automethod:: definition
   .. automethod:: derive_equality
   .. automethod:: derive_left
   .. automethod:: derive_left_implication
   .. automethod:: derive_reversed
   .. automethod:: derive_right
   .. automethod:: derive_right_implication
   .. automethod:: evaluation
   .. automethod:: side_effects