Project

General

Profile

Download (2.36 KB) 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:23:34
5
(*
6
Original block name: BusSelector_nonvirtual_PP
7
*)
8
node  BusSelector_nonvirtual_PP(In1_1 : real;
9
	In1_2 : real;
10
	In2_1 : int;
11
	In2_2 : int;
12
	In2_3 : int;
13
	In3_1 : bool;
14
	In3_2 : bool;
15
	In3_3 : bool;
16
	In3_4 : bool;)
17
returns(Out1_1 : real;
18
	Out1_2 : real;
19
	Out2_1 : int;
20
	Out2_2 : int;
21
	Out2_3 : int;
22
	Out3_1 : bool;
23
	Out3_2 : bool;
24
	Out3_3 : bool;
25
	Out3_4 : bool;);
26
var BusCreator_1_BusElem1 : real;
27
	BusCreator_1_BusElem2 : real;
28
	BusCreator_1_BusElem3 : int;
29
	BusCreator_1_BusElem4 : int;
30
	BusCreator_1_BusElem5 : int;
31
	BusCreator1_1_BusElem1 : real;
32
	BusCreator1_1_BusElem2 : real;
33
	BusCreator1_1_BusElem3 : int;
34
	BusCreator1_1_BusElem4 : int;
35
	BusCreator1_1_BusElem5 : int;
36
	BusCreator1_1_BusElem6 : bool;
37
	BusCreator1_1_BusElem7 : bool;
38
	BusCreator1_1_BusElem8 : bool;
39
	BusCreator1_1_BusElem9 : bool;
40
	BusSelector_1 : real;
41
	BusSelector_2 : real;
42
	BusSelector_3 : int;
43
	BusSelector_4 : int;
44
	BusSelector_5 : int;
45
	BusSelector_6 : bool;
46
	BusSelector_7 : bool;
47
	BusSelector_8 : bool;
48
	BusSelector_9 : bool;
49
	__time_step : real;
50
	__nb_step : int;
51
let
52
	BusCreator_1_BusElem1 = In1_1;
53
	BusCreator_1_BusElem2 = In1_2;
54
	BusCreator_1_BusElem3 = In2_1;
55
	BusCreator_1_BusElem4 = In2_2;
56
	BusCreator_1_BusElem5 = In2_3;
57
	BusCreator1_1_BusElem1 = BusCreator_1_BusElem1;
58
	BusCreator1_1_BusElem2 = BusCreator_1_BusElem2;
59
	BusCreator1_1_BusElem3 = BusCreator_1_BusElem3;
60
	BusCreator1_1_BusElem4 = BusCreator_1_BusElem4;
61
	BusCreator1_1_BusElem5 = BusCreator_1_BusElem5;
62
	BusCreator1_1_BusElem6 = In3_1;
63
	BusCreator1_1_BusElem7 = In3_2;
64
	BusCreator1_1_BusElem8 = In3_3;
65
	BusCreator1_1_BusElem9 = In3_4;
66
	BusSelector_1 = BusCreator1_1_BusElem1;
67
	BusSelector_2 = BusCreator1_1_BusElem2;
68
	BusSelector_3 = BusCreator1_1_BusElem3;
69
	BusSelector_4 = BusCreator1_1_BusElem4;
70
	BusSelector_5 = BusCreator1_1_BusElem5;
71
	BusSelector_6 = BusCreator1_1_BusElem6;
72
	BusSelector_7 = BusCreator1_1_BusElem7;
73
	BusSelector_8 = BusCreator1_1_BusElem8;
74
	BusSelector_9 = BusCreator1_1_BusElem9;
75
	Out1_1 = BusSelector_1;
76
	Out1_2 = BusSelector_2;
77
	Out2_1 = BusSelector_3;
78
	Out2_2 = BusSelector_4;
79
	Out2_3 = BusSelector_5;
80
	Out3_1 = BusSelector_6;
81
	Out3_2 = BusSelector_7;
82
	Out3_3 = BusSelector_8;
83
	Out3_4 = BusSelector_9;
84
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
85
	__nb_step = (0 -> ((pre __nb_step) + 1));
86
tel
87

    
(241-241/1153)