InClass
=======

.. currentmodule:: proveit.logic

.. autoclass:: InClass
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~InClass.inclass_expressions
      ~InClass.known_memberships

   .. rubric:: Methods Summary

   .. autosummary::

      ~InClass.check_proven_class_membership
      ~InClass.conclude
      ~InClass.deduce_not_in
      ~InClass.negated
      ~InClass.negation_side_effects
      ~InClass.reversed_operator_str
      ~InClass.shallow_simplification
      ~InClass.shallow_simplified
      ~InClass.side_effects
      ~InClass.yield_known_memberships

   .. rubric:: Attributes Documentation

   .. autoattribute:: inclass_expressions
   .. autoattribute:: known_memberships

   .. rubric:: Methods Documentation

   .. automethod:: check_proven_class_membership
   .. automethod:: conclude
   .. automethod:: deduce_not_in
   .. automethod:: negated
   .. automethod:: negation_side_effects
   .. automethod:: reversed_operator_str
   .. automethod:: shallow_simplification
   .. automethod:: shallow_simplified
   .. automethod:: side_effects
   .. automethod:: yield_known_memberships