Project

General

Profile

Download (783 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:09:35
5
(*
6
Original block name: demux_test_PP
7
*)
8
node  demux_test_PP(In1_1 : real;
9
	In1_2 : real;
10
	In2_1 : real;
11
	In2_2 : real;
12
	In2_3 : real;)
13
returns(Out1_1 : real;
14
	Out2_1 : real;
15
	Out3_1 : real;
16
	Out4_1 : real;
17
	Out4_2 : real;);
18
var Demux_1 : real;
19
	Demux_2 : real;
20
	Demux1_1 : real;
21
	Demux1_2 : real;
22
	Demux1_3 : real;
23
	__time_step : real;
24
	__nb_step : int;
25
let
26
	Demux_1 = In1_1;
27
	Demux_2 = In1_2;
28
	Demux1_1 = In2_1;
29
	Demux1_2 = In2_2;
30
	Demux1_3 = In2_3;
31
	Out1_1 = Demux_1;
32
	Out2_1 = Demux_2;
33
	Out3_1 = Demux1_1;
34
	Out4_1 = Demux1_2;
35
	Out4_2 = Demux1_3;
36
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
37
	__nb_step = (0 -> ((pre __nb_step) + 1));
38
tel
39

    
(1047-1047/1153)