ClassMembership

class proveit.logic.ClassMembership(element, domain, *, expr=None)

Bases: object

Methods Summary

conclude(self, \*\*defaults_config)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
deduce_in_bool(self, \*\*defaults_config)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
definition(self, \*\*defaults_config)	Prove the membership equal to an expression that defines the membership.
side_effects(self, judgment)

Methods Documentation

conclude(self, \*\*defaults_config)

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

deduce_in_bool(self, \*\*defaults_config)

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

definition(self, \*\*defaults_config)

Prove the membership equal to an expression that defines the membership.

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

‘defined’ returns the right-hand side of ‘definition’. ‘define’, called on an InnerExpr of a Judgment, substitutes the right-hand side of ‘definition’ for the inner expression.

side_effects(self, judgment)