Project

General

Profile

Download (1.62 KB) Statistics
| Branch: | Tag: | Revision:
1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:17:41
5
(*
6
Original block name: Assignment4
7
*)
8
node  Assignment4(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
	In2_4 : real;)
24
returns(Out6_1 : real;
25
	Out6_2 : real;
26
	Out6_3 : real;
27
	Out6_4 : real;
28
	Out6_5 : real;
29
	Out6_6 : real;
30
	Out6_7 : real;
31
	Out6_8 : real;
32
	Out6_9 : real;
33
	Out6_10 : real;
34
	Out6_11 : real;
35
	Out6_12 : real;);
36
var Assignment5_1 : real;
37
	Assignment5_2 : real;
38
	Assignment5_3 : real;
39
	Assignment5_4 : real;
40
	Assignment5_5 : real;
41
	Assignment5_6 : real;
42
	Assignment5_7 : real;
43
	Assignment5_8 : real;
44
	Assignment5_9 : real;
45
	Assignment5_10 : real;
46
	Assignment5_11 : real;
47
	Assignment5_12 : real;
48
	__time_step : real;
49
	__nb_step : int;
50
let
51
	Assignment5_1 = In1_1;
52
	Assignment5_2 = In1_2;
53
	Assignment5_3 = In2_1;
54
	Assignment5_4 = In2_2;
55
	Assignment5_5 = In2_3;
56
	Assignment5_6 = In2_4;
57
	Assignment5_7 = In1_7;
58
	Assignment5_8 = In1_8;
59
	Assignment5_9 = In1_9;
60
	Assignment5_10 = In1_10;
61
	Assignment5_11 = In1_11;
62
	Assignment5_12 = In1_12;
63
	Out6_1 = Assignment5_1;
64
	Out6_2 = Assignment5_2;
65
	Out6_3 = Assignment5_3;
66
	Out6_4 = Assignment5_4;
67
	Out6_5 = Assignment5_5;
68
	Out6_6 = Assignment5_6;
69
	Out6_7 = Assignment5_7;
70
	Out6_8 = Assignment5_8;
71
	Out6_9 = Assignment5_9;
72
	Out6_10 = Assignment5_10;
73
	Out6_11 = Assignment5_11;
74
	Out6_12 = Assignment5_12;
75
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
76
	__nb_step = (0 -> ((pre __nb_step) + 1));
77
tel
78

    
(79-79/1153)