3.3.3 Conventions in state machines
See Table 1 for the 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. |