Project

General

Profile

Revision 9b45f3df regression_tests/lustre_files/success/kind_fmcad08/large/cruise_controller_04.lus

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/cruise_controller_04.lus
12 12

  
13 13
--@ contract guarantees OK;
14 14
var
15
mode: int; 
15
mode_: int; 
16 16
      cruiseThrottle: real; 
17 17
      desiredSpeed: real;
18 18
   rlt_condact_cruise_controller_CruiseController_SetDesiredSpeed_computeDecreaseInDesiredSpeed_rlt_clock: bool; 
......
21 21
   rlt_condact_cruise_controller_CruiseController_SetDesiredSpeed_computeIncreaseInDesiredSpeed_rlt_clock: bool; 
22 22
   rlt_condact_cruise_controller_CruiseController_SetDesiredSpeed_computeIncreaseInDesiredSpeed_rlt_init_step: bool; 
23 23
   newDesiredSpeed: real; 
24
   chart_CruiseController_ModeLogic_mode_logic_onOff: int; 
25
   chart_CruiseController_ModeLogic_mode_logic_decel: int; 
26
   chart_CruiseController_ModeLogic_mode_logic_set: int; 
27
   chart_CruiseController_ModeLogic_mode_logic_accel: int; 
28
   chart_CruiseController_ModeLogic_mode_logic_safetyCondition: int; 
29
   chart_CruiseController_ModeLogic_mode_logic____wakeup___: bool; 
30
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0: bool; 
31
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_states___root: int; 
32
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_outports_setDesiredSpeed: int; 
33
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root: int; 
34
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_1: bool; 
35
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_1: bool; 
36
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_states___root: int; 
37
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_outports_mode: int; 
38
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_outports_setDesiredSpeed: int; 
39
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_5_states___root: int; 
40
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_2: bool; 
41
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_2: bool; 
42
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_states___root: int; 
43
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_outports_mode: int; 
44
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_7_states___root: int; 
45
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_3: bool; 
46
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_3: bool; 
47
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_states___root: int; 
48
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_outports_mode: int; 
49
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_states___root: int; 
50
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_outports_mode: int; 
51
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_4: bool; 
52
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_10_states___root: int; 
53
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_15_states___root: int; 
54
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root2: int; 
55
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_02: bool; 
56
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rltCheckEntryStateConsistency_02: bool; 
57
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root2: int; 
58
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root1: int; 
59
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_01: bool; 
60
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rltCheckEntryStateConsistency_01: bool; 
61
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root1: int; 
62
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root: int; 
63
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0: bool; 
64
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rltCheckEntryStateConsistency_0: bool; 
65
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root: int; 
66
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0: bool; 
67
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root: int; 
68
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_2_states___root: int; 
69
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_1: bool; 
70
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_1: bool; 
71
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root: int; 
72
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_4_outports_mode: int; 
73
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_5_states___root: int; 
74
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_2: bool; 
75
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_2: bool; 
76
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_states___root: int; 
77
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_outports_mode: int; 
78
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_7_states___root: int; 
79
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_3: bool; 
80
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_3: bool; 
81
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_8_outports_mode: int; 
82
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_states___root: int; 
83
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_outports_setDesiredSpeed: int; 
84
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root: int; 
85
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_outports_mode: int; 
86
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root: int; 
87
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0: bool; 
88
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_rltCheckEntryStateConsistency_0: bool; 
89
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root: int; 
90
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_0: bool; 
91
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_1_states___root: int; 
92
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root: int; 
93
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_outports_setDesiredSpeed: int; 
94
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_1: bool; 
95
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_complete_1: bool; 
96
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_states___root: int; 
97
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_outports_mode: int; 
98
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root: int; 
99
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_outports_mode: int; 
100
   rlt_enter_CruiseController_ModeLogic_mode_logic_rltCheckEntryStateConsistency_0: bool; 
101
   rlt_enter_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root: int; 
102
   chart_CruiseController_ModeLogic_mode_logic_rlt_evtInitStep: bool; 
103
   chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root: int; 
104
   chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_mode: int; 
105
   chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_setDesiredSpeed: int; 
106
   chart_CruiseController_ModeLogic_mode_logic_final_state_states___root: int; 
107
   chart_CruiseController_ModeLogic_mode_logic_setDesiredSpeed: int; 
24
   chart_CruiseController_ModeLogic_mode__logic_onOff: int; 
25
   chart_CruiseController_ModeLogic_mode__logic_decel: int; 
26
   chart_CruiseController_ModeLogic_mode__logic_set: int; 
27
   chart_CruiseController_ModeLogic_mode__logic_accel: int; 
28
   chart_CruiseController_ModeLogic_mode__logic_safetyCondition: int; 
29
   chart_CruiseController_ModeLogic_mode__logic____wakeup___: bool; 
30
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0: bool; 
31
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_states___root: int; 
32
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_outports_setDesiredSpeed: int; 
33
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root: int; 
34
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_1: bool; 
35
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_1: bool; 
36
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_states___root: int; 
37
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_outports_mode_: int; 
38
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_outports_setDesiredSpeed: int; 
39
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_5_states___root: int; 
40
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_2: bool; 
41
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_2: bool; 
42
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_states___root: int; 
43
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_outports_mode_: int; 
44
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_7_states___root: int; 
45
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_3: bool; 
46
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_3: bool; 
47
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_states___root: int; 
48
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_outports_mode_: int; 
49
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_states___root: int; 
50
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_outports_mode_: int; 
51
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_4: bool; 
52
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_10_states___root: int; 
53
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_15_states___root: int; 
54
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root2: int; 
55
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_02: bool; 
56
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rltCheckEntryStateConsistency_02: bool; 
57
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root2: int; 
58
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root1: int; 
59
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_01: bool; 
60
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rltCheckEntryStateConsistency_01: bool; 
61
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root1: int; 
62
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root: int; 
63
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0: bool; 
64
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rltCheckEntryStateConsistency_0: bool; 
65
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root: int; 
66
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0: bool; 
67
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root: int; 
68
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_2_states___root: int; 
69
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_1: bool; 
70
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_1: bool; 
71
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root: int; 
72
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_4_outports_mode_: int; 
73
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_5_states___root: int; 
74
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_2: bool; 
75
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_2: bool; 
76
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_states___root: int; 
77
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_outports_mode_: int; 
78
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_7_states___root: int; 
79
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_3: bool; 
80
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_3: bool; 
81
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_8_outports_mode_: int; 
82
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_states___root: int; 
83
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_outports_setDesiredSpeed: int; 
84
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root: int; 
85
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_outports_mode_: int; 
86
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root: int; 
87
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0: bool; 
88
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_rltCheckEntryStateConsistency_0: bool; 
89
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root: int; 
90
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_0: bool; 
91
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_1_states___root: int; 
92
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root: int; 
93
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_outports_setDesiredSpeed: int; 
94
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_1: bool; 
95
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_complete_1: bool; 
96
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_states___root: int; 
97
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_outports_mode_: int; 
98
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root: int; 
99
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_outports_mode_: int; 
100
   rlt_enter_CruiseController_ModeLogic_mode__logic_rltCheckEntryStateConsistency_0: bool; 
