Project

General

Profile

Download (1.59 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:10
5
(*
6
Original block name: Assignment1
7
*)
8
node  Assignment1(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(Out1_1 : real;
25
	Out1_2 : real;
26
	Out1_3 : real;
27
	Out1_4 : real;
28
	Out1_5 : real;
29
	Out1_6 : real;
30
	Out1_7 : real;
31
	Out1_8 : real;
32
	Out1_9 : real;
33
	Out1_10 : real;
34
	Out1_11 : real;
35
	Out1_12 : real;);
36
var Assignment_1 : real;
37
	Assignment_2 : real;
38
	Assignment_3 : real;
39
	Assignment_4 : real;
40
	Assignment_5 : real;
41
	Assignment_6 : real;
42
	Assignment_7 : real;
43
	Assignment_8 : real;
44
	Assignment_9 : real;
45
	Assignment_10 : real;
46
	Assignment_11 : real;
47
	Assignment_12 : real;
48
	__time_step : real;
49
	__nb_step : int;
50
let
51
	Assignment_1 = In1_1;
52
	Assignment_2 = In1_2;
53
	Assignment_3 = In1_3;
54
	Assignment_4 = In1_4;
55
	Assignment_5 = In1_5;
56
	Assignment_6 = In1_6;
57
	Assignment_7 = In1_7;
58
	Assignment_8 = In2_1;
59
	Assignment_9 = In2_2;
60
	Assignment_10 = In1_10;
61
	Assignment_11 = In2_3;
62
	Assignment_12 = In2_4;
63
	Out1_1 = Assignment_1;
64
	Out1_2 = Assignment_2;
65
	Out1_3 = Assignment_3;
66
	Out1_4 = Assignment_4;
67
	Out1_5 = Assignment_5;
68
	Out1_6 = Assignment_6;
69
	Out1_7 = Assignment_7;
70
	Out1_8 = Assignment_8;
71
	Out1_9 = Assignment_9;
72
	Out1_10 = Assignment_10;
73
	Out1_11 = Assignment_11;
74
	Out1_12 = Assignment_12;
75
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
76
	__nb_step = (0 -> ((pre __nb_step) + 1));
77
tel
78

    
(61-61/1153)