Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (1.61 KB)

1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:17:30
5
(*
6
Original block name: Assignment3
7
*)
8
node  Assignment3(In1_1 : real;
9
	In1_2 : real;
10
	In1_3 : real;
11
	In1_4 : real;
12
	In1_5 : real;
13
	In1_6 : real;
14
	In1_7 : real;
15
	In1_8 : real;
16
	In1_9 : real;
17
	In1_10 : real;
18
	In1_11 : real;
19
	In1_12 : real;
20
	In2_1 : real;
21
	In2_2 : real;
22
	In2_3 : real;)
23
returns(Out7_1 : real;
24
	Out7_2 : real;
25
	Out7_3 : real;
26
	Out7_4 : real;
27
	Out7_5 : real;
28
	Out7_6 : real;
29
	Out7_7 : real;
30
	Out7_8 : real;
31
	Out7_9 : real;
32
	Out7_10 : real;
33
	Out7_11 : real;
34
	Out7_12 : real;);
35
var Assignment6_1 : real;
36
	Assignment6_2 : real;
37
	Assignment6_3 : real;
38
	Assignment6_4 : real;
39
	Assignment6_5 : real;
40
	Assignment6_6 : real;
41
	Assignment6_7 : real;
42
	Assignment6_8 : real;
43
	Assignment6_9 : real;
44
	Assignment6_10 : real;
45
	Assignment6_11 : real;
46
	Assignment6_12 : real;
47
	__time_step : real;
48
	__nb_step : int;
49
let
50
	Assignment6_1 = In2_1;
51
	Assignment6_2 = In1_2;
52
	Assignment6_3 = In2_2;
53
	Assignment6_4 = In2_3;
54
	Assignment6_5 = In1_5;
55
	Assignment6_6 = In1_6;
56
	Assignment6_7 = In1_7;
57
	Assignment6_8 = In1_8;
58
	Assignment6_9 = In1_9;
59
	Assignment6_10 = In1_10;
60
	Assignment6_11 = In1_11;
61
	Assignment6_12 = In1_12;
62
	Out7_1 = Assignment6_1;
63
	Out7_2 = Assignment6_2;
64
	Out7_3 = Assignment6_3;
65
	Out7_4 = Assignment6_4;
66
	Out7_5 = Assignment6_5;
67
	Out7_6 = Assignment6_6;
68
	Out7_7 = Assignment6_7;
69
	Out7_8 = Assignment6_8;
70
	Out7_9 = Assignment6_9;
71
	Out7_10 = Assignment6_10;
72
	Out7_11 = Assignment6_11;
73
	Out7_12 = Assignment6_12;
74
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
75
	__nb_step = (0 -> ((pre __nb_step) + 1));
76
tel