101
   rlt_enter_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root: int; 
102
   chart_CruiseController_ModeLogic_mode__logic_rlt_evtInitStep: bool; 
103
   chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root: int; 
104
   chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_mode_: int; 
105
   chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_setDesiredSpeed: int; 
106
   chart_CruiseController_ModeLogic_mode__logic_final_state_states___root: int; 
107
   chart_CruiseController_ModeLogic_mode__logic_setDesiredSpeed: int; 
108 108
   cruise_controller_CruiseController_ModeLogic_DelayOnsetAccel_Bounded_Count_Out: int; 
109 109
   cruise_controller_CruiseController_ModeLogic_DelayOnsetDecel_Bounded_Count_Out: int; 
110 110
   cruise_controller_CruiseController_ModeLogic_resumeEvent_Out: bool; 
......
205 205
                  else 0))
206 206
         else 20));
207 207

  
208
   chart_CruiseController_ModeLogic_mode_logic_onOff = 
208
   chart_CruiseController_ModeLogic_mode__logic_onOff = 
209 209
      (if (onOff = false)
210 210
         then 0
211 211
         else 1);
212 212

  
213
   chart_CruiseController_ModeLogic_mode_logic_decel = 
213
   chart_CruiseController_ModeLogic_mode__logic_decel = 
214 214
      (if (
215 215
         (if (cruise_controller_CruiseController_ModeLogic_DelayOnsetDecel_Bounded_Count_Out = 20)
216 216
            then true
......
218 218
         then 0
219 219
         else 1);
220 220

  
221
   chart_CruiseController_ModeLogic_mode_logic_set = 
221
   chart_CruiseController_ModeLogic_mode__logic_set = 
222 222
      (if (cruise_controller_CruiseController_ModeLogic_setEvent_Out = false)
223 223
         then 0
224 224
         else 1);
225 225

  
226
   chart_CruiseController_ModeLogic_mode_logic_accel = 
226
   chart_CruiseController_ModeLogic_mode__logic_accel = 
227 227
      (if (
228 228
         (if (cruise_controller_CruiseController_ModeLogic_DelayOnsetAccel_Bounded_Count_Out = 20)
229 229
            then true
......
231 231
         then 0
232 232
         else 1);
233 233

  
234
   chart_CruiseController_ModeLogic_mode_logic_safetyCondition = 
234
   chart_CruiseController_ModeLogic_mode__logic_safetyCondition = 
235 235
      (if (cruise_controller_CruiseController_ModeLogic_safetyCondition_safetyCondition = false)
236 236
         then 0
237 237
         else 1);
238 238

  
239
   chart_CruiseController_ModeLogic_mode_logic____wakeup___ = true;
239
   chart_CruiseController_ModeLogic_mode__logic____wakeup___ = true;
240 240

  
241
   chart_CruiseController_ModeLogic_mode_logic_rlt_evtInitStep = (true -> 
242
      (if (pre chart_CruiseController_ModeLogic_mode_logic____wakeup___)
241
   chart_CruiseController_ModeLogic_mode__logic_rlt_evtInitStep = (true -> 
242
      (if (pre chart_CruiseController_ModeLogic_mode__logic____wakeup___)
243 243
         then false
244
         else (pre chart_CruiseController_ModeLogic_mode_logic_rlt_evtInitStep)));
244
         else (pre chart_CruiseController_ModeLogic_mode__logic_rlt_evtInitStep)));
245 245

  
246
   chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root = (0 -> (pre chart_CruiseController_ModeLogic_mode_logic_final_state_states___root));
246
   chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root = (0 -> (pre chart_CruiseController_ModeLogic_mode__logic_final_state_states___root));
247 247

  
248
   chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_mode = (0 -> (pre mode));
248
   chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_mode_ = (0 -> (pre mode_));
249 249

  
250
   chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_setDesiredSpeed = (0 -> (pre chart_CruiseController_ModeLogic_mode_logic_setDesiredSpeed));
250
   chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_setDesiredSpeed = (0 -> (pre chart_CruiseController_ModeLogic_mode__logic_setDesiredSpeed));
251 251

  
252
   chart_CruiseController_ModeLogic_mode_logic_final_state_states___root = 
253
      (if chart_CruiseController_ModeLogic_mode_logic____wakeup___
252
   chart_CruiseController_ModeLogic_mode__logic_final_state_states___root = 
253
      (if chart_CruiseController_ModeLogic_mode__logic____wakeup___
254 254
         then 
255
               (if chart_CruiseController_ModeLogic_mode_logic_rlt_evtInitStep
256
                  then rlt_enter_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root
255
               (if chart_CruiseController_ModeLogic_mode__logic_rlt_evtInitStep
256
                  then rlt_enter_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root
257 257
                  else 
258
               (if ((not rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_complete_1) and 
258
               (if ((not rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_complete_1) and 
259 259
                  
260
                  ((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root >= 2) and 
261
                  (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root <= 8)))
260
                  ((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root >= 2) and 
261
                  (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root <= 8)))
262 262
                  then 
263
                        (if ((not rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_3) and 
263
                        (if ((not rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_3) and 
264 264
                           
265
                           ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root >= 3) and 
266
                           (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root <= 6)))
267
                           then rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_15_states___root
268
                           else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root)
269
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root))
270
         else chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root);
271

  
272
   mode = 
273
      (if chart_CruiseController_ModeLogic_mode_logic____wakeup___
265
                           ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root >= 3) and 
266
                           (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root <= 6)))
267
                           then rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_15_states___root
268
                           else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root)
269
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root))
270
         else chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root);
271

  
272
   mode_ = 
273
      (if chart_CruiseController_ModeLogic_mode__logic____wakeup___
274 274
         then 
275
               (if chart_CruiseController_ModeLogic_mode_logic_rlt_evtInitStep
275
               (if chart_CruiseController_ModeLogic_mode__logic_rlt_evtInitStep
276 276
                  then 
277
                        (if (not (chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root = 1))
277
                        (if (not (chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root = 1))
278 278
                           then 1
279
                           else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_mode)
279
                           else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_mode_)
280 280
                  else 
281
               (if ((not rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_complete_1) and 
281
               (if ((not rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_complete_1) and 
282 282
                  
283
                  ((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root >= 2) and 
284
                  (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root <= 8)))
283
                  ((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root >= 2) and 
284
                  (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root <= 8)))
285 285
                  then 
286
                        (if ((not rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_3) and 
286
                        (if ((not rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_3) and 
287 287
                           
288
                           ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root >= 3) and 
289
                           (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root <= 6)))
288
                           ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root >= 3) and 
289
                           (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root <= 6)))
290 290
                           then 
291
                                 (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_4
291
                                 (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_4
292 292
                                    then 
293
                                          (if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_10_states___root = 4))
293
                                          (if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_10_states___root = 4))
294 294
                                             then 4
295
                                             else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_outports_mode)
296
                                    else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_outports_mode)
297
                           else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_outports_mode)
298
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_outports_mode))
299
         else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_mode);
