Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (687 Bytes)

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

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:56:01
5
(*
6
Original block name: product_matrix_test_6_PP
7
*)
8
node  product_matrix_test_6_PP(In4_1 : real;
9
	In4_2 : real;
10
	In4_3 : real;
11
	In4_4 : real;
12
	In5_1 : real;
13
	In5_2 : real;)
14
returns(Out4_1 : real;
15
	Out4_2 : real;);
16
var Product3_1 : real;
17
	Product3_2 : real;
18
	__time_step : real;
19
	__nb_step : int;
20
let
21
	Product3_1 = 0.0 + (In4_1 * In5_1) + (In4_3 * In5_2);
22
	Product3_2 = 0.0 + (In4_2 * In5_1) + (In4_4 * In5_2);
23
	Out4_1 = Product3_1;
24
	Out4_2 = Product3_2;
25
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
26
	__nb_step = (0 -> ((pre __nb_step) + 1));
27
tel
28