Tags: absorption python inclusion class

AbsorptionInclusion (python class)

See also

math concept | python declaration class | python sample

This section presents the AbsorptionInclusion python class.

This class models the inclusion of the absorption inference-rule in the target theory-derivation.

Punctilious users do not need to instanciate objects from this class. In effect, the TheoryElaborationSequence class exposes the absorption property, and instanciation is automatic when this property is accessed for the first time.