InSet
=====

.. currentmodule:: proveit.logic

.. autoclass:: InSet
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~InSet.known_memberships

   .. rubric:: Methods Summary

   .. autosummary::

      ~InSet.conclude
      ~InSet.deduce_in_bool
      ~InSet.deduce_not_in
      ~InSet.do_reduced_evaluation
      ~InSet.negation_side_effects
      ~InSet.side_effects

   .. rubric:: Attributes Documentation

   .. autoattribute:: known_memberships

   .. rubric:: Methods Documentation

   .. automethod:: conclude
   .. automethod:: deduce_in_bool
   .. automethod:: deduce_not_in
   .. automethod:: do_reduced_evaluation
   .. automethod:: negation_side_effects
   .. automethod:: side_effects