IrreducibleValue
================

.. currentmodule:: proveit.logic

.. autoclass:: IrreducibleValue
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~IrreducibleValue.eval_equality
      ~IrreducibleValue.evaluation
      ~IrreducibleValue.irreducible_value
      ~IrreducibleValue.not_equal

   .. rubric:: Methods Documentation

   .. automethod:: eval_equality
   .. automethod:: evaluation
   .. automethod:: irreducible_value
   .. automethod:: not_equal