Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
/*
file generated on : Fri Nov 14 17:29:48 MET 2003
using the compiler : Simulink to Lustre CURRENT VERSION!!!
*/
/**************** The MainNode node of the model ****************/
node MainNode (In3:real)
returns (Out2:real);
var cl1_4_2, cl1_12_3 :bool;
Out2_ :real when cl1_4_2 ;
let
cl1_4_2 = make_cl1_4_2(true) ;
cl1_12_3 = make_cl1_12_3(true) ;
(Out2_) = sample_time_change (cl1_4_2, cl1_12_3, In3 when cl1_12_3);
Out2 = if cl1_4_2 then current Out2_ else 0.0 -> pre Out2 ;
tel
/****************** All the nodes of the Model ******************/
node sample_time_change (cl1_4_2, cl1_12_3:bool; In3:real when cl1_12_3)
returns (Out2:real when cl1_4_2);
var Unit_Delay1:real when cl1_12_3;
Unit_Delay2:real when cl1_4_2;
let
Unit_Delay1 = 0.0 when cl1_12_3 -> pre In3 ;
Unit_Delay2 = 0.0 when cl1_4_2 -> pre Unit_Delay2 ;
Out2 = Unit_Delay2 ;
tel
/**************************** Clocks ****************************/
node make_cl1_4_2(in: bool) returns (out: bool);
var cl1, cl2, cl3, cl4, pha1, pha2 :bool ;
let
cl1 = true -> pre cl2 ;
cl2 = false -> pre cl3 ;
cl3 = false -> pre cl4 ;
cl4 = false -> pre cl1 ;
pha1 = false -> pre cl1 ;
pha2 = false -> pre pha1 ;
out = pha2 ;
tel
node make_cl1_12_3(in: bool) returns (out: bool);
var cl1, cl2, cl3, cl4, cl5, cl6, cl7, cl8, cl9, cl10, cl11, cl12, pha1, pha2, pha3 :bool ;
let
cl1 = true -> pre cl2 ;
cl2 = false -> pre cl3 ;
cl3 = false -> pre cl4 ;
cl4 = false -> pre cl5 ;
cl5 = false -> pre cl6 ;
cl6 = false -> pre cl7 ;
cl7 = false -> pre cl8 ;
cl8 = false -> pre cl9 ;
cl9 = false -> pre cl10 ;
cl10 = false -> pre cl11 ;
cl11 = false -> pre cl12 ;
cl12 = false -> pre cl1 ;
pha1 = false -> pre cl1 ;
pha2 = false -> pre pha1 ;
pha3 = false -> pre pha2 ;
out = pha3 ;
tel