300

  
301
   chart_CruiseController_ModeLogic_mode_logic_setDesiredSpeed = 
302
      (if chart_CruiseController_ModeLogic_mode_logic____wakeup___
295
                                             else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_outports_mode_)
296
                                    else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_outports_mode_)
297
                           else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_outports_mode_)
298
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_outports_mode_))
299
         else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_mode_);
300

  
301
   chart_CruiseController_ModeLogic_mode__logic_setDesiredSpeed = 
302
      (if chart_CruiseController_ModeLogic_mode__logic____wakeup___
303 303
         then 
304
               (if chart_CruiseController_ModeLogic_mode_logic_rlt_evtInitStep
305
                  then chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_setDesiredSpeed
304
               (if chart_CruiseController_ModeLogic_mode__logic_rlt_evtInitStep
305
                  then chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_setDesiredSpeed
306 306
                  else 
307
               (if ((not rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_complete_1) and 
307
               (if ((not rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_complete_1) and 
308 308
                  
309
                  ((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root >= 2) and 
310
                  (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root <= 8)))
309
                  ((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root >= 2) and 
310
                  (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root <= 8)))
311 311
                  then 
312
                        (if ((not rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_3) and 
312
                        (if ((not rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_3) and 
313 313
                           
314
                           ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root >= 3) and 
315
                           (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root <= 6)))
314
                           ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root >= 3) and 
315
                           (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root <= 6)))
316 316
                           then 
317
                                 (if ((not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_4 or 
318
                                    rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_3)) and 
319
                                    (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_15_states___root = 4))
317
                                 (if ((not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_4 or 
318
                                    rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_3)) and 
319
                                    (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_15_states___root = 4))
320 320
                                    then 0
321 321
                                    else 
322
                                 (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_2
322
                                 (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_2
323 323
                                    then 
324
                                          (if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_5_states___root = 4)
324
                                          (if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_5_states___root = 4)
325 325
                                             then 0
326
                                             else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_outports_setDesiredSpeed)
327
                                    else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_outports_setDesiredSpeed))
328
                           else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_outports_setDesiredSpeed)
329
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_outports_setDesiredSpeed))
330
         else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_setDesiredSpeed);
326
                                             else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_outports_setDesiredSpeed)
327
                                    else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_outports_setDesiredSpeed))
328
                           else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_outports_setDesiredSpeed)
329
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_outports_setDesiredSpeed))
330
         else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_setDesiredSpeed);
331 331

  
332 332
   
333
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_0 = (
334
      ((chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root >= 2) and 
335
      (chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root <= 8)) and 
333
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_0 = (
334
      ((chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root >= 2) and 
335
      (chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root <= 8)) and 
336 336
      (not 
337
      (if (chart_CruiseController_ModeLogic_mode_logic_onOff <> 0)
337
      (if (chart_CruiseController_ModeLogic_mode__logic_onOff <> 0)
338 338
         then true
339 339
         else false)));
340 340

  
341 341
   
342
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_1_states___root = 
343
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_0
342
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_1_states___root = 
343
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_0
344 344
         then 
345 345
               (if 
346
                  ((chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root >= 2) and 
347
                  (chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root <= 8))
346
                  ((chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root >= 2) and 
347
                  (chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root <= 8))
348 348
                  then 
349 349
                        0
350
                  else chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root)
351
         else chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root);
350
                  else chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root)
351
         else chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root);
352 352

  
353 353
   
354
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root = 
355
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_0
354
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root = 
355
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_0
356 356
         then 
357
               (if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_1_states___root = 1))
357
               (if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_1_states___root = 1))
358 358
                  then 
359 359

  
360 360
                        1
361
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_1_states___root)
362
         else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_1_states___root);
361
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_1_states___root)
362
         else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_1_states___root);
363 363

  
364 364
   
365 365

  
366 366
   
367
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_outports_setDesiredSpeed = 
368
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_0
367
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_outports_setDesiredSpeed = 
368
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_0
369 369
         then 
