From 6ed93f7413123a19bf1970c573f7bb6d2e8299c5 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Fri, 4 Feb 2022 12:32:44 +0100
Subject: [PATCH] add VISB_JSON_FILE definition
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
Jars/Jars.mch | 10 +---------
1 file changed, 1 insertion(+), 9 deletions(-)
diff --git a/Jars/Jars.mch b/Jars/Jars.mch
index cb51b2d..33e8b4b 100644
--- a/Jars/Jars.mch
+++ b/Jars/Jars.mch
@@ -8,16 +8,8 @@ Input: one 3 gallon and one 5 gallon jug, and we need to measure precisely 4 gal
DEFINITIONS
GOAL == (4:ran(level));
gmax == max(ran(maxf));
- ANIMATION_FUNCTION_DEFAULT == {r,c,i | c:Jars & r:1..gmax & i=3};
ri == (gmax+1-r);
- ANIMATION_FUNCTION == {r,c,i | c:Jars & ri:1..maxf(c) &
- (ri<=level(c) => i=1 ) & (ri>level(c) => i=2)};
- ANIMATION_RIGHT_CLICK(J,Fill) ==
- ANY J2,Amount WHERE J2:Jars & Amount:1..gmax THEN
- CHOICE EmptyJar({1|->j3,2|->j5}(J)) OR FillJar({1|->j3,2|->j5}(J)) OR
- Transfer(J2,Amount,{1|->j3,2|->j5}(J))
- END
- END;
+ VISB_JSON_FILE == "jars.json";
SETS
Jars = {j3,j5}
CONSTANTS maxf
--
GitLab