Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (560 Bytes)

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

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 23:05:31
5
(*
6
Original block name: Sum2_PP
7
*)
8
node  Sum2_PP(In1_1 : real;
9
	In1_2 : real;
10
	In1_3 : real;)
11
returns(Out2_1 : real;
12
	Out3_1 : real;);
13
var Add1_1 : real;
14
	Add2_1 : real;
15
	__time_step : real;
16
	__nb_step : int;
17
let
18
	Add1_1 = 0.0 + In1_1 + In1_2 + In1_3;
19
	Add2_1 = 0.0 - In1_1 - In1_2 - In1_3;
20
	Out2_1 = Add1_1;
21
	Out3_1 = Add2_1;
22
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
23
	__nb_step = (0 -> ((pre __nb_step) + 1));
24
tel
25