IntervalCC
==========

.. currentmodule:: proveit.numbers

.. autoclass:: IntervalCC
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~IntervalCC.deduce_elem_in_set
      ~IntervalCC.deduce_member_in_real
      ~IntervalCC.deduce_member_lower_bound
      ~IntervalCC.deduce_member_upper_bound
      ~IntervalCC.deduce_rescaled_membership
      ~IntervalCC.latex
      ~IntervalCC.string

   .. rubric:: Methods Documentation

   .. automethod:: deduce_elem_in_set
   .. automethod:: deduce_member_in_real
   .. automethod:: deduce_member_lower_bound
   .. automethod:: deduce_member_upper_bound
   .. automethod:: deduce_rescaled_membership
   .. automethod:: latex
   .. automethod:: string