Signature: represents_part_and_is_contained() : Boolean;
Description: If a partition represents a part and is contained by another partition, then the part must be of a classifier represented by the containing partition, or of a classifier that is the type of a part representing the containing partition.
Expression: true

Signature: represents_part() : Boolean;
Description: If a partition represents a part, then all the non-external partitions in the same dimension and at the same level of nesting in that dimension must represent parts directly contained in the internal structure of the same classifier.
Expression: true

Signature: represents_classifier() : Boolean;
Description: If a non-external partition represents a classifier and is contained in another partition, then the containing partition must represent a classifier, and the classifier of the subpartition must be nested in the classifier represented by the containing partition, or be at the contained end of a strong composition association with the classifier represented by the containing partition.
Expression: true

Signature: dimension_not_contained() : Boolean;
Description: A partition with isDimension = true may not be contained by another partition.
Expression: true

Operations:

No additional operations.

Send questions or comments to [email protected].