Judgment
========

.. currentmodule:: proveit

.. autoclass:: Judgment
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~Judgment.has_been_proven
      ~Judgment.in_progress_to_derive_sideeffects
      ~Judgment.lookup_dict
      ~Judgment.presumed_theorems_and_theories
      ~Judgment.presuming_exclusions
      ~Judgment.presuming_theorem_and_theory_exclusions
      ~Judgment.qed_in_progress
      ~Judgment.sideeffect_processed
      ~Judgment.theorem_being_proven

   .. rubric:: Methods Summary

   .. autosummary::

      ~Judgment.as_impl
      ~Judgment.as_implication
      ~Judgment.as_theorem_or_axiom
      ~Judgment.begin_proof
      ~Judgment.derive_side_effects
      ~Judgment.eliminate
      ~Judgment.evaluation
      ~Judgment.find_judgment
      ~Judgment.forget_judgments
      ~Judgment.generalize
      ~Judgment.inner_expr
      ~Judgment.instantiate
      ~Judgment.is_sufficient
      ~Judgment.is_usable
      ~Judgment.latex
      ~Judgment.order_of_appearance
      ~Judgment.print_dependents
      ~Judgment.print_requirements
      ~Judgment.proof
      ~Judgment.raise_unusable_proof
      ~Judgment.string
      ~Judgment.with_matching_styles

   .. rubric:: Attributes Documentation

   .. autoattribute:: has_been_proven
   .. autoattribute:: in_progress_to_derive_sideeffects
   .. autoattribute:: lookup_dict
   .. autoattribute:: presumed_theorems_and_theories
   .. autoattribute:: presuming_exclusions
   .. autoattribute:: presuming_theorem_and_theory_exclusions
   .. autoattribute:: qed_in_progress
   .. autoattribute:: sideeffect_processed
   .. autoattribute:: theorem_being_proven

   .. rubric:: Methods Documentation

   .. automethod:: as_impl
   .. automethod:: as_implication
   .. automethod:: as_theorem_or_axiom
   .. automethod:: begin_proof
   .. automethod:: derive_side_effects
   .. automethod:: eliminate
   .. automethod:: evaluation
   .. automethod:: find_judgment
   .. automethod:: forget_judgments
   .. automethod:: generalize
   .. automethod:: inner_expr
   .. automethod:: instantiate
   .. automethod:: is_sufficient
   .. automethod:: is_usable
   .. automethod:: latex
   .. automethod:: order_of_appearance
   .. automethod:: print_dependents
   .. automethod:: print_requirements
   .. automethod:: proof
   .. automethod:: raise_unusable_proof
   .. automethod:: string
   .. automethod:: with_matching_styles