From: Mart Lubbers <mart@martlubbers.net>
Date: Sun, 13 Mar 2016 09:22:07 +0000 (+0100)
Subject: annotations added in the code
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;ds=sidebyside;h=feace407c0e94ba940f7e1ffb5706d78ddb71760;p=mc1516pa.git

annotations added in the code
---

diff --git a/code/SokobanObjectwise.icl b/code/SokobanObjectwise.icl
index 6c65c6d..4b9542d 100644
--- 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);",