Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (1.04 KB)

1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:52:00
5
(*
6
Original block name: Product1
7
*)
8
node  Product1(In1_1 : real;
9
	In1_2 : real;
10
	In1_3 : real;
11
	In1_4 : real;
12
	In1_5 : real;
13
	In1_6 : real;
14
	In2_1 : real;
15
	In2_2 : real;
16
	In2_3 : real;
17
	In2_4 : real;
18
	In2_5 : real;
19
	In2_6 : real;)
20
returns(Out_1 : real;
21
	Out_2 : real;
22
	Out_3 : real;
23
	Out_4 : real;
24
	Out_5 : real;
25
	Out_6 : real;);
26
var Product2_1 : real;
27
	Product2_2 : real;
28
	Product2_3 : real;
29
	Product2_4 : real;
30
	Product2_5 : real;
31
	Product2_6 : real;
32
	__time_step : real;
33
	__nb_step : int;
34
let
35
	Product2_1 = 1.0 * In1_1 * In2_1;
36
	Product2_2 = 1.0 * In1_2 * In2_2;
37
	Product2_3 = 1.0 * In1_3 * In2_3;
38
	Product2_4 = 1.0 * In1_4 * In2_4;
39
	Product2_5 = 1.0 * In1_5 * In2_5;
40
	Product2_6 = 1.0 * In1_6 * In2_6;
41
	Out_1 = Product2_1;
42
	Out_2 = Product2_2;
43
	Out_3 = Product2_3;
44
	Out_4 = Product2_4;
45
	Out_5 = Product2_5;
46
	Out_6 = Product2_6;
47
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
48
	__nb_step = (0 -> ((pre __nb_step) + 1));
49
tel
50