370 370
               (if 
371 371

  
372
                  ((chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root >= 2) and 
373
                  (chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root <= 8))
372
                  ((chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root >= 2) and 
373
                  (chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root <= 8))
374 374
                  then 
375 375
                        (if 
376 376

  
377
                           ((chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root >= 3) and 
378
                           (chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root <= 6))
377
                           ((chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root >= 3) and 
378
                           (chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root <= 6))
379 379
                           then 
380
                                 (if (chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root = 4)
380
                                 (if (chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root = 4)
381 381
                                    then 0
382
                                    else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_setDesiredSpeed)
383
                           else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_setDesiredSpeed)
384
                  else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_setDesiredSpeed)
385
         else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_setDesiredSpeed);
382
                                    else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_setDesiredSpeed)
383
                           else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_setDesiredSpeed)
384
                  else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_setDesiredSpeed)
385
         else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_setDesiredSpeed);
386 386

  
387 387
   
388 388

  
389 389
   
390
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_1 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root = 1) and 
390
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_1 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root = 1) and 
391 391
      (
392
      (if (chart_CruiseController_ModeLogic_mode_logic_onOff <> 0)
392
      (if (chart_CruiseController_ModeLogic_mode__logic_onOff <> 0)
393 393
         then true
394 394
         else false) and 
395
      (not rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_0)));
395
      (not rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_0)));
396 396

  
397 397
   
398
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_complete_1 = (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_1 or 
399
      rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_0);
398
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_complete_1 = (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_1 or 
399
      rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_0);
400 400

  
401 401
   
402 402

  
403
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_states___root = 
404
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_1
403
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_states___root = 
404
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_1
405 405
         then 
406
               (if (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root = 1)
406
               (if (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root = 1)
407 407
                  then 
408 408

  
409 409
                        0
410
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root)
411
         else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root);
410
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root)
411
         else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root);
412 412

  
413 413
   
414 414

  
415
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_outports_mode = 
416
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_0
415
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_outports_mode_ = 
416
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_0
417 417
         then 
418
               (if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_1_states___root = 1))
418
               (if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_1_states___root = 1))
419 419
                  then 1
420
                  else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_mode)
421
         else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_mode);
420
                  else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_mode_)
421
         else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_mode_);
422 422

  
423 423
   
424
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root = 
425
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_1
426
         then rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root
427
         else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_states___root);
424
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root = 
425
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_1
426
         then rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root
427
         else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_states___root);
428 428

  
429 429
   
430 430

  
431 431
   
432
   rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_outports_mode = 
433
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_1
432
   rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_outports_mode_ = 
433
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_1
434 434
         then 
435
               (if rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0
435
               (if rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0
436 436
                  then 
437
                        (if (not (rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root = 7))
437
                        (if (not (rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root = 7))
438 438
                           then 2
439
                           else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_outports_mode)
440
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_outports_mode)
441
         else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_outports_mode);
439
                           else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_outports_mode_)
440
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_outports_mode_)
441
         else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_outports_mode_);
442 442

  
443 443
   
444 444

  
445 445
   
446
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0 = (
446
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0 = (
447 447

  
448
      ((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root >= 3) and 
449
      (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root <= 6)) and 
448
      ((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root >= 3) and 
449
      (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root <= 6)) and 
450 450
      (not 
451
      (if (chart_CruiseController_ModeLogic_mode_logic_safetyCondition <> 0)
451
      (if (chart_CruiseController_ModeLogic_mode__logic_safetyCondition <> 0)
452 452
         then true
453 453
         else false)));
454 454

  
455 455
   
456 456

  
457
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root = 
458
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0
457
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root = 
458
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0
459 459
         then 
460 460
               (if 
461 461

  
462
                  ((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root >= 3) and 
463
                  (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root <= 6))
462
                  ((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root >= 3) and 
463
                  (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root <= 6))
464 464
                  then 
465 465

  
466 466
                        2
467
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root)
468
         else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root);
467
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root)
468
         else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root);
469 469

  
470 470
   
471
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_2_states___root = 
472
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0
471
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_2_states___root = 
472
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0
473 473
         then 
474
               (if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root = 8))
474
               (if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root = 8))
475 475
                  then 
476 476

  
477 477
                        8
478
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root)
479
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root);
478
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root)
479
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root);
480 480

  
481 481
   
482 482

  
483 483
   
484
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_1 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_2_states___root = 8) and 
484
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_1 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_2_states___root = 8) and 
485 485
      ((
486 486
      (if (
487
         (if ((chart_CruiseController_ModeLogic_mode_logic_set = 1) = false)
487
         (if ((chart_CruiseController_ModeLogic_mode__logic_set = 1) = false)
488 488
            then 0
489 489
            else 1) <> 0)
490 490
         then true
491 491
         else false) and 
492 492
      
493 493
      (if (
494
         (if ((chart_CruiseController_ModeLogic_mode_logic_safetyCondition = 1) = false)
494
         (if ((chart_CruiseController_ModeLogic_mode__logic_safetyCondition = 1) = false)
495 495
            then 0
496 496
            else 1) <> 0)
497 497
         then true
498 498
         else false)) and 
499
      (not rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0)));
499
      (not rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0)));
500 500

  
501 501
   
502
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_1 = (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_1 or 
503
      rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0);
502
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_1 = (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_1 or 
503
      rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0);
504 504

  
505 505
   
506 506

  
507
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root = 
508
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_1
507
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root = 
508
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_1
509 509
         then 
510
               (if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_2_states___root = 8)
510
               (if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_2_states___root = 8)
511 511
                  then 
512 512

  
513 513
                        2
514
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_2_states___root)
515
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_2_states___root);
514
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_2_states___root)
515
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_2_states___root);
516 516

  
517 517
   
518 518

  
519
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_4_outports_mode = 
520
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0
519
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_4_outports_mode_ = 
520
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0
521 521
         then 
522
               (if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root = 8))
522
               (if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root = 8))
523 523
                  then 3
524
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_outports_mode)
525
         else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_outports_mode);
524
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_outports_mode_)
525
         else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_outports_mode_);
526 526

  
527 527
   
528 528

  
529
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_5_states___root = 
530
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_1
531
         then rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root
