Set-Element

Einleitung: 0000 0000 0001 1111

Zur Beschreibung des Set-Element siehe Abschnitt 12.12 auf Seite .

Der Definitionsbereich für das Set-Element ist "setElement" (siehe Abschnitt 25.2.4 auf Seite ).

Nach der Einleitung folgt zuerst ein Bit, dass angibt ob ein besonderer Definitionsbereich verwendet wird. Ist dieses Bit $0$ wird keine Definitionsbereichsnummer $DomainNr$ angegeben und die $DomainNr$ wird mit 0 belegt. Sonst, wenn es $1$ ist, folgt eine natürliche Zahl für die Nummer des verwendeten Definitionsbereichs $DomainNr$. Die Anzahl der Bit für diese Nummer ergibt sich aus der größten Nummer $max(i)$ für einen Definitionsbereich für das Set-Element und ist $\lceil \log_2( max(i) ) \rceil$ . Aus der $DomainNr$ ergibt sich der Definitionsbereich des Elements. Er ist der erste "setElement" Definitionsbereich der eine Definitionsbereichnummer kleiner gleich der gesetzen (geladenen) Definitionsbereichsnummer $DomainNr$ hat.

Danach folgen zwei natürlich Zahlen.

Die erste Zahl gibt die Anzahl ($n$) der Variablen und der zu setzenden Werte pro Satz an. Die Bits für diese Zahl ergeben sich aus dem ersten Element /Unterdefinitionsbereich des Vektordefinitionsbereichs für das Element.

Die zweite Zahl gibt die Anzahl ($k$) der Sätze mit zu setzenden Werten an. Die Bits für diese Zahl ergeben sich aus dem zweiten Element /Unterdefinitionsbereich des Vektordefinitionsbereichs für das Element.

Nach den beiden Anzahlwerten folgen $k$ Vektoren/Sätze (siehe Abschnitt 25.3.1 auf Seite ) mit je $n$ Werten (bzw. es folgen $k * n$ Werte/Vektorelemente direkt hintereinander). Der Definitionsbereich für die Vektoren/Sätze ist das dritte Element / Unterdefinitionsbereich des Vektordefinitionsbereichs für das Element.

Am Ende folgt das Unterobjekt des Set-Elements.