Table 1 – Conventions used in state machines
Convention |
Meaning |
:= |
Assignment: value of an item on the left is replaced by value of the item on the right. |
< |
Less than: a logical condition yielding TRUE if and only if an item on the left is less than the item on the right. |
<= |
Less or equal than: a logical condition yielding TRUE if and only if an item on the left is less or equal than the item on the right. |
> |
Greater than: a logical condition yielding TRUE if and only if the item on the left is greater than the item on the right. |
>= |
Greater or equal than: a logical condition yielding TRUE if and only if the item on the left is greater or equal than the item on the right. |
== |
Equality: a logical condition yielding TRUE if and only if the item on the left is equal to an item on the right. |
<> |
Inequality: a logical condition yielding TRUE if and only if the item on the left is not equal to an item on the right. |
&& |
Logical “AND” (Operation on binary values or results) |
|| |
Logical “OR” (Operation on binary values or results) |
|
Logical “XOR” (Operation on binary values or digital values) |
[..] |
UML Guard condition, if and only if the guard is TRUE the respective transition is enabled |