Conditions

Conditions are introduced by a 4-bit value for the type of the condition. After the introduction of the condition follows as a parameter either 0 till 2 subconditions or two subfunctions (see section 21.3.7 on page )

The possible conditions are listed in table 14.

Table 14: Introduction for conditions

name	introduction	description	parameter
false	0000	The condition is false.	none
true	1111	The condition is true.	none
not	0001	The condition is true if and only if the subcondition is false, otherwise it is false.	one subcondition
or	0010	The condition is true if and only if at least one of its two subconditions is true, otherwise it is false.	two subconditions
and	0011	The condition is true if and only if the two subconditions are true, otherwise it is false.	two subconditions
xor	0100	The condition is true if and only if exactly one of the two subconditions is true, otherwise it is false.	two subconditions
eqInt	1000	Comparison of two to integers rounded numbers on equality.	two subfunctions, as described in section 21.3.7 on page
lo	1001	Comparison, if the first number is less than the second.	two subfunctions, as described in section 21.3.7 on page
gr	1010	Comparison, if the first number is greater than the second.	two subfunctions, as described in section 21.3.7 on page
	0101 till 0111 and 1011 till 1110	Free for future conditions.

Example:

• example object: if( and( true, gr( $x_1$, 3 ) ), ... )
• bits for "if" (introduction): 1100
• bits for "and" (introduction for "and"): 0011
• bits for "true" (introduction for "true"): 1111
• bits for "gr" (introduction for "gr"): 1010
• bits for the variable $x_1$ (the first variable in the part object branch, introduction for "variable" and the variable identifier; the variable domain "variable" is "naturalNumberB(4)", which means a $4$ bit natural number): 01 0001
• bits for the value 3 (introduction for "value" and 3 as a 4 bit natural number with the value domain "subfunction" as "naturalNumberB(4)", which means a $4$ bit natural number): 00 0011
• bits for the entire if-element (first bit at the front):
  00111100 11110101 10100000 1100 ... (=Bits for the two subobjects)