Project

General

Profile

Download (2.3 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:33:30
5
#open <conv>
6
(*
7
Original block name: DotProduct_PP/DotProduct
8
*)
9
node  DotProduct_51_097(In1_1 : real;
10
	In1_2 : real;
11
	In1_3 : real;
12
	In2_1 : real;
13
	In2_2 : real;
14
	In2_3 : real;
15
	__time_step : real;
16
	__nb_step : int;)
17
returns(Out1_1 : real;);
18
var Product_1 : real;
19
	Product_2 : real;
20
	Product_3 : real;
21
	Sum_1 : real;
22
let
23
	Product_1 = 1.0 * In1_1 * In2_1;
24
	Product_2 = 1.0 * In1_2 * In2_2;
25
	Product_3 = 1.0 * In1_3 * In2_3;
26
	Sum_1 = 0.0 + Product_1 + Product_2 + Product_3;
27
	Out1_1 = Sum_1;
28
tel
29

    
30
(*
31
Original block name: DotProduct_PP/DotProduct1
32
*)
33
node  DotProduct1_52_087(In1_1 : int;
34
	In1_2 : int;
35
	In1_3 : int;
36
	In2_1 : int;
37
	__time_step : real;
38
	__nb_step : int;)
39
returns(Out1_1 : real;);
40
var Product_1 : real;
41
	Product_2 : real;
42
	Product_3 : real;
43
	Sum_1 : real;
44
let
45
	Product_1 = 1.0 * int_to_real(In1_1) * int_to_real(In2_1);
46
	Product_2 = 1.0 * int_to_real(In1_2) * int_to_real(In2_1);
47
	Product_3 = 1.0 * int_to_real(In1_3) * int_to_real(In2_1);
48
	Sum_1 = 0.0 + Product_1 + Product_2 + Product_3;
49
	Out1_1 = Sum_1;
50
tel
51

    
52
(*
53
Original block name: DotProduct_PP
54
*)
55
node  DotProduct_PP(x_1 : int;
56
	x_2 : int;
57
	x_3 : int;
58
	y_1 : int;)
59
returns(Out1_1 : real;
60
	Out5_1 : real;);
61
var Constant2_1 : real;
62
	Constant2_2 : real;
63
	Constant2_3 : real;
64
	Constant5_1 : real;
65
	Constant5_2 : real;
66
	Constant5_3 : real;
67
	DotProduct_1 : real;
68
	DotProduct1_1 : real;
69
	Product_1 : real;
70
	Product_2 : real;
71
	Product_3 : real;
72
	Sum_1 : real;
73
	__time_step : real;
74
	__nb_step : int;
75
let
76
	Constant2_1 = 1.000000000000000;
77
	Constant2_2 = 2.000000000000000;
78
	Constant2_3 = 3.000000000000000;
79
	Constant5_1 = 10.000000000000000;
80
	Constant5_2 = 20.000000000000000;
81
	Constant5_3 = 30.000000000000000;
82
	DotProduct_1 = DotProduct_51_097(Constant5_1, Constant5_2, Constant5_3, Constant2_1, Constant2_2, Constant2_3, __time_step, __nb_step);
83
	DotProduct1_1 = DotProduct1_52_087(x_1, x_2, x_3, y_1, __time_step, __nb_step);
84
	Product_1 = 1.0 * Constant5_1 * Constant2_1;
85
	Product_2 = 1.0 * Constant5_2 * Constant2_2;
86
	Product_3 = 1.0 * Constant5_3 * Constant2_3;
87
	Sum_1 = 0.0 + Product_1 + Product_2 + Product_3;
88
	Out1_1 = DotProduct1_1;
89
	Out5_1 = DotProduct_1;
90
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
91
	__nb_step = (0 -> ((pre __nb_step) + 1));
92
tel
93

    
(553-553/1153)