Project

General

Profile

Download (3.01 KB) Statistics
| Branch: | Tag: | Revision:
1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:41:23
5
(*
6
Original block name: InportShadow_PP/cross/Subsystem1
7
*)
8
node  Subsystem1_95_060(A1_1 : real;
9
	A1_2 : real;
10
	A1_3 : real;
11
	B1_1 : real;
12
	B1_2 : real;
13
	B1_3 : real;
14
	__time_step : real;
15
	__nb_step : int;)
16
returns(Out1_1 : real;
17
	Out1_2 : real;
18
	Out1_3 : real;);
19
var Demux_1 : real;
20
	Demux_2 : real;
21
	Demux_3 : real;
22
	Demux1_1 : real;
23
	Demux1_2 : real;
24
	Demux1_3 : real;
25
	Mux_1 : real;
26
	Mux_2 : real;
27
	Mux_3 : real;
28
	ixj_1 : real;
29
	jxk_1 : real;
30
	kxi_1 : real;
31
let
32
	Demux_1 = A1_1;
33
	Demux_2 = A1_2;
34
	Demux_3 = A1_3;
35
	Demux1_1 = B1_1;
36
	Demux1_2 = B1_2;
37
	Demux1_3 = B1_3;
38
	Mux_1 = jxk_1;
39
	Mux_2 = kxi_1;
40
	Mux_3 = ixj_1;
41
	ixj_1 = 1.0 * Demux_1 * Demux1_2;
42
	jxk_1 = 1.0 * Demux_2 * Demux1_3;
43
	kxi_1 = 1.0 * Demux_3 * Demux1_1;
44
	Out1_1 = Mux_1;
45
	Out1_2 = Mux_2;
46
	Out1_3 = Mux_3;
47
tel
48

    
49
(*
50
Original block name: InportShadow_PP/cross/Subsystem2
51
*)
52
node  Subsystem2_119_486(A1_1 : real;
53
	A1_2 : real;
54
	A1_3 : real;
55
	B1_1 : real;
56
	B1_2 : real;
57
	B1_3 : real;
58
	__time_step : real;
59
	__nb_step : int;)
60
returns(Out1_1 : real;
61
	Out1_2 : real;
62
	Out1_3 : real;);
63
var Demux_1 : real;
64
	Demux_2 : real;
65
	Demux_3 : real;
66
	Demux1_1 : real;
67
	Demux1_2 : real;
68
	Demux1_3 : real;
69
	Mux_1 : real;
70
	Mux_2 : real;
71
	Mux_3 : real;
72
	ixj_1 : real;
73
	jxk_1 : real;
74
	kxi_1 : real;
75
let
76
	Demux_1 = A1_1;
77
	Demux_2 = A1_2;
78
	Demux_3 = A1_3;
79
	Demux1_1 = B1_1;
80
	Demux1_2 = B1_2;
81
	Demux1_3 = B1_3;
82
	Mux_1 = jxk_1;
83
	Mux_2 = kxi_1;
84
	Mux_3 = ixj_1;
85
	ixj_1 = 1.0 * Demux_1 * Demux1_2;
86
	jxk_1 = 1.0 * Demux_2 * Demux1_3;
87
	kxi_1 = 1.0 * Demux_3 * Demux1_1;
88
	Out1_1 = Mux_1;
89
	Out1_2 = Mux_2;
90
	Out1_3 = Mux_3;
91
tel
92

    
93
(*
94
Original block name: InportShadow_PP/cross
95
*)
96
node  cross_90_490(A_1 : real;
97
	A_2 : real;
98
	A_3 : real;
99
	B_1 : real;
100
	B_2 : real;
101
	B_3 : real;
102
	__time_step : real;
103
	__nb_step : int;)
104
returns(C_1 : real;
105
	C_2 : real;
106
	C_3 : real;);
107
var Subsystem1_1 : real;
108
	Subsystem1_2 : real;
109
	Subsystem1_3 : real;
110
	Subsystem2_1 : real;
111
	Subsystem2_2 : real;
112
	Subsystem2_3 : real;
113
	Sum_1 : real;
114
	Sum_2 : real;
115
	Sum_3 : real;
116
let
117
	(Subsystem1_1, Subsystem1_2, Subsystem1_3) = Subsystem1_95_060(A_1, A_2, A_3, B_1, B_2, B_3, __time_step, __nb_step);
118
	(Subsystem2_1, Subsystem2_2, Subsystem2_3) = Subsystem2_119_486(A_1, A_2, A_3, B_1, B_2, B_3, __time_step, __nb_step);
119
	Sum_1 = 0.0 + Subsystem2_1 - Subsystem1_1;
120
	Sum_2 = 0.0 + Subsystem2_2 - Subsystem1_2;
121
	Sum_3 = 0.0 + Subsystem2_3 - Subsystem1_3;
122
	C_1 = Sum_1;
123
	C_2 = Sum_2;
124
	C_3 = Sum_3;
125
tel
126

    
127
(*
128
Original block name: InportShadow_PP
129
*)
130
node  InportShadow_PP(A_1 : real;
131
	A_2 : real;
132
	A_3 : real;
133
	B_1 : real;
134
	B_2 : real;
135
	B_3 : real;)
136
returns(Out1_1 : real;
137
	Out1_2 : real;
138
	Out1_3 : real;);
139
var cross_1 : real;
140
	cross_2 : real;
141
	cross_3 : real;
142
	__time_step : real;
143
	__nb_step : int;
144
let
145
	(cross_1, cross_2, cross_3) = cross_90_490(A_1, A_2, A_3, B_1, B_2, B_3, __time_step, __nb_step);
146
	Out1_1 = cross_1;
147
	Out1_2 = cross_2;
148
	Out1_3 = cross_3;
149
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
150
	__nb_step = (0 -> ((pre __nb_step) + 1));
151
tel
152

    
(799-799/1153)