532
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root);
529
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_5_states___root = 
530
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_1
531
         then rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root
532
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root);
533 533

  
534 534
   
535 535

  
536 536
   
537
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_2 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_5_states___root = 8) and 
537
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_2 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_5_states___root = 8) and 
538 538
      ((
539 539
      (if (
540 540
         (if ((
......
547 547
         else false) and 
548 548
      
549 549
      (if (
550
         (if ((chart_CruiseController_ModeLogic_mode_logic_safetyCondition = 1) = false)
550
         (if ((chart_CruiseController_ModeLogic_mode__logic_safetyCondition = 1) = false)
551 551
            then 0
552 552
            else 1) <> 0)
553 553
         then true
554 554
         else false)) and 
555
      (not rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_1)));
555
      (not rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_1)));
556 556

  
557 557
   
558
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_2 = (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_2 or 
559
      rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_1);
558
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_2 = (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_2 or 
559
      rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_1);
560 560

  
561 561
   
562 562

  
563
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_states___root = 
564
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_2
563
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_states___root = 
564
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_2
565 565
         then 
566
               (if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_5_states___root = 8)
566
               (if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_5_states___root = 8)
567 567
                  then 
568 568

  
569 569
                        2
570
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_5_states___root)
571
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_5_states___root);
570
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_5_states___root)
571
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_5_states___root);
572 572

  
573 573
   
574 574

  
575
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_outports_mode = 
576
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_1
575
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_outports_mode_ = 
576
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_1
577 577
         then 
578
               (if rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0
578
               (if rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0
579 579
                  then 
580
                        (if (not (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root = 4))
580
                        (if (not (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root = 4))
581 581
                           then 4
582
                           else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_4_outports_mode)
583
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_4_outports_mode)
584
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_4_outports_mode);
582
                           else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_4_outports_mode_)
583
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_4_outports_mode_)
584
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_4_outports_mode_);
585 585

  
586 586
   
587
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_7_states___root = 
588
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_2
589
         then rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root1
590
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_states___root);
587
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_7_states___root = 
588
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_2
589
         then rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root1
590
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_states___root);
591 591

  
592 592
   
593 593

  
594 594
   
595
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_3 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_7_states___root = 7) and 
595
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_3 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_7_states___root = 7) and 
596 596
      ((
597 597
      (if (
598
         (if ((chart_CruiseController_ModeLogic_mode_logic_set = 1) = false)
598
         (if ((chart_CruiseController_ModeLogic_mode__logic_set = 1) = false)
599 599
            then 0
600 600
            else 1) <> 0)
601 601
         then true
602 602
         else false) and 
603 603
      
604 604
      (if (
605
         (if ((chart_CruiseController_ModeLogic_mode_logic_safetyCondition = 1) = false)
605
         (if ((chart_CruiseController_ModeLogic_mode__logic_safetyCondition = 1) = false)
606 606
            then 0
607 607
            else 1) <> 0)
608 608
         then true
609 609
         else false)) and 
610
      (not rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_2)));
610
      (not rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_2)));
611 611

  
612 612
   
613
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_3 = (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_3 or 
614
      rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_2);
613
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_3 = (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_3 or 
614
      rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_2);
615 615

  
616 616
   
617 617

  
618
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_8_outports_mode = 
619
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_2
618
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_8_outports_mode_ = 
619
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_2
620 620
         then 
621
               (if rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_01
621
               (if rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_01
622 622
                  then 
623
                        (if (not (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root1 = 4))
623
                        (if (not (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root1 = 4))
624 624
                           then 4
625
                           else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_outports_mode)
626
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_outports_mode)
627
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_outports_mode);
625
                           else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_outports_mode_)
626
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_outports_mode_)
627
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_outports_mode_);
628 628

  
629 629
   
630 630

  
631
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_states___root = 
632
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_3
631
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_states___root = 
632
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_3
633 633
         then 
634
               (if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_7_states___root = 7)
634
               (if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_7_states___root = 7)
635 635
                  then 
636 636

  
637 637
                        2
638
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_7_states___root)
639
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_7_states___root);
638
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_7_states___root)
639
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_7_states___root);
640 640

  
641 641
   
642 642

  
643
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_outports_setDesiredSpeed = 
644
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_3
643
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_outports_setDesiredSpeed = 
644
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_3
645 645
         then 1
646 646
         else 
647
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_1
647
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_1
648 648
         then 1
649 649
         else 
650
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0
650
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0
651 651
         then 
652 652
               (if 
653 653

  
654
                  ((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root >= 3) and 
655
                  (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root <= 6))
654
                  ((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root >= 3) and 
655
                  (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root <= 6))
656 656
                  then 
657
                        (if (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root = 4)
657
                        (if (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root = 4)
658 658
                           then 0
659
                           else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_outports_setDesiredSpeed)
660
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_outports_setDesiredSpeed)
661
         else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_outports_setDesiredSpeed)));
659
                           else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_outports_setDesiredSpeed)
660
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_outports_setDesiredSpeed)
661
         else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_outports_setDesiredSpeed)));
662 662

  
663 663
   
664 664

  
665
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root = 
666
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_3
667
         then rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root2
668
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_states___root);
665
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root = 
666
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_3
667
         then rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root2
668
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_states___root);
669 669

  
670 670
   
671 671

  
672 672
   
673 673

  
674
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_outports_mode = 
675
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_3
674
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_outports_mode_ = 
675
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_3
676 676
         then 
677
               (if rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_02
677
               (if rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_02
678 678
                  then 
679
                        (if (not (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root2 = 4))
679
                        (if (not (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root2 = 4))
680 680
                           then 4
681
                           else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_8_outports_mode)
682
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_8_outports_mode)
683
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_8_outports_mode);
681
                           else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_8_outports_mode_)
682
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_8_outports_mode_)
683
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_8_outports_mode_);
684 684

  
685 685
   
686 686

  
687 687
   
688
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root = 4) and 
689
      (chart_CruiseController_ModeLogic_mode_logic_set = 1));
688
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root = 4) and 
689
      (chart_CruiseController_ModeLogic_mode__logic_set = 1));
