Expression
==========

.. currentmodule:: proveit

.. autoclass:: Expression
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~Expression.class_paths
      ~Expression.default_expr_styles
      ~Expression.in_progress_to_conclude
      ~Expression.labeled_to_canonical_meaning_data

   .. rubric:: Methods Summary

   .. autosummary::

      ~Expression.conclude
      ~Expression.conclude_negation
      ~Expression.conclude_via_implication
      ~Expression.copy
      ~Expression.core_info
      ~Expression.disprove
      ~Expression.disproven
      ~Expression.do_reduced_evaluation
      ~Expression.do_reduced_simplification
      ~Expression.evaluated
      ~Expression.evaluation
      ~Expression.expr_info
      ~Expression.formatted
      ~Expression.get_style
      ~Expression.get_styles
      ~Expression.inner_expr
      ~Expression.latex
      ~Expression.num_sub_expr
      ~Expression.order_of_appearance
      ~Expression.prove
      ~Expression.proven
      ~Expression.remake_arguments
      ~Expression.remake_constructor
      ~Expression.remake_with_style_calls
      ~Expression.replaced
      ~Expression.safe_dummy_var
      ~Expression.safe_dummy_vars
      ~Expression.side_effects
      ~Expression.simplification
      ~Expression.simplified
      ~Expression.string
      ~Expression.style_names
      ~Expression.style_options
      ~Expression.sub_expr
      ~Expression.sub_expr_iter
      ~Expression.with_default_style
      ~Expression.with_matching_style
      ~Expression.with_mimicked_style
      ~Expression.with_styles

   .. rubric:: Attributes Documentation

   .. autoattribute:: class_paths
   .. autoattribute:: default_expr_styles
   .. autoattribute:: in_progress_to_conclude
   .. autoattribute:: labeled_to_canonical_meaning_data

   .. rubric:: Methods Documentation

   .. automethod:: conclude
   .. automethod:: conclude_negation
   .. automethod:: conclude_via_implication
   .. automethod:: copy
   .. automethod:: core_info
   .. automethod:: disprove
   .. automethod:: disproven
   .. automethod:: do_reduced_evaluation
   .. automethod:: do_reduced_simplification
   .. automethod:: evaluated
   .. automethod:: evaluation
   .. automethod:: expr_info
   .. automethod:: formatted
   .. automethod:: get_style
   .. automethod:: get_styles
   .. automethod:: inner_expr
   .. automethod:: latex
   .. automethod:: num_sub_expr
   .. automethod:: order_of_appearance
   .. automethod:: prove
   .. automethod:: proven
   .. automethod:: remake_arguments
   .. automethod:: remake_constructor
   .. automethod:: remake_with_style_calls
   .. automethod:: replaced
   .. automethod:: safe_dummy_var
   .. automethod:: safe_dummy_vars
   .. automethod:: side_effects
   .. automethod:: simplification
   .. automethod:: simplified
   .. automethod:: string
   .. automethod:: style_names
   .. automethod:: style_options
   .. automethod:: sub_expr
   .. automethod:: sub_expr_iter
   .. automethod:: with_default_style
   .. automethod:: with_matching_style
   .. automethod:: with_mimicked_style
   .. automethod:: with_styles