annotations added in the code

diff --git a/code/SokobanObjectwise.icl b/code/SokobanObjectwise.icl
index 6c65c6d..4b9542d 100644 (file)
--- a/code/SokobanObjectwise.icl
+++ b/code/SokobanObjectwise.icl
@@ -41,11 +41,12 @@ encode p = join "\n" [
        "--Agent not on the box",
        "INVAR " <+ encodeAgentNotOnBox boxnums <+ ";",
        "--Box not on box",
-       encodeBoxOnBoxes (indexList boxes),
+       encodeBoxOnBoxes boxnums,
        "--Goal state",
        "INVAR " <+ encodeGoalState boxnums targetPos <+ ";",
-       "",
+       "--Agent movement",
        encodeObMovement "agent",
+       "--Box movement",
        encodeBoxMovement boxnums,
        "CTLSPEC ! EF (movement = finished);",