Project

General

Profile

Download (1.58 KB) Statistics
| Branch: | Tag: | Revision:
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:52
5
(*
6
Original block name: Assignment5
7
*)
8
node  Assignment5(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
returns(Out4_1 : real;
22
	Out4_2 : real;
23
	Out4_3 : real;
24
	Out4_4 : real;
25
	Out4_5 : real;
26
	Out4_6 : real;
27
	Out4_7 : real;
28
	Out4_8 : real;
29
	Out4_9 : real;
30
	Out4_10 : real;
31
	Out4_11 : real;
32
	Out4_12 : real;);
33
var Assignment3_1 : real;
34
	Assignment3_2 : real;
35
	Assignment3_3 : real;
36
	Assignment3_4 : real;
37
	Assignment3_5 : real;
38
	Assignment3_6 : real;
39
	Assignment3_7 : real;
40
	Assignment3_8 : real;
41
	Assignment3_9 : real;
42
	Assignment3_10 : real;
43
	Assignment3_11 : real;
44
	Assignment3_12 : real;
45
	__time_step : real;
46
	__nb_step : int;
47
let
48
	Assignment3_1 = In1_1;
49
	Assignment3_2 = In1_2;
50
	Assignment3_3 = In1_3;
51
	Assignment3_4 = In1_4;
52
	Assignment3_5 = In1_5;
53
	Assignment3_6 = In1_6;
54
	Assignment3_7 = In1_7;
55
	Assignment3_8 = In1_8;
56
	Assignment3_9 = In1_9;
57
	Assignment3_10 = In1_10;
58
	Assignment3_11 = In1_11;
59
	Assignment3_12 = In2_1;
60
	Out4_1 = Assignment3_1;
61
	Out4_2 = Assignment3_2;
62
	Out4_3 = Assignment3_3;
63
	Out4_4 = Assignment3_4;
64
	Out4_5 = Assignment3_5;
65
	Out4_6 = Assignment3_6;
66
	Out4_7 = Assignment3_7;
67
	Out4_8 = Assignment3_8;
68
	Out4_9 = Assignment3_9;
69
	Out4_10 = Assignment3_10;
70
	Out4_11 = Assignment3_11;
71
	Out4_12 = Assignment3_12;
72
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
73
	__nb_step = (0 -> ((pre __nb_step) + 1));
74
tel