Set (Model)

Inheritance

Ancestors

ParamPropTarget

TypeBase

ContainerType

Set

Remarks

This is the Set data type (which contains only unique elements, but not necessarily in any order).

Containment

Parents: DataTypes

Formal Specification

Structural Semantics: CyPhyML.4ml
Denotational Semantic Anchoring: denotation_CyPhyML.4ml