IntervalOO
==========

.. currentmodule:: proveit.numbers

.. autoclass:: IntervalOO
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~IntervalOO.deduce_elem_in_set
      ~IntervalOO.deduce_left_relaxed_membership
      ~IntervalOO.deduce_left_right_relaxed_membership
      ~IntervalOO.deduce_member_in_real
      ~IntervalOO.deduce_member_lower_bound
      ~IntervalOO.deduce_member_upper_bound
      ~IntervalOO.deduce_rescaled_membership
      ~IntervalOO.deduce_right_relaxed_membership
      ~IntervalOO.latex
      ~IntervalOO.string

   .. rubric:: Methods Documentation

   .. automethod:: deduce_elem_in_set
   .. automethod:: deduce_left_relaxed_membership
   .. automethod:: deduce_left_right_relaxed_membership
   .. automethod:: deduce_member_in_real
   .. automethod:: deduce_member_lower_bound
   .. automethod:: deduce_member_upper_bound
   .. automethod:: deduce_rescaled_membership
   .. automethod:: deduce_right_relaxed_membership
   .. automethod:: latex
   .. automethod:: string