Project

General

Profile

Download (675 Bytes) 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:40:15
5
(*
6
Original block name: GotoFrom_PP
7
*)
8
node  GotoFrom_PP(In1_1 : real;
9
	In1_2 : real;
10
	In1_3 : real;
11
	In2_1 : real;)
12
returns(Out1_1 : real;
13
	Out1_2 : real;
14
	Out1_3 : real;);
15
var Product_1 : real;
16
	Product_2 : real;
17
	Product_3 : real;
18
	__time_step : real;
19
	__nb_step : int;
20
let
21
	Product_1 = 1.0 * In1_1 * In2_1;
22
	Product_2 = 1.0 * In1_2 * In2_1;
23
	Product_3 = 1.0 * In1_3 * In2_1;
24
	Out1_1 = Product_1;
25
	Out1_2 = Product_2;
26
	Out1_3 = Product_3;
27
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
28
	__nb_step = (0 -> ((pre __nb_step) + 1));
29
tel
30

    
(775-775/1153)