690 690

  
691 691
   
692 692

  
693
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_states___root = 
694
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0
693
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_states___root = 
694
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0
695 695
         then 
696
               (if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root = 4)
696
               (if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root = 4)
697 697
                  then 
698 698

  
699 699
                        3
700
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root)
701
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root);
700
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root)
701
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root);
702 702

  
703 703
   
704 704

  
705
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_outports_setDesiredSpeed = 
706
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0
705
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_outports_setDesiredSpeed = 
706
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0
707 707
         then 1
708
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_outports_setDesiredSpeed);
708
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_outports_setDesiredSpeed);
709 709

  
710 710
   
711 711

  
712
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root = 
713
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0
712
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root = 
713
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0
714 714
         then 
715
               (if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_states___root = 4))
715
               (if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_states___root = 4))
716 716
                  then 
717 717

  
718 718
                        4
719
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_states___root)
720
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_states___root);
719
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_states___root)
720
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_states___root);
721 721

  
722 722
   
723 723

  
724 724
   
725
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_1 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root = 4) and 
726
      ((chart_CruiseController_ModeLogic_mode_logic_accel = 1) and 
727
      (not rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0)));
725
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_1 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root = 4) and 
726
      ((chart_CruiseController_ModeLogic_mode__logic_accel = 1) and 
727
      (not rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0)));
728 728

  
729 729
   
730
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_1 = (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_1 or 
731
      rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0);
730
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_1 = (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_1 or 
731
      rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0);
732 732

  
733 733
   
734 734

  
735
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_states___root = 
736
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_1
735
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_states___root = 
736
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_1
737 737
         then 
738
               (if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root = 4)
738
               (if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root = 4)
739 739
                  then 
740 740

  
741 741
                        3
742
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root)
743
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root);
742
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root)
743
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root);
744 744

  
745 745
   
746 746

  
747
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_outports_mode = 
748
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0
747
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_outports_mode_ = 
748
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0
749 749
         then 
750
               (if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_states___root = 4))
750
               (if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_states___root = 4))
751 751
                  then 4
752
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_outports_mode)
753
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_outports_mode);
752
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_outports_mode_)
753
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_outports_mode_);
754 754

  
755 755
   
756 756

  
757
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_outports_setDesiredSpeed = 
758
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_1
757
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_outports_setDesiredSpeed = 
758
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_1
759 759
         then 
760
               (if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root = 4)
760
               (if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root = 4)
761 761
                  then 0
762
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_outports_setDesiredSpeed)
763
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_outports_setDesiredSpeed);
762
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_outports_setDesiredSpeed)
763
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_outports_setDesiredSpeed);
764 764

  
765 765
   
766
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_5_states___root = 
767
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_1
766
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_5_states___root = 
767
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_1
768 768
         then 
769
               (if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_states___root = 5))
769
               (if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_states___root = 5))
770 770
                  then 
771 771

  
772 772
                        5
773
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_states___root)
774
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_states___root);
773
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_states___root)
774
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_states___root);
775 775

  
776 776
   
777 777

  
778 778
   
779
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_2 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_5_states___root = 4) and 
780
      ((chart_CruiseController_ModeLogic_mode_logic_decel = 1) and 
781
      (not rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_1)));
779
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_2 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_5_states___root = 4) and 
780
      ((chart_CruiseController_ModeLogic_mode__logic_decel = 1) and 
781
      (not rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_1)));
782 782

  
783 783
   
784
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_2 = (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_2 or 
785
      rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_1);
784
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_2 = (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_2 or 
785
      rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_1);
786 786

  
787 787
   
788 788

  
789
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_states___root = 
790
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_2
789
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_states___root = 
790
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_2
791 791
         then 
792
               (if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_5_states___root = 4)
792
               (if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_5_states___root = 4)
793 793
                  then 
794 794

  
795 795
                        3
796
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_5_states___root)
797
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_5_states___root);
796
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_5_states___root)
797
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_5_states___root);
798 798

  
799 799
   
800 800

  
801
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_outports_mode = 
802
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_1
801
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_outports_mode_ = 
802
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_1
803 803
         then 
804
               (if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_states___root = 5))
804
               (if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_states___root = 5))
805 805
                  then 6
806
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_outports_mode)
807
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_outports_mode);
806
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_outports_mode_)
807
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_outports_mode_);
808 808

  
809 809
   
810
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_7_states___root = 
811
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_2
810
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_7_states___root = 
811
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_2
812 812
         then 
813
               (if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_states___root = 6))
813
               (if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_states___root = 6))
814 814
                  then 
815 815

  
816 816
                        6
817
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_states___root)
818
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_states___root);
817
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_states___root)
818
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_states___root);
819 819

  
820 820
   
821 821

  
822 822
   
823
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_3 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_7_states___root = 6) and 
824
      ((chart_CruiseController_ModeLogic_mode_logic_decel = 0) and 
825
      (not rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_2)));
823
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_3 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_7_states___root = 6) and 
824
      ((chart_CruiseController_ModeLogic_mode__logic_decel = 0) and 
825
      (not rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_2)));
826 826

  
827 827
   
828
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_3 = (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_3 or 
829
      rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_2);
828
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_3 = (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_3 or 
829
      rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_2);
830 830

  
831 831
   
832 832

  
833
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_states___root = 
834
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_3
833
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_states___root = 
834
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_3
835 835
         then 
836
               (if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_7_states___root = 6)
836
               (if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_7_states___root = 6)
837 837
                  then 
838 838

  
839 839
                        3
840
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_7_states___root)
841
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_7_states___root);
840
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_7_states___root)
841
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_7_states___root);
842 842

  
843 843
   
844 844

  
845
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_outports_mode = 
846
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_2
845
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_outports_mode_ = 
846
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_2
847 847
         then 
848
               (if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_states___root = 6))
848
               (if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_states___root = 6))
849 849
                  then 5
850
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_outports_mode)
851
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_outports_mode);
850
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_outports_mode_)
851
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_outports_mode_);
852 852

  
853 853
   
854
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_states___root = 
855
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_3
854
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_states___root = 
855
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_3
856 856
         then 
