Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_merge_test / merge_test.lus @ 6c3ea955

History | View | Annotate | Download (2.19 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node merge_test (i_virtual : real)
6
returns (Out1_1_1 : real; Out1_1_2 : real; Out1_1_3 : real; Out1_1_4 : real; Out1_1_5 : real; Out1_1_6 : real); 
7
var
8
	Constant_1_1 : real; Constant_1_2 : real; Constant_1_3 : real; Constant_1_4 : real; Constant_1_5 : real; Constant_1_6 : real;
9
	Constant1_1_1 : real; Constant1_1_2 : real; Constant1_1_3 : real; Constant1_1_4 : real; Constant1_1_5 : real; Constant1_1_6 : real;
10
	Constant2_1_1 : real; Constant2_1_2 : real; Constant2_1_3 : real; Constant2_1_4 : real; Constant2_1_5 : real; Constant2_1_6 : real;
11
	Merge_1_1 : real; Merge_1_2 : real; Merge_1_3 : real; Merge_1_4 : real; Merge_1_5 : real; Merge_1_6 : real;
12
	i_virtual_local : real;
13
	Merge_8_0233_input1_hasChanged: bool;
14
	Merge_8_0233_input0_hasChanged: bool;
15
	Merge_8_0233_input2_hasChanged: bool;
16
let 
17
	Constant_1_1 = 1.00000000;
18
	Constant_1_2 = 2.00000000;
19
	Constant_1_3 = 3.00000000;
20
	Constant_1_4 = 4.00000000;
21
	Constant_1_5 = 5.00000000;
22
	Constant_1_6 = 6.00000000;
23
	Merge_8_0233_input1_hasChanged = true;
24
	Constant1_1_1 = 1.00000000;
25
	Constant1_1_2 = 2.00000000;
26
	Constant1_1_3 = 3.00000000;
27
	Constant1_1_4 = 4.00000000;
28
	Constant1_1_5 = 5.00000000;
29
	Constant1_1_6 = 6.00000000;
30
	Merge_8_0233_input0_hasChanged = true;
31
	Constant2_1_1 = 1.00000000;
32
	Constant2_1_2 = 2.00000000;
33
	Constant2_1_3 = 3.00000000;
34
	Constant2_1_4 = 4.00000000;
35
	Constant2_1_5 = 5.00000000;
36
	Constant2_1_6 = 6.00000000;
37
	Merge_8_0233_input2_hasChanged = true;
38
	(Merge_1_1, Merge_1_2, Merge_1_3, Merge_1_4, Merge_1_5, Merge_1_6) = 	if  Merge_8_0233_input0_hasChanged then (Constant1_1_1, Constant1_1_2, Constant1_1_3, Constant1_1_4, Constant1_1_5, Constant1_1_6) else
39
	if  Merge_8_0233_input1_hasChanged then (Constant_1_1, Constant_1_2, Constant_1_3, Constant_1_4, Constant_1_5, Constant_1_6) else
40
	if  Merge_8_0233_input2_hasChanged then (Constant2_1_1, Constant2_1_2, Constant2_1_3, Constant2_1_4, Constant2_1_5, Constant2_1_6) else
41
 	(pre Merge_1_1, pre Merge_1_2, pre Merge_1_3, pre Merge_1_4, pre Merge_1_5, pre Merge_1_6);
42
	Out1_1_1 = Merge_1_1;
43
	Out1_1_2 = Merge_1_2;
44
	Out1_1_3 = Merge_1_3;
45
	Out1_1_4 = Merge_1_4;
46
	Out1_1_5 = Merge_1_5;
47
	Out1_1_6 = Merge_1_6;
48
	i_virtual_local= 0.0 -> 1.0;
49
tel
50