Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_sum_collapse_bool_test / sum_collapse_bool_test.lus @ 8451150a

History | View | Annotate | Download (2 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node sum_collapse_bool_test (In17_1_1 : int; In18_1_1 : int; In19_1_1 : int; In19_1_2 : int; In19_1_3 : int; In20_1_1 : int; In20_1_2 : int; In20_1_3 : int; In21_1_1 : int; In21_1_2 : int; In21_1_3 : int; In21_1_4 : int; In21_1_5 : int; In21_1_6 : int; In22_1_1 : int; In22_1_2 : int; In22_1_3 : int; In22_1_4 : int; In22_1_5 : int; In22_1_6 : int; In23_1_1 : int; In23_1_2 : int; In23_1_3 : int; In23_1_4 : int; In23_1_5 : int; In23_1_6 : int; In24_1_1 : int; In24_1_2 : int; In24_1_3 : int; In24_1_4 : int; In24_1_5 : int; In24_1_6 : int)
6
returns (Out17_1_1 : int;
7
	Out18_2_1 : int;
8
	Out19_3_1 : int;
9
	Out20_4_1 : int;
10
	Out21_5_1 : int; Out21_5_2 : int; Out21_5_3 : int;
11
	Out22_6_1 : int; Out22_6_2 : int; Out22_6_3 : int;
12
	Out23_7_1 : int; Out23_7_2 : int;
13
	Out24_8_1 : int; Out24_8_2 : int); 
14
var
15
	Sum14_1_1 : int; Sum14_1_2 : int; Sum14_1_3 : int;
16
	Sum15_1_1 : int; Sum15_1_2 : int; Sum15_1_3 : int;
17
	Sum16_1_1 : int;
18
	Sum17_1_1 : int;
19
	Sum20_1_1 : int;
20
	Sum21_1_1 : int;
21
	Sum22_1_1 : int; Sum22_1_2 : int;
22
	Sum23_1_1 : int; Sum23_1_2 : int;
23
	i_virtual_local : real;
24
let 
25
	Sum14_1_1 = In21_1_1 + In21_1_4;
26
	Sum14_1_2 = In21_1_2 + In21_1_5;
27
	Sum14_1_3 = In21_1_3 + In21_1_6;
28
	Sum15_1_1 =  - In22_1_1 - In22_1_4;
29
	Sum15_1_2 =  - In22_1_2 - In22_1_5;
30
	Sum15_1_3 =  - In22_1_3 - In22_1_6;
31
	Sum16_1_1 = In17_1_1;
32
	Sum17_1_1 =  - In18_1_1;
33
	Sum20_1_1 = In19_1_1 + In19_1_2 + In19_1_3;
34
	Sum21_1_1 =  - In20_1_1 - In20_1_2 - In20_1_3;
35
	Sum22_1_1 = In23_1_1 + In23_1_2 + In23_1_3;
36
	Sum22_1_2 = In23_1_4 + In23_1_5 + In23_1_6;
37
	Sum23_1_1 =  - In24_1_1 - In24_1_2 - In24_1_3;
38
	Sum23_1_2 =  - In24_1_4 - In24_1_5 - In24_1_6;
39
	Out17_1_1 = Sum16_1_1;
40
	Out18_2_1 = Sum17_1_1;
41
	Out19_3_1 = Sum20_1_1;
42
	Out20_4_1 = Sum21_1_1;
43
	Out21_5_1 = Sum14_1_1;
44
	Out21_5_2 = Sum14_1_2;
45
	Out21_5_3 = Sum14_1_3;
46
	Out22_6_1 = Sum15_1_1;
47
	Out22_6_2 = Sum15_1_2;
48
	Out22_6_3 = Sum15_1_3;
49
	Out23_7_1 = Sum22_1_1;
50
	Out23_7_2 = Sum22_1_2;
51
	Out24_8_1 = Sum23_1_1;
52
	Out24_8_2 = Sum23_1_2;
53
	i_virtual_local= 0.0 -> 1.0;
54
tel
55