857
               (if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_states___root = 4))
857
               (if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_states___root = 4))
858 858
                  then 
859 859

  
860 860
                        4
861
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_states___root)
862
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_states___root);
861
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_states___root)
862
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_states___root);
863 863

  
864 864
   
865 865

  
866 866
   
867
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_outports_mode = 
868
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_3
867
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_outports_mode_ = 
868
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_3
869 869
         then 
870
               (if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_states___root = 4))
870
               (if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_states___root = 4))
871 871
                  then 4
872
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_outports_mode)
873
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_outports_mode);
872
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_outports_mode_)
873
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_outports_mode_);
874 874

  
875 875
   
876 876

  
877 877
   
878
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_4 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_states___root = 5) and 
879
      ((chart_CruiseController_ModeLogic_mode_logic_accel = 0) and 
880
      (not rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_3)));
878
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_4 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_states___root = 5) and 
879
      ((chart_CruiseController_ModeLogic_mode__logic_accel = 0) and 
880
      (not rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_3)));
881 881

  
882 882
   
883 883

  
884
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_10_states___root = 
885
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_4
884
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_10_states___root = 
885
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_4
886 886
         then 
887
               (if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_states___root = 5)
887
               (if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_states___root = 5)
888 888
                  then 
889 889

  
890 890
                        3
891
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_states___root)
892
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_states___root);
891
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_states___root)
892
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_states___root);
893 893

  
894 894
   
895
   rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_15_states___root = 
896
      (if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_4
895
   rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_15_states___root = 
896
      (if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_4
897 897
         then 
898
               (if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_10_states___root = 4))
898
               (if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_10_states___root = 4))
899 899
                  then 
900 900

  
901 901
                        4
902
                  else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_10_states___root)
903
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_10_states___root);
902
                  else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_10_states___root)
903
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_10_states___root);
904 904

  
905 905
   
906 906

  
907
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root2 = 
907
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root2 = 
908 908
      (if (not 
909 909

  
910
         ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_states___root >= 3) and 
911
         (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_states___root <= 6)))
910
         ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_states___root >= 3) and 
911
         (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_states___root <= 6)))
912 912
         then 
913 913

  
914 914
               3
915
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_states___root);
915
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_states___root);
916 916

  
917 917
   
918
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_02 = ((not 
918
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_02 = ((not 
919 919

  
920
      ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_states___root >= 3) and 
921
      (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_states___root <= 6))) and 
920
      ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_states___root >= 3) and 
921
      (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_states___root <= 6))) and 
922 922
      
923 923

  
924
      ((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root2 >= 3) and 
925
      (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root2 <= 6)));
924
      ((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root2 >= 3) and 
925
      (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root2 <= 6)));
926 926

  
927
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root2 = 
928
      (if rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_02
927
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root2 = 
928
      (if rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_02
929 929
         then 
930
               (if (not (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root2 = 4))
930
               (if (not (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root2 = 4))
931 931
                  then 
932 932

  
933 933
                        4
934
                  else rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root2)
935
         else rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root2);
934
                  else rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root2)
935
         else rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root2);
936 936

  
937 937
   
938 938

  
939
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rltCheckEntryStateConsistency_02 = ((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root2 = 4) or 
940
      ((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root2 = 5) or 
941
      (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root2 = 6)));
939
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rltCheckEntryStateConsistency_02 = ((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root2 = 4) or 
940
      ((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root2 = 5) or 
941
      (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root2 = 6)));
942 942

  
943
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root1 = 
943
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root1 = 
944 944
      (if (not 
945 945

  
946
         ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_states___root >= 3) and 
947
         (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_states___root <= 6)))
946
         ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_states___root >= 3) and 
947
         (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_states___root <= 6)))
948 948
         then 
949 949

  
950 950
               3
951
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_states___root);
951
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_states___root);
952 952

  
953 953
   
954
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_01 = ((not 
954
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_01 = ((not 
955 955

  
956
      ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_states___root >= 3) and 
957
      (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_states___root <= 6))) and 
956
      ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_states___root >= 3) and 
957
      (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_states___root <= 6))) and 
958 958
      
959 959

  
960
      ((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root1 >= 3) and 
961
      (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root1 <= 6)));
960
      ((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root1 >= 3) and 
961
      (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root1 <= 6)));
962 962

  
963 963
   
964
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root1 = 
965
      (if rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_01
964
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root1 = 
965
      (if rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_01
966 966
         then 
967
               (if (not (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root1 = 4))
967
               (if (not (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root1 = 4))
968 968
                  then 
969 969

  
970 970
                        4
971
                  else rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root1)
972
         else rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root1);
971
                  else rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root1)
972
         else rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root1);
973 973

  
974 974
   
975 975

  
976
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rltCheckEntryStateConsistency_01 = ((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root1 = 4) or 
977
      ((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root1 = 5) or 
978
      (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root1 = 6)));
976
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rltCheckEntryStateConsistency_01 = ((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root1 = 4) or 
977
      ((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root1 = 5) or 
978
      (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root1 = 6)));
979 979

  
980
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root = 
980
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root = 
981 981
      (if (not 
982 982

  
983
         ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root >= 3) and 
984
         (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root <= 6)))
983
         ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root >= 3) and 
984
         (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root <= 6)))
985 985
         then 
986 986

  
987 987
               3
988
         else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root);
988
         else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root);
989 989

  
990 990
   
991
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0 = ((not 
991
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0 = ((not 
992 992

  
993
      ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root >= 3) and 
994
      (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root <= 6))) and 
993
      ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root >= 3) and 
994
      (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root <= 6))) and 
995 995
      
996 996

  
997
      ((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root >= 3) and 
998
      (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root <= 6)));
997
      ((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root >= 3) and 
998
      (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root <= 6)));
999 999

  
1000 1000
   
1001
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root = 
1002
      (if rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0
1001
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root = 
1002
      (if rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0
1003 1003
         then 
1004
               (if (not (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root = 4))
1004
               (if (not (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root = 4))
1005 1005
                  then 
1006 1006

  
1007 1007
                        4
1008
                  else rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root)
1009
         else rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root);
1008
                  else rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root)
1009
         else rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root);
