Matrix and interval aggregations are defined for real numbers. When a subdomain is declared, no relationship with the parent domain is maintained. A predefined class named Object always exists. 4.13 Argument Arguments are automatically numbered by the runtime system starting at 1. Link defines that a single value can exist in the container.
Vector is an ordered list.
Set is an ordered list with no duplications. In the section, we present the grammar for manipulating instances in the object model. An object model of the instance network is shown in Figure 4 on page 19 . The instance manipulation language exists at the same level as the object declaration language. In other words, object definitions and instance manipulation commands can be intermingled.