Project

General

Profile

Download (723 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:01:15
5
(*
6
Original block name: bus_selector_PP
7
*)
8
node  bus_selector_PP(In1_1 : real;
9
	In2_1 : real;
10
	In3_1 : real;)
11
returns(Out4_1 : real;
12
	Out5_1 : real;);
13
var BusCreator_1 : real;
14
	BusCreator_2 : real;
15
	BusCreator_3 : real;
16
	BusSelector_1 : real;
17
	BusSelector_2 : real;
18
	__time_step : real;
19
	__nb_step : int;
20
let
21
	BusCreator_1 = In1_1;
22
	BusCreator_2 = In2_1;
23
	BusCreator_3 = In3_1;
24
	BusSelector_1 = BusCreator_1;
25
	BusSelector_2 = BusCreator_2;
26
	Out4_1 = BusSelector_1;
27
	Out5_1 = BusSelector_2;
28
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
29
	__nb_step = (0 -> ((pre __nb_step) + 1));
30
tel
31

    
(1032-1032/1153)