From a94c594b9c84a871cff99d051b13b34e05a35262 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Mon, 3 Dec 2018 10:30:05 +0100
Subject: [PATCH] maj puzzle arduino
---
arduino/led_puzzle/led.lus | 28 ++++++++++++++--------------
1 file changed, 14 insertions(+), 14 deletions(-)
diff --git a/arduino/led_puzzle/led.lus b/arduino/led_puzzle/led.lus
index 9b3f4460..eea27d21 100644
--- a/arduino/led_puzzle/led.lus
+++ b/arduino/led_puzzle/led.lus
@@ -49,11 +49,11 @@ let
tel
-const led1_0 = Eteint;
-const led2_0 = Allume;
-const led3_0 = Eteint;
-const led4_0 = Allume;
-const led5_0 = Eteint;
+const led1_000 = Eteint;
+const led2_000 = Allume;
+const led3_000 = Eteint;
+const led4_000 = Allume;
+const led5_000 = Eteint;
----------------------------------------------------------------------------
-- blue => permutation circulaire
-- red => inverse une led qui circule a chaque pression de boutons
@@ -72,15 +72,15 @@ let
)
else (pre X1, pre X2, pre X3, pre X4, pre X5);
- led1 = led1_0 -> if blue then pre(led5) else
+ led1 = led1_000 -> if blue then pre(led5) else
if red and X1 then not(pre(led1)) else pre(led1);
- led2 = led2_0 -> if blue then pre(led1) else
+ led2 = led2_000 -> if blue then pre(led1) else
if red and X2 then not(pre(led2)) else pre(led2);
- led3 = led3_0 -> if blue then pre(led2) else
+ led3 = led3_000 -> if blue then pre(led2) else
if red and X3 then not(pre(led3)) else pre(led3);
- led4 = led4_0 -> if blue then pre(led3) else
+ led4 = led4_000 -> if blue then pre(led3) else
if red and X4 then not(pre(led4)) else pre(led4);
- led5 = led5_0 -> if blue then pre(led4) else
+ led5 = led5_000 -> if blue then pre(led4) else
if red and X5 then not(pre(led5)) else pre(led5);
tel
@@ -130,11 +130,11 @@ tel
-- red => la led courante devient le and des leds autours
-- la led courante est le premiere au debut, puis la deuxieme, etc.
-const led1_p5 = F;
+const led1_p5 = T;
const led2_p5 = F;
-const led3_p5 = F;
-const led4_p5 = T;
-const led5_p5 = F;
+const led3_p5 = T;
+const led4_p5 = F;
+const led5_p5 = T;
node puzzle5(red,blue:bool)
--
GitLab