IntervalOC ========== .. currentmodule:: proveit.numbers .. autoclass:: IntervalOC :show-inheritance: .. rubric:: Methods Summary .. autosummary:: ~IntervalOC.deduce_elem_in_set ~IntervalOC.deduce_member_in_real ~IntervalOC.deduce_member_lower_bound ~IntervalOC.deduce_member_upper_bound ~IntervalOC.deduce_relaxed_membership ~IntervalOC.deduce_rescaled_membership ~IntervalOC.latex ~IntervalOC.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_relaxed_membership .. automethod:: deduce_rescaled_membership .. automethod:: latex .. automethod:: string