Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / selector_port_matrix_3_PP.LUSTREC.lus @ cd1faebc

History | View | Annotate | Download (1.9 KB)

1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 23:02:36
5
#open <conv>
6
(*
7
Original block name: selector_port_matrix_3_PP
8
*)
9
node  selector_port_matrix_3_PP(In6_1 : real;
10
	In6_2 : real;
11
	In6_3 : real;)
12
returns(Out6_1 : real;
13
	Out6_2 : real;);
14
var Constant5_1 : real;
15
	Constant5_2 : real;
16
	Selector5_19_144_U_index_1 : int;
17
	Selector5_19_144_U_index_2 : int;
18
	Selector5_19_144_ind_dim_1_1 : int;
19
	Selector5_19_144_ind_dim_2_1 : int;
20
	Selector5_19_144_ind_dim_2_2 : int;
21
	Selector5_19_144_str_Y_index_1_1 : int;
22
	Selector5_19_144_str_Y_index_1_2 : int;
23
	Selector5_19_144_str_Y_index_2_1 : int;
24
	Selector5_19_144_str_Y_index_2_2 : int;
25
	Selector5_1 : real;
26
	Selector5_2 : real;
27
	__time_step : real;
28
	__nb_step : int;
29
let
30
	Constant5_1 = 1.000000000000000;
31
	Constant5_2 = 2.000000000000000;
32
	Selector5_19_144_ind_dim_1_1 = 1;
33
	Selector5_19_144_ind_dim_2_1 = real_to_int(Constant5_1);
34
	Selector5_19_144_ind_dim_2_2 = real_to_int(Constant5_2);
35
	Selector5_19_144_str_Y_index_1_1 = Selector5_19_144_ind_dim_1_1;
36
	Selector5_19_144_str_Y_index_1_2 = Selector5_19_144_ind_dim_2_1;
37
	Selector5_19_144_U_index_1 = ( (Selector5_19_144_str_Y_index_1_1 * 1) + ((Selector5_19_144_str_Y_index_1_2 - 1) * 1) );
38
	Selector5_19_144_str_Y_index_2_1 = Selector5_19_144_ind_dim_1_1;
39
	Selector5_19_144_str_Y_index_2_2 = Selector5_19_144_ind_dim_2_2;
40
	Selector5_19_144_U_index_2 = ( (Selector5_19_144_str_Y_index_2_1 * 1) + ((Selector5_19_144_str_Y_index_2_2 - 1) * 1) );
41
	Selector5_1 = if (Selector5_19_144_U_index_1 = 3) then
42
		In6_3
43
	    else if (Selector5_19_144_U_index_1 = 2) then
44
		In6_2
45
	    else In6_1;
46
	Selector5_2 = if (Selector5_19_144_U_index_2 = 3) then
47
		In6_3
48
	    else if (Selector5_19_144_U_index_2 = 2) then
49
		In6_2
50
	    else In6_1;
51
	Out6_1 = Selector5_1;
52
	Out6_2 = Selector5_2;
53
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
54
	__nb_step = (0 -> ((pre __nb_step) + 1));
55
tel