lustrec-tests/regression_tests/lustre_files/success/clocks/clocks8.lus @ b03d5034
1 |
|
---|---|
2 |
type choice = enum { On, Off }; |
3 |
|
4 |
node clocks8 (x:int) returns (e:int) |
5 |
var c:choice clock; a,b1,b2,d : int; |
6 |
let
|
7 |
a = 2*x; |
8 |
b1 = a + 1 when On(c); |
9 |
b2 = a - 1 when Off(c); |
10 |
c = if 0=x then Off else On; |
11 |
d = merge c (On -> b1) (Off -> b2); |
12 |
e = d/2; |
13 |
tel
|
14 |
|