Set-element

Introduction: 0000 0000 0001 1111

For the description of the set-element see section 9.12 on page .

The domain for the set-element is "setElement" (see section 21.2.4 on page ).

After the introduction first follows one bit, that indicates whether a particular domain is used. If this bit is $0$ no domain number $DomainNr$ is given and the $DomainNr$ is set to 0 . Otherwise, if it is $1$, a natural number follows for the used domain $DomainNr$ . The number of bits for this number results from the largest number $max(i)$ for a domain for the set-element and is $\lceil \log_2( max(i) ) \rceil$. The $DomainNr$ determines the domain of the element. It is the first "setElement" domain with a domain number equal or lower of the set (loaded) domain number $DomainNr$.

Then follow two natural numbers.

The first number indicates the number ($n$) of the variables and to set values per set. The bits for this number resulting from the first element / subdomain of the vector domain for the element.

The second number indicates the number ($k$) of the sets of values to be set. The bits for this number results from the second element / subdomain of the vector domain for the element.

Following the two count values are $k$ sets respectively vectors (see section 21.3.1 on page ) with each $n$ values (respectively it follow $k * n$ values / vector elements in a row). The domain for the vectors respectively sets is the third element / subdomain of the vector domain for the element.

At the end of the set-element follows its subobject.