Project

General

Profile

Download (1.28 KB) Statistics
| Branch: | Tag: | Revision:
1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:01:21
5
(*
6
Original block name: bus_test_PP
7
*)
8
node  bus_test_PP(In1_1 : real;
9
	In2_1 : int;
10
	In2_2 : int;
11
	In3_1 : bool;
12
	In3_2 : bool;
13
	In3_3 : bool;)
14
returns(Out4_1 : real;
15
	Out5_1 : int;
16
	Out5_2 : int;);
17
var BusAssignment_1 : real;
18
	BusAssignment_2 : int;
19
	BusAssignment_3 : int;
20
	BusAssignment_4 : bool;
21
	BusAssignment_5 : bool;
22
	BusAssignment_6 : bool;
23
	BusCreator_1 : real;
24
	BusCreator_2 : int;
25
	BusCreator_3 : int;
26
	BusCreator_4 : bool;
27
	BusCreator_5 : bool;
28
	BusCreator_6 : bool;
29
	BusSelector_1 : real;
30
	BusSelector_2 : int;
31
	BusSelector_3 : int;
32
	__time_step : real;
33
	__nb_step : int;
34
let
35
	BusAssignment_1 = In1_1;
36
	BusAssignment_2 = BusCreator_2;
37
	BusAssignment_3 = BusCreator_3;
38
	BusAssignment_4 = In3_1;
39
	BusAssignment_5 = In3_2;
40
	BusAssignment_6 = In3_3;
41
	BusCreator_1 = In1_1;
42
	BusCreator_2 = In2_1;
43
	BusCreator_3 = In2_2;
44
	BusCreator_4 = In3_1;
45
	BusCreator_5 = In3_2;
46
	BusCreator_6 = In3_3;
47
	BusSelector_1 = BusAssignment_1;
48
	BusSelector_2 = BusAssignment_2;
49
	BusSelector_3 = BusAssignment_3;
50
	Out4_1 = BusSelector_1;
51
	Out5_1 = BusSelector_2;
52
	Out5_2 = BusSelector_3;
53
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
54
	__nb_step = (0 -> ((pre __nb_step) + 1));
55
tel