NotInClass
==========

.. currentmodule:: proveit.logic

.. autoclass:: NotInClass
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~NotInClass.known_nonmemberships
      ~NotInClass.notinclass_expressions

   .. rubric:: Methods Summary

   .. autosummary::

      ~NotInClass.conclude
      ~NotInClass.conclude_as_folded
      ~NotInClass.deduce_in_bool
      ~NotInClass.negated
      ~NotInClass.shallow_simplification
      ~NotInClass.shallow_simplified
      ~NotInClass.side_effects
      ~NotInClass.unfold_not_in

   .. rubric:: Attributes Documentation

   .. autoattribute:: known_nonmemberships
   .. autoattribute:: notinclass_expressions

   .. rubric:: Methods Documentation

   .. automethod:: conclude
   .. automethod:: conclude_as_folded
   .. automethod:: deduce_in_bool
   .. automethod:: negated
   .. automethod:: shallow_simplification
   .. automethod:: shallow_simplified
   .. automethod:: side_effects
   .. automethod:: unfold_not_in