diff --git a/arduino/led_puzzle/led.lus b/arduino/led_puzzle/led.lus index 9b3f44600ac09e23140d5f0f3d019d96f6a7aeb4..eea27d219744297476461e7dd5d6f1006910c1a3 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)