Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_mux_test / mux_test.lus @ 6c3ea955

History | View | Annotate | Download (1.16 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node mux_test (In1_1_1 : real; In2_1_1 : real; In3_1_1 : real; In4_1_1 : real; In4_1_2 : real; In4_1_3 : real; In5_1_1 : real; In5_1_2 : real; In6_1_1 : real; In6_1_2 : real; In6_1_3 : real)
6
returns (Out1_1_1 : real; Out1_1_2 : real;
7
	Out2_2_1 : real; Out2_2_2 : real; Out2_2_3 : real; Out2_2_4 : real;
8
	Out3_3_1 : real; Out3_3_2 : real; Out3_3_3 : real; Out3_3_4 : real; Out3_3_5 : real); 
9
var
10
	Mux_1_1 : real; Mux_1_2 : real;
11
	Mux1_1_1 : real; Mux1_1_2 : real; Mux1_1_3 : real; Mux1_1_4 : real;
12
	Mux2_1_1 : real; Mux2_1_2 : real; Mux2_1_3 : real; Mux2_1_4 : real; Mux2_1_5 : real;
13
	i_virtual_local : real;
14
let 
15
	Mux_1_1 = In1_1_1 ;
16
	Mux_1_2 = In2_1_1 ;
17
	Mux1_1_1 = In3_1_1 ;
18
	Mux1_1_2 = In4_1_1 ;
19
	Mux1_1_3 = In4_1_2 ;
20
	Mux1_1_4 = In4_1_3 ;
21
	Mux2_1_1 = In5_1_1 ;
22
	Mux2_1_2 = In5_1_2 ;
23
	Mux2_1_3 = In6_1_1 ;
24
	Mux2_1_4 = In6_1_2 ;
25
	Mux2_1_5 = In6_1_3 ;
26
	Out1_1_1 = Mux_1_1;
27
	Out1_1_2 = Mux_1_2;
28
	Out2_2_1 = Mux1_1_1;
29
	Out2_2_2 = Mux1_1_2;
30
	Out2_2_3 = Mux1_1_3;
31
	Out2_2_4 = Mux1_1_4;
32
	Out3_3_1 = Mux2_1_1;
33
	Out3_3_2 = Mux2_1_2;
34
	Out3_3_3 = Mux2_1_3;
35
	Out3_3_4 = Mux2_1_4;
36
	Out3_3_5 = Mux2_1_5;
37
	i_virtual_local= 0.0 -> 1.0;
38
tel
39