From 7aa91602d5047270c56282671439c682749b5d6e Mon Sep 17 00:00:00 2001 From: Johannes Mey <johannes.mey@tu-dresden.de> Date: Thu, 21 Jul 2022 18:07:35 +0200 Subject: [PATCH] improve table --- pages/docs/sorting-parsing.md | 460 ++++++++++++++++++---------------- 1 file changed, 245 insertions(+), 215 deletions(-) diff --git a/pages/docs/sorting-parsing.md b/pages/docs/sorting-parsing.md index ae92d4a..3313590 100644 --- a/pages/docs/sorting-parsing.md +++ b/pages/docs/sorting-parsing.md @@ -1,217 +1,247 @@ # Parsing the Robot Sorting World -| Action | Timestamp | Parse Tree | -|----------------------------|--------------|----------------------------------------------------------------------------------| -| | 17.43.35.270 |  | -| EmptyTable | 17.43.39.588 |  | -| Wait | 17.43.47.871 |  | -| WaitForFullTable | 17.43.48.060 |  | -| EmptyTable | 17.43.48.272 |  | -| Wait | 17.43.56.518 |  | -| WaitForFullTable | 17.43.56.718 |  | -| EmptyTable | 17.43.56.889 |  | -| Wait | 17.44.05.105 |  | -| WaitForFullTable | 17.44.05.370 |  | -| ObjectAtWrongPlace | 17.44.05.769 |  | -| RobotIsReadyToPickToken | 17.44.06.152 |  | -| RobotIsReallyReadyToPick | 17.44.06.526 |  | -| RobotIsReadyToPick | 17.44.06.859 |  | -| PickUpObject | 17.44.07.284 |  | -| RobotIsNotReadyToDropToken | 17.44.07.807 |  | -| Wait | 17.44.16.137 |  | -| RobotIsNotReadyToDropToken | 17.44.16.336 |  | -| Wait | 17.44.24.593 |  | -| RobotIsNotReadyToDropToken | 17.44.24.996 |  | -| Wait | 17.44.33.736 |  | -| RobotIsReadyToDropToken | 17.44.34.344 |  | -| RobotIsReallyReadyToDrop | 17.44.34.795 |  | -| RobotIsReadyToDrop | 17.44.35.148 |  | -| RobotIsNotReadyToDrop | 17.44.35.616 |  | -| RobotIsReadyToDrop | 17.44.36.052 |  | -| RobotIsNotReadyToDrop | 17.44.36.493 |  | -| RobotIsReadyToDrop | 17.44.36.798 |  | -| RobotIsNotReadyToDrop | 17.44.37.173 |  | -| RobotIsReadyToDrop | 17.44.37.512 |  | -| RightPlace | 17.44.37.872 |  | -| DropObjectAtRightPlace | 17.44.38.308 |  | -| MoveObjectToCorrectPlace | 17.44.38.799 |  | -| ObjectAtWrongPlace | 17.44.39.211 |  | -| RobotIsNotReadyToPickToken | 17.44.39.524 |  | -| Wait | 17.44.47.970 |  | -| RobotIsNotReadyToPickToken | 17.44.48.142 |  | -| Wait | 17.44.56.356 |  | -| RobotIsReadyToPickToken | 17.44.56.572 |  | -| RobotIsReallyReadyToPick | 17.44.56.825 |  | -| RobotIsReadyToPick | 17.44.57.094 |  | -| RobotIsNotReadyToPick | 17.44.57.328 |  | -| RobotIsReadyToPick | 17.44.57.607 |  | -| RobotIsNotReadyToPick | 17.44.57.896 |  | -| RobotIsReadyToPick | 17.44.58.169 |  | -| PickUpObject | 17.44.58.456 |  | -| RobotIsNotReadyToDropToken | 17.44.58.783 |  | -| Wait | 17.45.07.121 |  | -| RobotIsNotReadyToDropToken | 17.45.07.305 |  | -| Wait | 17.45.15.564 |  | -| RobotIsNotReadyToDropToken | 17.45.15.800 |  | -| Wait | 17.45.24.125 |  | -| RobotIsReadyToDropToken | 17.45.24.328 |  | -| RobotIsReallyReadyToDrop | 17.45.24.535 |  | -| RobotIsReadyToDrop | 17.45.24.828 |  | -| RobotIsNotReadyToDrop | 17.45.25.133 |  | -| RobotIsReadyToDrop | 17.45.25.385 |  | -| RobotIsNotReadyToDrop | 17.45.25.689 |  | -| RobotIsReadyToDrop | 17.45.25.998 |  | -| RobotIsNotReadyToDrop | 17.45.26.299 |  | -| RobotIsReadyToDrop | 17.45.26.574 |  | -| RightPlace | 17.45.26.864 |  | -| DropObjectAtRightPlace | 17.45.27.156 |  | -| MoveObjectToCorrectPlace | 17.45.27.617 |  | -| ObjectAtWrongPlace | 17.45.27.991 |  | -| RobotIsNotReadyToPickToken | 17.45.28.330 |  | -| Wait | 17.45.36.597 |  | -| RobotIsNotReadyToPickToken | 17.45.37.022 |  | -| Wait | 17.45.45.385 |  | -| RobotIsNotReadyToPickToken | 17.45.45.808 |  | -| Wait | 17.45.54.253 |  | -| RobotIsReadyToPickToken | 17.45.54.524 |  | -| RobotIsReallyReadyToPick | 17.45.54.815 |  | -| RobotIsReadyToPick | 17.45.55.141 |  | -| RobotIsNotReadyToPick | 17.45.55.508 |  | -| RobotIsReadyToPick | 17.45.55.795 |  | -| RobotIsNotReadyToPick | 17.45.56.159 |  | -| RobotIsReadyToPick | 17.45.56.569 |  | -| RobotIsNotReadyToPick | 17.45.56.870 |  | -| RobotIsReadyToPick | 17.45.57.191 |  | -| PickUpObject | 17.45.57.480 |  | -| RobotIsNotReadyToDropToken | 17.45.57.813 |  | -| Wait | 17.46.06.099 |  | -| RobotIsNotReadyToDropToken | 17.46.06.350 |  | -| Wait | 17.46.14.753 |  | -| RobotIsNotReadyToDropToken | 17.46.15.104 |  | -| Wait | 17.46.23.512 |  | -| RobotIsReadyToDropToken | 17.46.23.794 |  | -| RobotIsReallyReadyToDrop | 17.46.24.101 |  | -| RobotIsReadyToDrop | 17.46.24.486 |  | -| RobotIsNotReadyToDrop | 17.46.24.794 |  | -| RobotIsReadyToDrop | 17.46.25.117 |  | -| RobotIsNotReadyToDrop | 17.46.25.461 |  | -| RobotIsReadyToDrop | 17.46.25.965 |  | -| RobotIsNotReadyToDrop | 17.46.26.445 |  | -| RobotIsReadyToDrop | 17.46.26.875 |  | -| RightPlace | 17.46.27.270 |  | -| DropObjectAtRightPlace | 17.46.27.571 |  | -| MoveObjectToCorrectPlace | 17.46.28.040 |  | -| ObjectAtWrongPlace | 17.46.28.378 |  | -| RobotIsNotReadyToPickToken | 17.46.28.783 |  | -| Wait | 17.46.37.214 |  | -| RobotIsNotReadyToPickToken | 17.46.37.839 |  | -| Wait | 17.46.46.415 |  | -| RobotIsReadyToPickToken | 17.46.46.772 |  | -| RobotIsReallyReadyToPick | 17.46.47.259 |  | -| RobotIsReadyToPick | 17.46.47.773 |  | -| RobotIsNotReadyToPick | 17.46.48.234 |  | -| RobotIsReadyToPick | 17.46.48.689 |  | -| RobotIsNotReadyToPick | 17.46.49.022 |  | -| RobotIsReadyToPick | 17.46.49.401 |  | -| PickUpObject | 17.46.49.769 |  | -| RobotIsNotReadyToDropToken | 17.46.50.301 |  | -| Wait | 17.46.58.748 |  | -| RobotIsNotReadyToDropToken | 17.46.59.083 |  | -| Wait | 17.47.07.498 |  | -| RobotIsNotReadyToDropToken | 17.47.07.880 |  | -| Wait | 17.47.16.397 |  | -| RobotIsReadyToDropToken | 17.47.16.801 |  | -| RobotIsReallyReadyToDrop | 17.47.17.359 |  | -| RobotIsReadyToDrop | 17.47.17.845 |  | -| RobotIsNotReadyToDrop | 17.47.18.346 |  | -| RobotIsReadyToDrop | 17.47.18.751 |  | -| RobotIsNotReadyToDrop | 17.47.19.190 |  | -| RobotIsReadyToDrop | 17.47.19.584 |  | -| RobotIsNotReadyToDrop | 17.47.20.046 |  | -| RobotIsReadyToDrop | 17.47.20.492 |  | -| RightPlace | 17.47.20.938 |  | -| DropObjectAtRightPlace | 17.47.21.359 |  | -| MoveObjectToCorrectPlace | 17.47.21.787 |  | -| ObjectAtWrongPlace | 17.47.22.194 |  | -| RobotIsNotReadyToPickToken | 17.47.22.574 |  | -| Wait | 17.47.31.018 |  | -| RobotIsReadyToPickToken | 17.47.31.661 |  | -| RobotIsReallyReadyToPick | 17.47.32.242 |  | -| RobotIsReadyToPick | 17.47.32.687 |  | -| RobotIsNotReadyToPick | 17.47.33.236 |  | -| RobotIsReadyToPick | 17.47.33.791 |  | -| PickUpObject | 17.47.34.349 |  | -| RobotIsNotReadyToDropToken | 17.47.35.136 |  | -| Wait | 17.47.44.054 |  | -| RobotIsNotReadyToDropToken | 17.47.44.477 |  | -| Wait | 17.47.52.949 |  | -| RobotIsReadyToDropToken | 17.47.53.482 |  | -| RobotIsReallyReadyToDrop | 17.47.53.970 |  | -| RobotIsReadyToDrop | 17.47.54.457 |  | -| RobotIsNotReadyToDrop | 17.47.54.904 |  | -| RobotIsReadyToDrop | 17.47.55.363 |  | -| RobotIsNotReadyToDrop | 17.47.55.801 |  | -| RobotIsReadyToDrop | 17.47.56.296 |  | -| RightPlace | 17.47.56.817 |  | -| DropObjectAtRightPlace | 17.47.57.276 |  | -| MoveObjectToCorrectPlace | 17.47.57.822 |  | -| ObjectAtWrongPlace | 17.47.58.320 |  | -| RobotIsNotReadyToPickToken | 17.47.58.833 |  | -| Wait | 17.48.07.320 |  | -| RobotIsNotReadyToPickToken | 17.48.07.777 |  | -| Wait | 17.48.16.287 |  | -| RobotIsReadyToPickToken | 17.48.16.787 |  | -| RobotIsReallyReadyToPick | 17.48.17.286 |  | -| RobotIsReadyToPick | 17.48.17.803 |  | -| RobotIsNotReadyToPick | 17.48.18.309 |  | -| RobotIsReadyToPick | 17.48.18.793 |  | -| RobotIsNotReadyToPick | 17.48.19.284 |  | -| RobotIsReadyToPick | 17.48.19.763 |  | -| PickUpObject | 17.48.20.323 |  | -| RobotIsNotReadyToDropToken | 17.48.20.954 |  | -| Wait | 17.48.29.505 |  | -| RobotIsNotReadyToDropToken | 17.48.29.956 |  | -| Wait | 17.48.38.432 |  | -| RobotIsReadyToDropToken | 17.48.38.984 |  | -| RobotIsReallyReadyToDrop | 17.48.39.487 |  | -| RobotIsReadyToDrop | 17.48.39.995 |  | -| RobotIsNotReadyToDrop | 17.48.40.646 |  | -| RobotIsReadyToDrop | 17.48.41.455 |  | -| RobotIsNotReadyToDrop | 17.48.42.167 |  | -| RobotIsReadyToDrop | 17.48.43.036 |  | -| RightPlace | 17.48.43.694 |  | -| DropObjectAtRightPlace | 17.48.44.270 |  | -| MoveObjectToCorrectPlace | 17.48.45.067 |  | -| ObjectAtWrongPlace | 17.48.45.805 |  | -| RobotIsNotReadyToPickToken | 17.48.46.580 |  | -| Wait | 17.48.55.311 |  | -| RobotIsReadyToPickToken | 17.48.55.877 |  | -| RobotIsReallyReadyToPick | 17.48.56.584 |  | -| RobotIsReadyToPick | 17.48.57.159 |  | -| RobotIsNotReadyToPick | 17.48.57.767 |  | -| RobotIsReadyToPick | 17.48.58.318 |  | -| PickUpObject | 17.48.58.854 |  | -| RobotIsNotReadyToDropToken | 17.48.59.568 |  | -| Wait | 17.49.08.199 |  | -| RobotIsNotReadyToDropToken | 17.49.08.763 |  | -| Wait | 17.49.17.390 |  | -| RobotIsReadyToDropToken | 17.49.17.940 |  | -| RobotIsReallyReadyToDrop | 17.49.18.601 |  | -| RobotIsReadyToDrop | 17.49.19.185 |  | -| RobotIsNotReadyToDrop | 17.49.19.787 |  | -| RobotIsReadyToDrop | 17.49.20.367 |  | -| RobotIsNotReadyToDrop | 17.49.20.988 |  | -| RobotIsReadyToDrop | 17.49.21.715 |  | -| RightPlace | 17.49.22.301 |  | -| DropObjectAtRightPlace | 17.49.22.924 |  | -| MoveObjectToCorrectPlace | 17.49.23.638 |  | -| NotEmptyTable | 17.49.24.549 |  | -| Wait | 17.49.33.854 |  | -| WaitForEmptyTable | 17.49.34.525 |  | -| NotEmptyTable | 17.49.35.242 |  | -| Wait | 17.49.43.910 |  | -| WaitForEmptyTable | 17.49.44.712 |  | -| EmptyTable | 17.49.45.507 |  | -| Tidy | 17.49.46.201 |  | -| | 17.49.46.867 |  | - +| Action | Context Update | Timestamp | Parse Tree | +|----------------------------|-----------------|--------------|----------------------------------------------------------------------------------------| +| | | 17.43.35.056 | -DONE.svg) | +| | | 17.43.35.270 |  | +| EmptyTable | | 17.43.39.588 |  | +| Wait | | 17.43.47.871 |  | +| WaitForFullTable | | 17.43.48.060 |  | +| EmptyTable | | 17.43.48.272 |  | +| Wait | | 17.43.56.518 |  | +| WaitForFullTable | | 17.43.56.718 |  | +| EmptyTable | | 17.43.56.889 |  | +| | object added | 17.43.59.407 | -DONE.svg) | +| Wait | | 17.44.05.105 |  | +| WaitForFullTable | | 17.44.05.370 |  | +| ObjectAtWrongPlace | | 17.44.05.769 |  | +| RobotIsReadyToPickToken | | 17.44.06.152 |  | +| RobotIsReallyReadyToPick | | 17.44.06.526 |  | +| RobotIsReadyToPick | | 17.44.06.859 |  | +| PickUpObject | | 17.44.07.284 |  | +| | object attached | 17.44.07.337 | -DONE.svg) | +| RobotIsNotReadyToDropToken | | 17.44.07.807 |  | +| Wait | | 17.44.16.137 |  | +| RobotIsNotReadyToDropToken | | 17.44.16.336 |  | +| | object added | 17.44.22.245 | -DONE.svg) | +| Wait | | 17.44.24.593 |  | +| RobotIsNotReadyToDropToken | | 17.44.24.996 |  | +| | robot idle | 17.44.25.162 | -DONE.svg) | +| | object added | 17.44.30.153 | -DONE.svg) | +| Wait | | 17.44.33.736 |  | +| RobotIsReadyToDropToken | | 17.44.34.344 |  | +| RobotIsReallyReadyToDrop | | 17.44.34.795 |  | +| RobotIsReadyToDrop | | 17.44.35.148 |  | +| RobotIsNotReadyToDrop | | 17.44.35.616 |  | +| RobotIsReadyToDrop | | 17.44.36.052 |  | +| RobotIsNotReadyToDrop | | 17.44.36.493 |  | +| RobotIsReadyToDrop | | 17.44.36.798 |  | +| RobotIsNotReadyToDrop | | 17.44.37.173 |  | +| RobotIsReadyToDrop | | 17.44.37.512 |  | +| RightPlace | | 17.44.37.872 |  | +| DropObjectAtRightPlace | | 17.44.38.308 |  | +| MoveObjectToCorrectPlace | | 17.44.38.799 |  | +| ObjectAtWrongPlace | | 17.44.39.211 |  | +| RobotIsNotReadyToPickToken | | 17.44.39.524 |  | +| Wait | | 17.44.47.970 |  | +| RobotIsNotReadyToPickToken | | 17.44.48.142 |  | +| | object gone | 17.44.54.865 | -DONE.svg) | +| Wait | | 17.44.56.356 |  | +| RobotIsReadyToPickToken | | 17.44.56.572 |  | +| RobotIsReallyReadyToPick | | 17.44.56.825 |  | +| RobotIsReadyToPick | | 17.44.57.094 |  | +| RobotIsNotReadyToPick | | 17.44.57.328 |  | +| RobotIsReadyToPick | | 17.44.57.607 |  | +| RobotIsNotReadyToPick | | 17.44.57.896 |  | +| RobotIsReadyToPick | | 17.44.58.169 |  | +| PickUpObject | | 17.44.58.456 |  | +| | object attached | 17.44.58.520 | -DONE.svg) | +| RobotIsNotReadyToDropToken | | 17.44.58.783 |  | +| Wait | | 17.45.07.121 |  | +| RobotIsNotReadyToDropToken | | 17.45.07.305 |  | +| | object added | 17.45.13.036 | -DONE.svg) | +| Wait | | 17.45.15.564 |  | +| RobotIsNotReadyToDropToken | | 17.45.15.800 |  | +| | robot is idle | 17.45.19.256 | -DONE.svg) | +| | object added | 17.45.21.852 | -DONE.svg) | +| Wait | | 17.45.24.125 |  | +| RobotIsReadyToDropToken | | 17.45.24.328 |  | +| RobotIsReallyReadyToDrop | | 17.45.24.535 |  | +| RobotIsReadyToDrop | | 17.45.24.828 |  | +| RobotIsNotReadyToDrop | | 17.45.25.133 |  | +| RobotIsReadyToDrop | | 17.45.25.385 |  | +| RobotIsNotReadyToDrop | | 17.45.25.689 |  | +| RobotIsReadyToDrop | | 17.45.25.998 |  | +| RobotIsNotReadyToDrop | | 17.45.26.299 |  | +| RobotIsReadyToDrop | | 17.45.26.574 |  | +| RightPlace | | 17.45.26.864 |  | +| DropObjectAtRightPlace | | 17.45.27.156 |  | +| MoveObjectToCorrectPlace | | 17.45.27.617 |  | +| ObjectAtWrongPlace | | 17.45.27.991 |  | +| RobotIsNotReadyToPickToken | | 17.45.28.330 |  | +| Wait | | 17.45.36.597 |  | +| RobotIsNotReadyToPickToken | | 17.45.37.022 |  | +| | object added | 17.45.43.100 | -DONE.svg) | +| Wait | | 17.45.45.385 |  | +| RobotIsNotReadyToPickToken | | 17.45.45.808 |  | +| | object gone | 17.45.47.121 | -DONE.svg) | +| Wait | | 17.45.54.253 |  | +| RobotIsReadyToPickToken | | 17.45.54.524 |  | +| RobotIsReallyReadyToPick | | 17.45.54.815 |  | +| RobotIsReadyToPick | | 17.45.55.141 |  | +| RobotIsNotReadyToPick | | 17.45.55.508 |  | +| RobotIsReadyToPick | | 17.45.55.795 |  | +| RobotIsNotReadyToPick | | 17.45.56.159 |  | +| RobotIsReadyToPick | | 17.45.56.569 |  | +| RobotIsNotReadyToPick | | 17.45.56.870 |  | +| RobotIsReadyToPick | | 17.45.57.191 |  | +| PickUpObject | | 17.45.57.480 |  | +| | object attached | 17.45.57.532 | -DONE.svg) | +| RobotIsNotReadyToDropToken | | 17.45.57.813 |  | +| Wait | | 17.46.06.099 |  | +| RobotIsNotReadyToDropToken | | 17.46.06.350 |  | +| Wait | | 17.46.14.753 |  | +| RobotIsNotReadyToDropToken | | 17.46.15.104 |  | +| | robot is idle | 17.46.20.101 | -DONE.svg) | +| Wait | | 17.46.23.512 |  | +| RobotIsReadyToDropToken | | 17.46.23.794 |  | +| RobotIsReallyReadyToDrop | | 17.46.24.101 |  | +| RobotIsReadyToDrop | | 17.46.24.486 |  | +| RobotIsNotReadyToDrop | | 17.46.24.794 |  | +| RobotIsReadyToDrop | | 17.46.25.117 |  | +| RobotIsNotReadyToDrop | | 17.46.25.461 |  | +| RobotIsReadyToDrop | | 17.46.25.965 |  | +| RobotIsNotReadyToDrop | | 17.46.26.445 |  | +| RobotIsReadyToDrop | | 17.46.26.875 |  | +| RightPlace | | 17.46.27.270 |  | +| DropObjectAtRightPlace | | 17.46.27.571 |  | +| MoveObjectToCorrectPlace | | 17.46.28.040 |  | +| ObjectAtWrongPlace | | 17.46.28.378 |  | +| RobotIsNotReadyToPickToken | | 17.46.28.783 |  | +| Wait | | 17.46.37.214 |  | +| RobotIsNotReadyToPickToken | | 17.46.37.839 |  | +| | object added | 17.46.40.928 | -DONE.svg) | +| | object gone | 17.46.42.453 | -DONE.svg) | +| Wait | | 17.46.46.415 |  | +| RobotIsReadyToPickToken | | 17.46.46.772 |  | +| RobotIsReallyReadyToPick | | 17.46.47.259 |  | +| RobotIsReadyToPick | | 17.46.47.773 |  | +| RobotIsNotReadyToPick | | 17.46.48.234 |  | +| RobotIsReadyToPick | | 17.46.48.689 |  | +| RobotIsNotReadyToPick | | 17.46.49.022 |  | +| RobotIsReadyToPick | | 17.46.49.401 |  | +| PickUpObject | | 17.46.49.769 |  | +| | object attached | 17.46.49.833 | -DONE.svg) | +| RobotIsNotReadyToDropToken | | 17.46.50.301 |  | +| Wait | | 17.46.58.748 |  | +| RobotIsNotReadyToDropToken | | 17.46.59.083 |  | +| Wait | | 17.47.07.498 |  | +| RobotIsNotReadyToDropToken | | 17.47.07.880 |  | +| | robot idle | 17.47.08.325 | -DONE.svg) | +| Wait | | 17.47.16.397 |  | +| RobotIsReadyToDropToken | | 17.47.16.801 |  | +| RobotIsReallyReadyToDrop | | 17.47.17.359 |  | +| RobotIsReadyToDrop | | 17.47.17.845 |  | +| RobotIsNotReadyToDrop | | 17.47.18.346 |  | +| RobotIsReadyToDrop | | 17.47.18.751 |  | +| RobotIsNotReadyToDrop | | 17.47.19.190 |  | +| RobotIsReadyToDrop | | 17.47.19.584 |  | +| RobotIsNotReadyToDrop | | 17.47.20.046 |  | +| RobotIsReadyToDrop | | 17.47.20.492 |  | +| RightPlace | | 17.47.20.938 |  | +| DropObjectAtRightPlace | | 17.47.21.359 |  | +| MoveObjectToCorrectPlace | | 17.47.21.787 |  | +| ObjectAtWrongPlace | | 17.47.22.194 |  | +| RobotIsNotReadyToPickToken | | 17.47.22.574 |  | +| Wait | | 17.47.31.018 |  | +| | object gone | 17.47.31.345 | -DONE.svg) | +| RobotIsReadyToPickToken | | 17.47.31.661 |  | +| RobotIsReallyReadyToPick | | 17.47.32.242 |  | +| RobotIsReadyToPick | | 17.47.32.687 |  | +| RobotIsNotReadyToPick | | 17.47.33.236 |  | +| RobotIsReadyToPick | | 17.47.33.791 |  | +| PickUpObject | | 17.47.34.349 |  | +| | object attached | 17.47.34.407 | -DONE.svg) | +| RobotIsNotReadyToDropToken | | 17.47.35.136 |  | +| Wait | | 17.47.44.054 |  | +| RobotIsNotReadyToDropToken | | 17.47.44.477 |  | +| | robot idle | 17.47.52.294 | -DONE.svg) | +| Wait | | 17.47.52.949 |  | +| RobotIsReadyToDropToken | | 17.47.53.482 |  | +| RobotIsReallyReadyToDrop | | 17.47.53.970 |  | +| RobotIsReadyToDrop | | 17.47.54.457 |  | +| RobotIsNotReadyToDrop | | 17.47.54.904 |  | +| RobotIsReadyToDrop | | 17.47.55.363 |  | +| RobotIsNotReadyToDrop | | 17.47.55.801 |  | +| RobotIsReadyToDrop | | 17.47.56.296 |  | +| RightPlace | | 17.47.56.817 |  | +| DropObjectAtRightPlace | | 17.47.57.276 |  | +| MoveObjectToCorrectPlace | | 17.47.57.822 |  | +| ObjectAtWrongPlace | | 17.47.58.320 |  | +| RobotIsNotReadyToPickToken | | 17.47.58.833 |  | +| Wait | | 17.48.07.320 |  | +| RobotIsNotReadyToPickToken | | 17.48.07.777 |  | +| | object gone | 17.48.09.459 | -DONE.svg) | +| Wait | | 17.48.16.287 |  | +| RobotIsReadyToPickToken | | 17.48.16.787 |  | +| RobotIsReallyReadyToPick | | 17.48.17.286 |  | +| RobotIsReadyToPick | | 17.48.17.803 |  | +| RobotIsNotReadyToPick | | 17.48.18.309 |  | +| RobotIsReadyToPick | | 17.48.18.793 |  | +| RobotIsNotReadyToPick | | 17.48.19.284 |  | +| RobotIsReadyToPick | | 17.48.19.763 |  | +| PickUpObject | | 17.48.20.323 |  | +| | object attached | 17.48.20.392 | -DONE.svg) | +| RobotIsNotReadyToDropToken | | 17.48.20.954 |  | +| Wait | | 17.48.29.505 |  | +| RobotIsNotReadyToDropToken | | 17.48.29.956 |  | +| | robot idle | 17.48.35.692 | -DONE.svg) | +| Wait | | 17.48.38.432 |  | +| RobotIsReadyToDropToken | | 17.48.38.984 |  | +| RobotIsReallyReadyToDrop | | 17.48.39.487 |  | +| RobotIsReadyToDrop | | 17.48.39.995 |  | +| RobotIsNotReadyToDrop | | 17.48.40.646 |  | +| RobotIsReadyToDrop | | 17.48.41.455 |  | +| RobotIsNotReadyToDrop | | 17.48.42.167 |  | +| RobotIsReadyToDrop | | 17.48.43.036 |  | +| RightPlace | | 17.48.43.694 |  | +| DropObjectAtRightPlace | | 17.48.44.270 |  | +| MoveObjectToCorrectPlace | | 17.48.45.067 |  | +| ObjectAtWrongPlace | | 17.48.45.805 |  | +| RobotIsNotReadyToPickToken | | 17.48.46.580 |  | +| | object gone | 17.48.55.068 | -DONE.svg) | +| Wait | | 17.48.55.311 |  | +| RobotIsReadyToPickToken | | 17.48.55.877 |  | +| RobotIsReallyReadyToPick | | 17.48.56.584 |  | +| RobotIsReadyToPick | | 17.48.57.159 |  | +| RobotIsNotReadyToPick | | 17.48.57.767 |  | +| RobotIsReadyToPick | | 17.48.58.318 |  | +| PickUpObject | | 17.48.58.854 |  | +| | object attached | 17.48.58.861 | -DONE.svg) | +| RobotIsNotReadyToDropToken | | 17.48.59.568 |  | +| Wait | | 17.49.08.199 |  | +| RobotIsNotReadyToDropToken | | 17.49.08.763 |  | +| | robot idle | 17.49.12.098 | -DONE.svg) | +| Wait | | 17.49.17.390 |  | +| RobotIsReadyToDropToken | | 17.49.17.940 |  | +| RobotIsReallyReadyToDrop | | 17.49.18.601 |  | +| RobotIsReadyToDrop | | 17.49.19.185 |  | +| RobotIsNotReadyToDrop | | 17.49.19.787 |  | +| RobotIsReadyToDrop | | 17.49.20.367 |  | +| RobotIsNotReadyToDrop | | 17.49.20.988 |  | +| RobotIsReadyToDrop | | 17.49.21.715 |  | +| RightPlace | | 17.49.22.301 |  | +| DropObjectAtRightPlace | | 17.49.22.924 |  | +| MoveObjectToCorrectPlace | | 17.49.23.638 |  | +| NotEmptyTable | | 17.49.24.549 |  | +| Wait | | 17.49.33.854 |  | +| WaitForEmptyTable | | 17.49.34.525 |  | +| NotEmptyTable | | 17.49.35.242 |  | +| | object gone | 17.49.37.572 | -DONE.svg) | +| Wait | | 17.49.43.910 |  | +| WaitForEmptyTable | | 17.49.44.712 |  | +| EmptyTable | | 17.49.45.507 |  | +| Tidy | | 17.49.46.201 |  | +| | robot busy | 17.49.46.244 | -DONE.svg) | +| | | 17.49.46.867 |  | +| | robot idle | 17.49.56.229 | -DONE.svg) | \ No newline at end of file -- GitLab