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

eval_equality(self, other_irreducible, \*\*defaults_config)[source]

Returns the evaluation of the equality between this irreducible value and the other irreducible value, if it is well-defined.

Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.