diff --git a/Jars/Jars.mch b/Jars/Jars.mch index cb51b2db96005f10bce3ec70583bdad8c6a4d040..33e8b4b7df3d651fe67a7bdc80e39fb50ffc4825 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