| Color Set | Definition |
| colset INT = int | Integer color set | varsp, bb, , , , dir, a: INT; | Integer type variables | colset ID = int | Node identity | var id, h, h, c, c, d, d: ID | Nodes variables | colset COOR = product ID * ID | Product type coordinates (-axis, -axis) | colset STEP = int | Movement steps | var steps: STEP | Steps type variable | colset STATUS = with HOME ∣ MOVING ∣ FINISH | Three states if MH, home, moving, or finish (reached to destination) | colset NODE = product ID * STEP * COOR * COOR * COOR * STATUS timed | Timed node color set 6-tuple consists of node ID, step number, home, current, destination, and current status | var : NODE | Node type variable | colset COMPLETE = product ID * STEP * COOR * COOR * COOR * STATUS * INT timed | Product type color set same as NODE but it includes 1 more tuple after STATUS as INT, which increased by 1 on every successful epoch |
|
|