IrreducibleValue¶
-
class
proveit.logic.
IrreducibleValue
[source]¶ Bases:
object
Methods Summary
eval_equality
(self, other_irreducible, …)Returns the evaluation of the equality between this irreducible value and the other irreducible value, if it is well-defined.
Methods Documentation