1010 1010

  
1011 1011
   
1012 1012

  
1013
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rltCheckEntryStateConsistency_0 = ((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root = 4) or 
1014
      ((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root = 5) or 
1015
      (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root = 6)));
1013
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rltCheckEntryStateConsistency_0 = ((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root = 4) or 
1014
      ((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root = 5) or 
1015
      (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root = 6)));
1016 1016

  
1017
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root = 
1017
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root = 
1018 1018
      (if (not 
1019 1019

  
1020
         ((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_states___root >= 2) and 
1021
         (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_states___root <= 8)))
1020
         ((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_states___root >= 2) and 
1021
         (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_states___root <= 8)))
1022 1022
         then 
1023 1023

  
1024 1024
               2
1025
         else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_states___root);
1025
         else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_states___root);
1026 1026

  
1027 1027
   
1028
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0 = ((not 
1028
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0 = ((not 
1029 1029

  
1030
      ((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_states___root >= 2) and 
1031
      (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_states___root <= 8))) and 
1030
      ((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_states___root >= 2) and 
1031
      (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_states___root <= 8))) and 
1032 1032
      
1033 1033

  
1034
      ((rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root >= 2) and 
1035
      (rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root <= 8)));
1034
      ((rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root >= 2) and 
1035
      (rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root <= 8)));
1036 1036

  
1037 1037
   
1038
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root = 
1039
      (if rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0
1038
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root = 
1039
      (if rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0
1040 1040
         then 
1041
               (if (not (rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root = 7))
1041
               (if (not (rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root = 7))
1042 1042
                  then 
1043 1043

  
1044 1044
                        7
1045
                  else rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root)
1046
         else rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root);
1045
                  else rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root)
1046
         else rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root);
1047 1047

  
1048 1048
   
1049 1049

  
1050
   rlt_enter_CruiseController_ModeLogic_mode_logic_On_rltCheckEntryStateConsistency_0 = (
1050
   rlt_enter_CruiseController_ModeLogic_mode__logic_On_rltCheckEntryStateConsistency_0 = (
1051 1051

  
1052
      ((rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root >= 3) and 
1053
      (rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root <= 6)) or 
1054
      ((rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root = 7) or 
1055
      (rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root = 8)));
1052
      ((rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root >= 3) and 
1053
      (rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root <= 6)) or 
1054
      ((rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root = 7) or 
1055
      (rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root = 8)));
1056 1056

  
1057 1057
   
1058
   rlt_enter_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root = 
1059
      (if (not (chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root = 1))
1058
   rlt_enter_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root = 
1059
      (if (not (chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root = 1))
1060 1060
         then 
1061 1061

  
1062 1062
               1
1063
         else chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root);
1063
         else chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root);
1064 1064

  
1065 1065
   
1066 1066

  
1067
   rlt_enter_CruiseController_ModeLogic_mode_logic_rltCheckEntryStateConsistency_0 = ((rlt_enter_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root = 1) or 
1067
   rlt_enter_CruiseController_ModeLogic_mode__logic_rltCheckEntryStateConsistency_0 = ((rlt_enter_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root = 1) or 
1068 1068
      
1069 1069

  
1070
      ((rlt_enter_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root >= 2) and 
1071
      (rlt_enter_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root <= 8)));
1070
      ((rlt_enter_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root >= 2) and 
1071
      (rlt_enter_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root <= 8)));
1072 1072

  
1073 1073
   cruise_controller_CruiseController_ModeLogic_resumeEvent_Out = (false -> ((not (pre accelResume)) and 
1074 1074
      accelResume));
......
1089 1089
      decelSet));
1090 1090

  
1091 1091
   cruise_controller_CruiseController_SetDesiredSpeed_setDesiredSpeed = 
1092
      (if (chart_CruiseController_ModeLogic_mode_logic_setDesiredSpeed <> 0)
1092
      (if (chart_CruiseController_ModeLogic_mode__logic_setDesiredSpeed <> 0)
1093 1093
         then true
1094 1094
         else false);
1095 1095

  
1096 1096
   rlt_condact_cruise_controller_CruiseController_SetDesiredSpeed_computeDecreaseInDesiredSpeed_rlt_clock = 
1097
      (if (mode = 5)
1097
      (if (mode_ = 5)
1098 1098
         then true
1099 1099
         else false);
1100 1100

  
......
1117 1117
         else (pre rlt_condact_cruise_controller_CruiseController_SetDesiredSpeed_computeDecreaseInDesiredSpeed_rlt_init_step)));
1118 1118

  
1119 1119
   rlt_condact_cruise_controller_CruiseController_SetDesiredSpeed_computeIncreaseInDesiredSpeed_rlt_clock = 
1120
      (if (mode = 6)
1120
      (if (mode_ = 6)
1121 1121
         then true
1122 1122
         else false);
1123 1123

  
......
1141 1141

  
1142 1142
   cruise_controller_CruiseController_SetDesiredSpeed_IncreaseDesiredSpeed = 
1143 1143
      (if 
1144
         (if (mode = 6)
1144
         (if (mode_ = 6)
1145 1145
            then true
1146 1146
            else false)
1147 1147
         then newDesiredSpeed
1148 1148
         else 
1149 1149
      (if 
1150
         (if (mode = 5)
1150
         (if (mode_ = 5)
1151 1151
            then true
1152 1152
            else false)
1153 1153
         then newDesiredSpeed1
1154 1154
         else 
1155 1155
      (if 
1156
         (if (mode = 4)
1156
         (if (mode_ = 4)
1157 1157
            then true
1158 1158
            else false)
1159 1159
         then cruise_controller_CruiseController_SetDesiredSpeed_GOTOL_prevDesiredSpeed
1160 1160
         else 
1161 1161
      (if 
1162
         (if (mode = 3)
1162
         (if (mode_ = 3)
1163 1163
            then true
1164 1164
            else false)
1165 1165
         then cruise_controller_CruiseController_SetDesiredSpeed_GOTOL_prevDesiredSpeed
... This diff was truncated because it exceeds the maximum size that can be displayed.

Also available in: Unified diff