Project

General

Profile

Download (3.37 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:34:45
5
(*
6
Original block name: EnablePort6_PP/Enabled_Counter/Subsystem
7
*)
8
node  Subsystem_76_056_automaton(In1_1 : real;
9
	Enable_1 : real;
10
	_isEnabled : bool;
11
	__time_step : real;
12
	__nb_step : int;)
13
returns(Out1_1 : real;
14
	Out2_1 : real;);
15
var pre_Out1_1 : real;
16
	pre_Out2_1 : real;
17
let
18
	pre_Out1_1 = 1.000000000000000;
19
	pre_Out2_1 = 1.000000000000000;
20
	automaton enabled_Subsystem_76_056
21
	state Active_Subsystem_76_056:
22
	unless (not _isEnabled) restart Inactive_Subsystem_76_056
23
	let
24
		(Out1_1, Out2_1) = Subsystem_76_056(In1_1, Enable_1, __time_step, __nb_step);
25
	tel
26

    
27
	state Inactive_Subsystem_76_056:
28
	unless _isEnabled restart Active_Subsystem_76_056
29
	let
30
		Out1_1 = pre_Out1_1;
31
		Out2_1 = pre_Out2_1;
32
	tel
33

    
34

    
35
tel
36

    
37
(*
38
Original block name: EnablePort6_PP/Enabled_Counter/Subsystem
39
*)
40
node  Subsystem_76_056(In1_1 : real;
41
	Enable_1 : real;
42
	__time_step : real;
43
	__nb_step : int;)
44
returns(Out1_1 : real;
45
	Out2_1 : real;);
46
var Add_1 : real;
47
	UnitDelay_1 : real;
48
let
49
	Add_1 = 0.0 + In1_1 + UnitDelay_1;
50
	UnitDelay_1 = (0.000000000000000 -> (pre Add_1));
51
	Out1_1 = Add_1;
52
	Out2_1 = Enable_1;
53
tel
54

    
55
(*
56
Original block name: EnablePort6_PP/Enabled_Counter
57
*)
58
node  Enabled_Counter_70_296_automaton(In1_1 : real;
59
	_isEnabled : bool;
60
	__time_step : real;
61
	__nb_step : int;)
62
returns(Out1_1 : real;
63
	Out2_1 : real;
64
	Out3_1 : real;);
65
var pre_Out1_1 : real;
66
	pre_Out2_1 : real;
67
	pre_Out3_1 : real;
68
let
69
	pre_Out1_1 = 1.000000000000000;
70
	pre_Out2_1 = 1.000000000000000;
71
	pre_Out3_1 = 1.000000000000000;
72
	automaton enabled_Enabled_Counter_70_296
73
	state Active_Enabled_Counter_70_296:
74
	unless (not _isEnabled) restart Inactive_Enabled_Counter_70_296
75
	let
76
		(Out1_1, Out2_1, Out3_1) = Enabled_Counter_70_296(In1_1, __time_step, __nb_step);
77
	tel
78

    
79
	state Inactive_Enabled_Counter_70_296:
80
	unless _isEnabled restart Active_Enabled_Counter_70_296
81
	let
82
		Out1_1 = pre_Out1_1;
83
		Out2_1 = pre_Out2_1;
84
		Out3_1 = pre_Out3_1;
85
	tel
86

    
87

    
88
tel
89

    
90
(*
91
Original block name: EnablePort6_PP/Enabled_Counter
92
*)
93
node  Enabled_Counter_70_296(In1_1 : real;
94
	__time_step : real;
95
	__nb_step : int;)
96
returns(Out1_1 : real;
97
	Out2_1 : real;
98
	Out3_1 : real;);
99
var Add_1 : real;
100
	ExecutionCond_of_Subsystem_76_056 : bool;
101
	Subsystem_1 : real;
102
	Subsystem_2 : real;
103
	UnitDelay_1 : real;
104
let
105
	Add_1 = 0.0 + In1_1 + UnitDelay_1;
106
	ExecutionCond_of_Subsystem_76_056 = (In1_1 > 0.0);
107
	(Subsystem_1, Subsystem_2) = Subsystem_76_056_automaton(In1_1, In1_1, ExecutionCond_of_Subsystem_76_056, __time_step, __nb_step);
108
	UnitDelay_1 = (0.000000000000000 -> (pre Add_1));
109
	Out1_1 = Add_1;
110
	Out2_1 = Subsystem_1;
111
	Out3_1 = Subsystem_2;
112
tel
113

    
114
(*
115
Original block name: EnablePort6_PP
116
*)
117
node  EnablePort6_PP(In1_1 : real;
118
	Enable_1 : real;)
119
returns(Out1_1 : real;
120
	Out2_1 : real;
121
	Out3_1 : real;);
122
var ExecutionCond_of_Enabled_Counter_70_296 : bool;
123
	Enabled_Counter_1 : real;
124
	Enabled_Counter_2 : real;
125
	Enabled_Counter_3 : real;
126
	__time_step : real;
127
	__nb_step : int;
128
let
129
	ExecutionCond_of_Enabled_Counter_70_296 = (Enable_1 > 0.0);
130
	(Enabled_Counter_1, Enabled_Counter_2, Enabled_Counter_3) = Enabled_Counter_70_296_automaton(In1_1, ExecutionCond_of_Enabled_Counter_70_296, __time_step, __nb_step);
131
	Out1_1 = Enabled_Counter_1;
132
	Out2_1 = Enabled_Counter_2;
133
	Out3_1 = Enabled_Counter_3;
134
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
135
	__nb_step = (0 -> ((pre __nb_step) + 1));
136
tel
137

    
(595-595/1153)