| 1 |
50d06a28
|
ploc
|
node top
|
| 2 |
|
|
(onOff: bool;
|
| 3 |
|
|
decelSet: bool;
|
| 4 |
|
|
accelResume: bool;
|
| 5 |
|
|
cancel: bool;
|
| 6 |
|
|
brakePedal: bool;
|
| 7 |
|
|
carGear: int;
|
| 8 |
|
|
carSpeed: real;
|
| 9 |
|
|
validInputs: bool)
|
| 10 |
|
|
returns
|
| 11 |
|
|
(OK: bool);
|
| 12 |
|
|
|
| 13 |
|
|
var
|
| 14 |
|
|
V11_mode: int;
|
| 15 |
|
|
V14_VRP1: bool;
|
| 16 |
|
|
V15_VRP2: bool;
|
| 17 |
|
|
V16_CP8a: bool;
|
| 18 |
|
|
V17_VRP3: bool;
|
| 19 |
|
|
V18_VRP4: bool;
|
| 20 |
|
|
V19_SP4: bool;
|
| 21 |
|
|
V20_SP5: bool;
|
| 22 |
|
|
V21_SP6: bool;
|
| 23 |
|
|
V22_SP7: bool;
|
| 24 |
|
|
V23_SP3b: bool;
|
| 25 |
|
|
V25_SP3: bool;
|
| 26 |
|
|
V26_SP3a: bool;
|
| 27 |
|
|
V27_SP2: bool;
|
| 28 |
|
|
V28_SP1: bool;
|
| 29 |
|
|
V29_SP8: bool;
|
| 30 |
|
|
V30_SP9: bool;
|
| 31 |
|
|
V31_SP10: bool;
|
| 32 |
|
|
V32_SP11: bool;
|
| 33 |
|
|
V34_zz1: bool;
|
| 34 |
|
|
V35_zz2: real;
|
| 35 |
|
|
V37_zz4: bool;
|
| 36 |
|
|
V38_zz5: real;
|
| 37 |
|
|
V39_zz6: int;
|
| 38 |
|
|
V40_zz7: int;
|
| 39 |
|
|
V41_zz8: int;
|
| 40 |
|
|
V42_zz9: int;
|
| 41 |
|
|
V43_zz10: int;
|
| 42 |
|
|
V44_zz11: int;
|
| 43 |
|
|
V45_zz12: int;
|
| 44 |
|
|
V46_zz13: int;
|
| 45 |
|
|
V47_zz14: int;
|
| 46 |
|
|
V48_zz15: bool;
|
| 47 |
|
|
V49_zz16: int;
|
| 48 |
|
|
V50_zz17: int;
|
| 49 |
|
|
V51_zz18: int;
|
| 50 |
|
|
V52_zz19: bool;
|
| 51 |
|
|
V53_zz20: int;
|
| 52 |
|
|
V54_zz21: int;
|
| 53 |
|
|
V55_zz22: int;
|
| 54 |
|
|
V56_zz23: bool;
|
| 55 |
|
|
V57_zz24: bool;
|
| 56 |
|
|
V58_zz25: int;
|
| 57 |
|
|
V59_zz26: bool;
|
| 58 |
|
|
V60_zz27: bool;
|
| 59 |
|
|
V61_zz28: int;
|
| 60 |
|
|
V62_zz29: int;
|
| 61 |
|
|
V63_zz30: bool;
|
| 62 |
|
|
V64_zz31: bool;
|
| 63 |
|
|
V65_zz32: int;
|
| 64 |
|
|
V66_zz33: bool;
|
| 65 |
|
|
V67_zz34: int;
|
| 66 |
|
|
V68_zz35: int;
|
| 67 |
|
|
V69_zz36: bool;
|
| 68 |
|
|
V70_zz37: bool;
|
| 69 |
|
|
V71_zz38: int;
|
| 70 |
|
|
V72_zz39: bool;
|
| 71 |
|
|
V73_zz40: int;
|
| 72 |
|
|
V74_zz41: int;
|
| 73 |
|
|
V75_zz42: bool;
|
| 74 |
|
|
V76_zz43: bool;
|
| 75 |
|
|
V77_zz44: int;
|
| 76 |
|
|
V78_zz45: int;
|
| 77 |
|
|
V79_zz46: int;
|
| 78 |
|
|
V80_zz47: bool;
|
| 79 |
|
|
V81_zz48: bool;
|
| 80 |
|
|
V82_zz49: int;
|
| 81 |
|
|
V83_zz50: int;
|
| 82 |
|
|
V84_zz51: int;
|
| 83 |
|
|
V85_zz52: bool;
|
| 84 |
|
|
V86_zz53: int;
|
| 85 |
|
|
V87_zz54: int;
|
| 86 |
|
|
V88_zz55: int;
|
| 87 |
|
|
V89_zz56: bool;
|
| 88 |
|
|
V90_zz57: bool;
|
| 89 |
|
|
V91_zz58: int;
|
| 90 |
|
|
V92_zz59: int;
|
| 91 |
|
|
V93_zz60: int;
|
| 92 |
|
|
V94_zz61: int;
|
| 93 |
|
|
V95_zz62: int;
|
| 94 |
|
|
V96_zz63: int;
|
| 95 |
|
|
V97_zz64: bool;
|
| 96 |
|
|
V98_zz65: bool;
|
| 97 |
|
|
V99_zz66: int;
|
| 98 |
|
|
V100_zz67: int;
|
| 99 |
|
|
V101_zz68: int;
|
| 100 |
|
|
V102_zz69: int;
|
| 101 |
|
|
V103_zz70: int;
|
| 102 |
|
|
V104_zz71: int;
|
| 103 |
|
|
V105_zz72: bool;
|
| 104 |
|
|
V106_zz74: int;
|
| 105 |
|
|
V107_zz75: int;
|
| 106 |
|
|
V108_zz76: int;
|
| 107 |
|
|
V109_zz77: int;
|
| 108 |
|
|
V110_zz78: int;
|
| 109 |
|
|
V111_zz79: int;
|
| 110 |
|
|
V112_zz80: int;
|
| 111 |
|
|
V113_zz81: int;
|
| 112 |
|
|
V114_zz82: bool;
|
| 113 |
|
|
V115_zz83: int;
|
| 114 |
|
|
V116_zz84: int;
|
| 115 |
|
|
V117_zz85: int;
|
| 116 |
|
|
V118_zz86: int;
|
| 117 |
|
|
V119_zz87: bool;
|
| 118 |
|
|
V120_zz88: bool;
|
| 119 |
|
|
V121_zz89: int;
|
| 120 |
|
|
V122_zz90: bool;
|
| 121 |
|
|
V123_zz91: int;
|
| 122 |
|
|
V124_zz92: int;
|
| 123 |
|
|
V125_zz93: bool;
|
| 124 |
|
|
V126_zz94: bool;
|
| 125 |
|
|
V127_zz95: int;
|
| 126 |
|
|
V128_zz96: bool;
|
| 127 |
|
|
V129_zz97: int;
|
| 128 |
|
|
V130_zz98: int;
|
| 129 |
|
|
V131_zz99: bool;
|
| 130 |
|
|
V132_zz100: bool;
|
| 131 |
|
|
V133_zz101: int;
|
| 132 |
|
|
V134_zz102: int;
|
| 133 |
|
|
V135_zz103: int;
|
| 134 |
|
|
V136_zz104: bool;
|
| 135 |
|
|
V137_zz105: bool;
|
| 136 |
|
|
V138_zz106: int;
|
| 137 |
|
|
V139_zz107: bool;
|
| 138 |
|
|
V140_zz108: int;
|
| 139 |
|
|
V141_zz109: int;
|
| 140 |
|
|
V142_zz110: int;
|
| 141 |
|
|
V143_zz111: int;
|
| 142 |
|
|
V144_zz112: bool;
|
| 143 |
|
|
V145_zz113: int;
|
| 144 |
|
|
V146_zz114: int;
|
| 145 |
|
|
V147_zz115: int;
|
| 146 |
|
|
V148_zz116: bool;
|
| 147 |
|
|
V149_zz117: bool;
|
| 148 |
|
|
V150_zz118: int;
|
| 149 |
|
|
V151_zz119: int;
|
| 150 |
|
|
V152_zz120: int;
|
| 151 |
|
|
V153_zz121: int;
|
| 152 |
|
|
V154_zz122: int;
|
| 153 |
|
|
V155_zz123: int;
|
| 154 |
|
|
V156_zz124: int;
|
| 155 |
|
|
V157_zz125: int;
|
| 156 |
|
|
V158_zz126: int;
|
| 157 |
|
|
V159_zz127: int;
|
| 158 |
|
|
V160_zz128: bool;
|
| 159 |
|
|
V161_zz129: int;
|
| 160 |
|
|
V162_zz130: int;
|
| 161 |
|
|
V163_zz131: int;
|
| 162 |
|
|
V164_zz132: int;
|
| 163 |
|
|
V165_zz133: bool;
|
| 164 |
|
|
V166_zz134: int;
|
| 165 |
|
|
V167_zz135: int;
|
| 166 |
|
|
V168_zz136: int;
|
| 167 |
|
|
V169_zz137: int;
|
| 168 |
|
|
V170_zz138: bool;
|
| 169 |
|
|
V171_zz139: bool;
|
| 170 |
|
|
V172_zz140: int;
|
| 171 |
|
|
V173_zz141: bool;
|
| 172 |
|
|
V174_zz142: int;
|
| 173 |
|
|
V175_zz143: int;
|
| 174 |
|
|
V176_zz144: bool;
|
| 175 |
|
|
V177_zz145: bool;
|
| 176 |
|
|
V178_zz146: int;
|
| 177 |
|
|
V179_zz147: int;
|
| 178 |
|
|
V180_zz148: int;
|
| 179 |
|
|
V181_zz149: int;
|
| 180 |
|
|
V182_zz150: int;
|
| 181 |
|
|
V183_zz151: bool;
|
| 182 |
|
|
V184_zz152: bool;
|
| 183 |
|
|
V185_zz153: int;
|
| 184 |
|
|
V186_zz154: int;
|
| 185 |
|
|
V187_zz155: bool;
|
| 186 |
|
|
V188_zz156: int;
|
| 187 |
|
|
V189_zz157: int;
|
| 188 |
|
|
V190_zz158: bool;
|
| 189 |
|
|
V193_zz161: int;
|
| 190 |
|
|
V194_zz162: bool;
|
| 191 |
|
|
V198_zz166: int;
|
| 192 |
|
|
V199_zz167: int;
|
| 193 |
|
|
V200_zz168: int;
|
| 194 |
|
|
V201_zz169: int;
|
| 195 |
|
|
V202_zz170: int;
|
| 196 |
|
|
V203_zz171: bool;
|
| 197 |
|
|
V204_zz172: int;
|
| 198 |
|
|
V205_zz173: int;
|
| 199 |
|
|
V206_zz174: int;
|
| 200 |
|
|
V207_zz175: int;
|
| 201 |
|
|
V208_zz176: int;
|
| 202 |
|
|
V209_zz177: bool;
|
| 203 |
|
|
V211_zz179: bool;
|
| 204 |
|
|
V212_zz180: bool;
|
| 205 |
|
|
V213_zz181: bool;
|
| 206 |
|
|
V214_zz182: bool;
|
| 207 |
|
|
V216_zz184: bool;
|
| 208 |
|
|
V217_zz185: bool;
|
| 209 |
|
|
V218_zz186: bool;
|
| 210 |
|
|
V219_zz187: bool;
|
| 211 |
|
|
V220_zz188: bool;
|
| 212 |
|
|
V221_zz189: bool;
|
| 213 |
|
|
V222_zz190: real;
|
| 214 |
|
|
V223_zz191: bool;
|
| 215 |
|
|
V224_zz192: bool;
|
| 216 |
|
|
V225_zz193: bool;
|
| 217 |
|
|
V226_zz194: bool;
|
| 218 |
|
|
V227_zz195: bool;
|
| 219 |
|
|
V228_zz196: bool;
|
| 220 |
|
|
V229_zz197: bool;
|
| 221 |
|
|
V230_zz198: bool;
|
| 222 |
|
|
V231_zz199: bool;
|
| 223 |
|
|
V232_zz200: bool;
|
| 224 |
|
|
V233_zz201: bool;
|
| 225 |
|
|
V234_zz202: bool;
|
| 226 |
|
|
V235_zz203: bool;
|
| 227 |
|
|
V236_zz204: real;
|
| 228 |
|
|
V237_zz205: real;
|
| 229 |
|
|
V238_zz206: bool;
|
| 230 |
|
|
V239_zz207: bool;
|
| 231 |
|
|
V240_zz208: bool;
|
| 232 |
|
|
V241_zz209: bool;
|
| 233 |
|
|
V242_zz210: bool;
|
| 234 |
|
|
V243_zz211: real;
|
| 235 |
|
|
V244_zz212: bool;
|
| 236 |
|
|
V245_zz213: bool;
|
| 237 |
|
|
V246_zz214: bool;
|
| 238 |
|
|
V247_zz215: bool;
|
| 239 |
|
|
V248_zz216: bool;
|
| 240 |
|
|
V249_zz217: bool;
|
| 241 |
|
|
V250_zz218: real;
|
| 242 |
|
|
V251_zz219: real;
|
| 243 |
|
|
V252_zz220: real;
|
| 244 |
|
|
V253_zz221: real;
|
| 245 |
|
|
V254_zz222: real;
|
| 246 |
|
|
V255_zz223: real;
|
| 247 |
|
|
V256_zz224: real;
|
| 248 |
|
|
V257_zz225: real;
|
| 249 |
|
|
V258_zz226: real;
|
| 250 |
|
|
V259_zz227: real;
|
| 251 |
|
|
V260_zz228: real;
|
| 252 |
|
|
V261_zz229: real;
|
| 253 |
|
|
V262_zz230: real;
|
| 254 |
|
|
V263_zz231: bool;
|
| 255 |
|
|
V264_zz232: bool;
|
| 256 |
|
|
V265_zz233: bool;
|
| 257 |
|
|
V266_zz234: bool;
|
| 258 |
|
|
V267_zz235: bool;
|
| 259 |
|
|
V268_zz236: bool;
|
| 260 |
|
|
V269_zz237: bool;
|
| 261 |
|
|
V270_zz238: bool;
|
| 262 |
|
|
V271_zz239: bool;
|
| 263 |
|
|
|
| 264 |
|
|
let
|
| 265 |
|
|
OK = ((V106_zz74 = 4) or ((V106_zz74 = 5) or (V106_zz74 = 6)));
|
| 266 |
|
|
V11_mode = (if V187_zz155 then V186_zz154 else V182_zz150);
|
| 267 |
|
|
V14_VRP1 = (V264_zz232 and V263_zz231);
|
| 268 |
|
|
V15_VRP2 = (V266_zz234 and V265_zz233);
|
| 269 |
|
|
V16_CP8a = ((not V194_zz162) or V233_zz201);
|
| 270 |
|
|
V17_VRP3 = (not V269_zz237);
|
| 271 |
|
|
V18_VRP4 = ((V270_zz238 or V227_zz195) or V271_zz239);
|
| 272 |
|
|
V19_SP4 = ((not V235_zz203) or V226_zz194);
|
| 273 |
|
|
V20_SP5 = ((not V241_zz209) or V238_zz206);
|
| 274 |
|
|
V21_SP6 = ((not V248_zz216) or V239_zz207);
|
| 275 |
|
|
V22_SP7 = ((not V249_zz217) or V240_zz208);
|
| 276 |
|
|
V23_SP3b = ((not V230_zz198) or V232_zz200);
|
| 277 |
|
|
V25_SP3 = ((not V230_zz198) or V227_zz195);
|
| 278 |
|
|
V26_SP3a = ((not (not V241_zz209)) or (not V231_zz199));
|
| 279 |
|
|
V27_SP2 = ((not (not V233_zz201)) or V219_zz187);
|
| 280 |
|
|
V28_SP1 = ((not (not V218_zz186)) or V219_zz187);
|
| 281 |
|
|
V29_SP8 = ((not V242_zz210) or V244_zz212);
|
| 282 |
|
|
V30_SP9 = ((not V246_zz214) or V247_zz215);
|
| 283 |
|
|
V31_SP10 = ((not V223_zz191) or V224_zz192);
|
| 284 |
|
|
V32_SP11 = ((not V225_zz193) or V226_zz194);
|
| 285 |
|
|
V34_zz1 = (true -> (if (pre V249_zz217) then false else (pre V34_zz1)));
|
| 286 |
|
|
V35_zz2 = ((if (V34_zz1 and (not V249_zz217)) then 0.000000E+00 else (
|
| 287 |
|
|
V254_zz222 + 5.000000E-02)) -> (if (V34_zz1 and (not V249_zz217)) then
|
| 288 |
|
|
0.000000E+00 else (if V249_zz217 then (V254_zz222 + 5.000000E-02) else (pre
|
| 289 |
|
|
V35_zz2))));
|
| 290 |
|
|
V37_zz4 = (true -> (if (pre V248_zz216) then false else (pre V37_zz4)));
|
| 291 |
|
|
V38_zz5 = ((if (V37_zz4 and (not V248_zz216)) then 0.000000E+00 else (
|
| 292 |
|
|
V254_zz222 - 5.000000E-02)) -> (if (V37_zz4 and (not V248_zz216)) then
|
| 293 |
|
|
0.000000E+00 else (if V248_zz216 then (V254_zz222 - 5.000000E-02) else (pre
|
| 294 |
|
|
V38_zz5))));
|
| 295 |
|
|
V39_zz6 = (if (not (V82_zz49 = 4)) then 4 else V82_zz49);
|
| 296 |
|
|
V40_zz7 = (if (not (V82_zz49 = 4)) then 4 else V79_zz46);
|
| 297 |
|
|
V41_zz8 = (if (V78_zz45 = 5) then 3 else V78_zz45);
|
| 298 |
|
|
V42_zz9 = (if (not (V77_zz44 = 4)) then 4 else V77_zz44);
|
| 299 |
|
|
V43_zz10 = (if (not (V77_zz44 = 4)) then 4 else V74_zz41);
|
| 300 |
|
|
V44_zz11 = (if (V73_zz40 = 6) then 3 else V73_zz40);
|
| 301 |
|
|
V45_zz12 = (if (not (V71_zz38 = 6)) then 6 else V71_zz38);
|
| 302 |
|
|
V46_zz13 = (if (not (V71_zz38 = 6)) then 5 else V68_zz35);
|
| 303 |
|
|
V47_zz14 = (if (V67_zz34 = 4) then 3 else V67_zz34);
|
| 304 |
|
|
V48_zz15 = (if (V67_zz34 = 4) then false else V66_zz33);
|
| 305 |
|
|
V49_zz16 = (if (not (V65_zz32 = 5)) then 5 else V65_zz32);
|
| 306 |
|
|
V50_zz17 = (if (not (V65_zz32 = 5)) then 6 else V62_zz29);
|
| 307 |
|
|
V51_zz18 = (if (V61_zz28 = 4) then 3 else V61_zz28);
|
| 308 |
|
|
V52_zz19 = (if (V61_zz28 = 4) then false else V60_zz27);
|
| 309 |
|
|
V53_zz20 = (if (not (V58_zz25 = 4)) then 4 else V58_zz25);
|
| 310 |
|
|
V54_zz21 = (if (not (V58_zz25 = 4)) then 4 else V141_zz109);
|
| 311 |
|
|
V55_zz22 = (if (V140_zz108 = 4) then 3 else V140_zz108);
|
| 312 |
|
|
V56_zz23 = (if (V140_zz108 = 4) then false else V139_zz107);
|
| 313 |
|
|
V57_zz24 = ((V140_zz108 = 4) and ((if ((V217_zz185 = true) = false) then 0
|
| 314 |
|
|
else 1) <> 0));
|
| 315 |
|
|
V58_zz25 = (if V57_zz24 then V55_zz22 else V140_zz108);
|
| 316 |
|
|
V59_zz26 = (if V57_zz24 then V56_zz23 else V139_zz107);
|
| 317 |
|
|
V60_zz27 = (if V57_zz24 then true else V59_zz26);
|
| 318 |
|
|
V61_zz28 = (if V57_zz24 then V53_zz20 else V58_zz25);
|
| 319 |
|
|
V62_zz29 = (if V57_zz24 then V54_zz21 else V141_zz109);
|
| 320 |
|
|
V63_zz30 = ((V61_zz28 = 4) and (((if ((V203_zz171 = true) = false) then 0
|
| 321 |
|
|
else 1) <> 0) and (not V57_zz24)));
|
| 322 |
|
|
V64_zz31 = (V63_zz30 or V57_zz24);
|
| 323 |
|
|
V65_zz32 = (if V63_zz30 then V51_zz18 else V61_zz28);
|
| 324 |
|
|
V66_zz33 = (if V63_zz30 then V52_zz19 else V60_zz27);
|
| 325 |
|
|
V67_zz34 = (if V63_zz30 then V49_zz16 else V65_zz32);
|
| 326 |
|
|
V68_zz35 = (if V63_zz30 then V50_zz17 else V62_zz29);
|
| 327 |
|
|
V69_zz36 = ((V67_zz34 = 4) and (((if ((V209_zz177 = true) = false) then 0
|
| 328 |
|
|
else 1) <> 0) and (not V64_zz31)));
|
| 329 |
|
|
V70_zz37 = (V69_zz36 or V64_zz31);
|
| 330 |
|
|
V71_zz38 = (if V69_zz36 then V47_zz14 else V67_zz34);
|
| 331 |
|
|
V72_zz39 = (if V69_zz36 then V48_zz15 else V66_zz33);
|
| 332 |
|
|
V73_zz40 = (if V69_zz36 then V45_zz12 else V71_zz38);
|
| 333 |
|
|
V74_zz41 = (if V69_zz36 then V46_zz13 else V68_zz35);
|
| 334 |
|
|
V75_zz42 = ((V73_zz40 = 6) and (((if ((V209_zz177 = false) = false) then 0
|
| 335 |
|
|
else 1) <> 0) and (not V70_zz37)));
|
| 336 |
|
|
V76_zz43 = (V75_zz42 or V70_zz37);
|
| 337 |
|
|
V77_zz44 = (if V75_zz42 then V44_zz11 else V73_zz40);
|
| 338 |
|
|
V78_zz45 = (if V75_zz42 then V42_zz9 else V77_zz44);
|
| 339 |
|
|
V79_zz46 = (if V75_zz42 then V43_zz10 else V74_zz41);
|
| 340 |
|
|
V80_zz47 = ((V78_zz45 = 5) and (((if ((V203_zz171 = false) = false) then 0
|
| 341 |
|
|
else 1) <> 0) and (not V76_zz43)));
|
| 342 |
|
|
V81_zz48 = (V80_zz47 or V76_zz43);
|
| 343 |
|
|
V82_zz49 = (if V80_zz47 then V41_zz8 else V78_zz45);
|
| 344 |
|
|
V83_zz50 = (if V80_zz47 then V39_zz6 else V82_zz49);
|
| 345 |
|
|
V84_zz51 = (if V80_zz47 then V40_zz7 else V79_zz46);
|
| 346 |
|
|
V85_zz52 = (if ((not V81_zz48) and (V83_zz50 = 4)) then false else V72_zz39);
|
| 347 |
|
|
V86_zz53 = (if (not (V88_zz55 = 4)) then 4 else V88_zz55);
|
| 348 |
|
|
V87_zz54 = (if (not (V88_zz55 = 4)) then 4 else V135_zz103);
|
| 349 |
|
|
V88_zz55 = (if (not ((V138_zz106 >= 3) and (V138_zz106 <= 6))) then 3 else
|
| 350 |
|
|
V138_zz106);
|
| 351 |
|
|
V89_zz56 = ((not ((V138_zz106 >= 3) and (V138_zz106 <= 6))) and ((V88_zz55 >=
|
| 352 |
|
|
3) and (V88_zz55 <= 6)));
|
| 353 |
|
|
V90_zz57 = ((V91_zz58 = 4) or ((V91_zz58 = 5) or (V91_zz58 = 6)));
|
| 354 |
|
|
V91_zz58 = (if V89_zz56 then V86_zz53 else V88_zz55);
|
| 355 |
|
|
V92_zz59 = (if V89_zz56 then V87_zz54 else V135_zz103);
|
| 356 |
|
|
V93_zz60 = (if (V134_zz102 = 7) then 2 else V134_zz102);
|
| 357 |
|
|
V94_zz61 = (if (not (V96_zz63 = 4)) then 4 else V96_zz63);
|
| 358 |
|
|
V95_zz62 = (if (not (V96_zz63 = 4)) then 4 else V130_zz98);
|
| 359 |
|
|
V96_zz63 = (if (not ((V133_zz101 >= 3) and (V133_zz101 <= 6))) then 3 else
|
| 360 |
|
|
V133_zz101);
|
| 361 |
|
|
V97_zz64 = ((not ((V133_zz101 >= 3) and (V133_zz101 <= 6))) and ((V96_zz63 >=
|
| 362 |
|
|
3) and (V96_zz63 <= 6)));
|
| 363 |
|
|
V98_zz65 = ((V99_zz66 = 4) or ((V99_zz66 = 5) or (V99_zz66 = 6)));
|
| 364 |
|
|
V99_zz66 = (if V97_zz64 then V94_zz61 else V96_zz63);
|
| 365 |
|
|
V100_zz67 = (if V97_zz64 then V95_zz62 else V130_zz98);
|
| 366 |
|
|
V101_zz68 = (if (V129_zz97 = 8) then 2 else V129_zz97);
|
| 367 |
|
|
V102_zz69 = (if (not (V104_zz71 = 4)) then 4 else V104_zz71);
|
| 368 |
|
|
V103_zz70 = (if (not (V104_zz71 = 4)) then 4 else V124_zz92);
|
| 369 |
|
|
V104_zz71 = (if (not ((V127_zz95 >= 3) and (V127_zz95 <= 6))) then 3 else
|
| 370 |
|
|
V127_zz95);
|
| 371 |
|
|
V105_zz72 = ((not ((V127_zz95 >= 3) and (V127_zz95 <= 6))) and ((V104_zz71 >=
|
| 372 |
|
|
3) and (V104_zz71 <= 6)));
|
| 373 |
|
|
V106_zz74 = (if V105_zz72 then V102_zz69 else V104_zz71);
|
| 374 |
|
|
V107_zz75 = (if V105_zz72 then V103_zz70 else V124_zz92);
|
| 375 |
|
|
V108_zz76 = (if (V123_zz91 = 8) then 2 else V123_zz91);
|
| 376 |
|
|
V109_zz77 = (if (not (V121_zz89 = 8)) then 8 else V121_zz89);
|
| 377 |
|
|
V110_zz78 = (if (not (V121_zz89 = 8)) then 3 else V180_zz148);
|
| 378 |
|
|
V111_zz79 = (if (V116_zz84 = 6) then 3 else V116_zz84);
|
| 379 |
|
|
V112_zz80 = (if (V115_zz83 = 5) then 3 else V115_zz83);
|
| 380 |
|
|
V113_zz81 = (if (V179_zz147 = 4) then 3 else V179_zz147);
|
| 381 |
|
|
V114_zz82 = (if (V179_zz147 = 4) then false else V173_zz141);
|
| 382 |
|
|
V115_zz83 = (if ((V179_zz147 >= 3) and (V179_zz147 <= 6)) then V113_zz81 else
|
| 383 |
|
|
V179_zz147);
|
| 384 |
|
|
V116_zz84 = (if ((V179_zz147 >= 3) and (V179_zz147 <= 6)) then V112_zz80 else
|
| 385 |
|
|
V115_zz83);
|
| 386 |
|
|
V117_zz85 = (if ((V179_zz147 >= 3) and (V179_zz147 <= 6)) then V111_zz79 else
|
| 387 |
|
|
V116_zz84);
|
| 388 |
|
|
V118_zz86 = (if ((V179_zz147 >= 3) and (V179_zz147 <= 6)) then 2 else
|
| 389 |
|
|
V117_zz85);
|
| 390 |
|
|
V119_zz87 = (if ((V179_zz147 >= 3) and (V179_zz147 <= 6)) then V114_zz82 else
|
| 391 |
|
|
V173_zz141);
|
| 392 |
|
|
V120_zz88 = (((V179_zz147 >= 3) and (V179_zz147 <= 6)) and (not V218_zz186));
|
| 393 |
|
|
V121_zz89 = (if V120_zz88 then V118_zz86 else V179_zz147);
|
| 394 |
|
|
V122_zz90 = (if V120_zz88 then V119_zz87 else V173_zz141);
|
| 395 |
|
|
V123_zz91 = (if V120_zz88 then V109_zz77 else V121_zz89);
|
| 396 |
|
|
V124_zz92 = (if V120_zz88 then V110_zz78 else V180_zz148);
|
| 397 |
|
|
V125_zz93 = ((V123_zz91 = 8) and ((((if ((V217_zz185 = true) = false) then 0
|
| 398 |
|
|
else 1) <> 0) and ((if ((V218_zz186 = true) = false) then 0 else 1) <> 0))
|
| 399 |
|
|
and (not V120_zz88)));
|
| 400 |
|
|
V126_zz94 = (V125_zz93 or V120_zz88);
|
| 401 |
|
|
V127_zz95 = (if V125_zz93 then V108_zz76 else V123_zz91);
|
| 402 |
|
|
V128_zz96 = (if V125_zz93 then true else V122_zz90);
|
| 403 |
|
|
V129_zz97 = (if V125_zz93 then V106_zz74 else V127_zz95);
|
| 404 |
|
|
V130_zz98 = (if V125_zz93 then V107_zz75 else V124_zz92);
|
| 405 |
|
|
V131_zz99 = ((V129_zz97 = 8) and ((((if ((V212_zz180 = true) = false) then 0
|
| 406 |
|
|
else 1) <> 0) and ((if ((V218_zz186 = true) = false) then 0 else 1) <> 0))
|
| 407 |
|
|
and (not V126_zz94)));
|
| 408 |
|
|
V132_zz100 = (V131_zz99 or V126_zz94);
|
| 409 |
|
|
V133_zz101 = (if V131_zz99 then V101_zz68 else V129_zz97);
|
| 410 |
|
|
V134_zz102 = (if V131_zz99 then V99_zz66 else V133_zz101);
|
| 411 |
|
|
V135_zz103 = (if V131_zz99 then V100_zz67 else V130_zz98);
|
| 412 |
|
|
V136_zz104 = ((V134_zz102 = 7) and ((((if ((V217_zz185 = true) = false) then
|
| 413 |
|
|
0 else 1) <> 0) and ((if ((V218_zz186 = true) = false) then 0 else 1) <> 0))
|
| 414 |
|
|
and (not V132_zz100)));
|
| 415 |
|
|
V137_zz105 = (V136_zz104 or V132_zz100);
|
| 416 |
|
|
V138_zz106 = (if V136_zz104 then V93_zz60 else V134_zz102);
|
| 417 |
|
|
V139_zz107 = (if V136_zz104 then true else V128_zz96);
|
| 418 |
|
|
V140_zz108 = (if V136_zz104 then V91_zz58 else V138_zz106);
|
| 419 |
|
|
V141_zz109 = (if V136_zz104 then V92_zz59 else V135_zz103);
|
| 420 |
|
|
V142_zz110 = (if ((not V137_zz105) and ((V140_zz108 >= 3) and (V140_zz108 <=
|
| 421 |
|
|
6))) then V83_zz50 else V140_zz108);
|
| 422 |
|
|
V143_zz111 = (if ((not V137_zz105) and ((V140_zz108 >= 3) and (V140_zz108 <=
|
| 423 |
|
|
6))) then V84_zz51 else V141_zz109);
|
| 424 |
|
|
V144_zz112 = (if ((not V137_zz105) and ((V140_zz108 >= 3) and (V140_zz108 <=
|
| 425 |
|
|
6))) then V85_zz52 else V139_zz107);
|
| 426 |
|
|
V145_zz113 = (if (not (V147_zz115 = 7)) then 7 else V147_zz115);
|
| 427 |
|
|
V146_zz114 = (if (not (V147_zz115 = 7)) then 2 else V175_zz143);
|
| 428 |
|
|
V147_zz115 = (if (not ((V178_zz146 >= 2) and (V178_zz146 <= 8))) then 2 else
|
| 429 |
|
|
V178_zz146);
|
| 430 |
|
|
V148_zz116 = ((not ((V178_zz146 >= 2) and (V178_zz146 <= 8))) and ((
|
| 431 |
|
|
V147_zz115 >= 2) and (V147_zz115 <= 8)));
|
| 432 |
|
|
V149_zz117 = (((V150_zz118 >= 3) and (V150_zz118 <= 6)) or ((V150_zz118 = 7)
|
| 433 |
|
|
or (V150_zz118 = 8)));
|
| 434 |
|
|
V150_zz118 = (if V148_zz116 then V145_zz113 else V147_zz115);
|
| 435 |
|
|
V151_zz119 = (if V148_zz116 then V146_zz114 else V175_zz143);
|
| 436 |
|
|
V152_zz120 = (if (V174_zz142 = 1) then 0 else V174_zz142);
|
| 437 |
|
|
V153_zz121 = (if (not (V172_zz140 = 1)) then 1 else V172_zz140);
|
| 438 |
|
|
V154_zz122 = (if (not (V172_zz140 >= 1)) then 1 else V189_zz157);
|
| 439 |
|
|
V155_zz123 = (if (V167_zz135 = 8) then 2 else V167_zz135);
|
| 440 |
|
|
V156_zz124 = (if (V166_zz134 = 7) then 2 else V166_zz134);
|
| 441 |
|
|
V157_zz125 = (if (V162_zz130 = 6) then 3 else V162_zz130);
|
| 442 |
|
|
V158_zz126 = (if (V161_zz129 = 5) then 3 else V161_zz129);
|
| 443 |
|
|
V159_zz127 = (if (V188_zz156 = 4) then 3 else V188_zz156);
|
| 444 |
|
|
V160_zz128 = (if (V188_zz156 = 4) then false else V190_zz158);
|
| 445 |
|
|
V161_zz129 = (if ((V188_zz156 >= 3) and (V188_zz156 <= 6)) then V159_zz127
|
| 446 |
|
|
else V188_zz156);
|
| 447 |
|
|
V162_zz130 = (if ((V188_zz156 >= 3) and (V188_zz156 <= 6)) then V158_zz126
|
| 448 |
|
|
else V161_zz129);
|
| 449 |
|
|
V163_zz131 = (if ((V188_zz156 >= 3) and (V188_zz156 <= 6)) then V157_zz125
|
| 450 |
|
|
else V162_zz130);
|
| 451 |
|
|
V164_zz132 = (if ((V188_zz156 >= 3) and (V188_zz156 <= 6)) then 2 else
|
| 452 |
|
|
V163_zz131);
|
| 453 |
|
|
V165_zz133 = (if ((V188_zz156 >= 3) and (V188_zz156 <= 6)) then V160_zz128
|
| 454 |
|
|
else V190_zz158);
|
| 455 |
|
|
V166_zz134 = (if ((V188_zz156 >= 2) and (V188_zz156 <= 8)) then V164_zz132
|
| 456 |
|
|
else V188_zz156);
|
| 457 |
|
|
V167_zz135 = (if ((V188_zz156 >= 2) and (V188_zz156 <= 8)) then V156_zz124
|
| 458 |
|
|
else V166_zz134);
|
| 459 |
|
|
V168_zz136 = (if ((V188_zz156 >= 2) and (V188_zz156 <= 8)) then V155_zz123
|
| 460 |
|
|
else V167_zz135);
|
| 461 |
|
|
V169_zz137 = (if ((V188_zz156 >= 2) and (V188_zz156 <= 8)) then 0 else
|
| 462 |
|
|
V168_zz136);
|
| 463 |
|
|
V170_zz138 = (if ((V188_zz156 >= 2) and (V188_zz156 <= 8)) then V165_zz133
|
| 464 |
|
|
else V190_zz158);
|
| 465 |
|
|
V171_zz139 = (((V188_zz156 >= 2) and (V188_zz156 <= 8)) and (not onOff));
|
| 466 |
|
|
V172_zz140 = (if V171_zz139 then V169_zz137 else V188_zz156);
|
| 467 |
|
|
V173_zz141 = (if V171_zz139 then V170_zz138 else V190_zz158);
|
| 468 |
|
|
V174_zz142 = (if V171_zz139 then V153_zz121 else V172_zz140);
|
| 469 |
|
|
V175_zz143 = (if V171_zz139 then V154_zz122 else V189_zz157);
|
| 470 |
|
|
V176_zz144 = ((V174_zz142 = 1) and (onOff and (not V171_zz139)));
|
| 471 |
|
|
V177_zz145 = (V176_zz144 or V171_zz139);
|
| 472 |
|
|
V178_zz146 = (if V176_zz144 then V152_zz120 else V174_zz142);
|
| 473 |
|
|
V179_zz147 = (if V176_zz144 then V150_zz118 else V178_zz146);
|
| 474 |
|
|
V180_zz148 = (if V176_zz144 then V151_zz119 else V175_zz143);
|
| 475 |
|
|
V181_zz149 = (if ((not V177_zz145) and ((V179_zz147 >= 2) and (V179_zz147 <=
|
| 476 |
|
|
8))) then V142_zz110 else V179_zz147);
|
| 477 |
|
|
V182_zz150 = (if ((not V177_zz145) and ((V179_zz147 >= 2) and (V179_zz147 <=
|
| 478 |
|
|
8))) then V143_zz111 else V180_zz148);
|
| 479 |
|
|
V183_zz151 = (if ((not V177_zz145) and ((V179_zz147 >= 2) and (V179_zz147 <=
|
| 480 |
|
|
8))) then V144_zz112 else V173_zz141);
|
| 481 |
|
|
V184_zz152 = ((V185_zz153 = 1) or ((V185_zz153 >= 2) and (V185_zz153 <= 8)));
|
| 482 |
|
|
V185_zz153 = (if (not (V188_zz156 = 1)) then 1 else V188_zz156);
|
| 483 |
|
|
V186_zz154 = (if (not (V188_zz156 = 1)) then 1 else V189_zz157);
|
| 484 |
|
|
V187_zz155 = (true -> (if (pre true) then false else (pre V187_zz155)));
|
| 485 |
|
|
V188_zz156 = (0 -> (pre V193_zz161));
|
| 486 |
|
|
V189_zz157 = (0 -> (pre V11_mode));
|
| 487 |
|
|
V190_zz158 = (false -> (pre V194_zz162));
|
| 488 |
|
|
V193_zz161 = (if V187_zz155 then V185_zz153 else V181_zz149);
|
| 489 |
|
|
V194_zz162 = (if V187_zz155 then V190_zz158 else V183_zz151);
|
| 490 |
|
|
V198_zz166 = (if (0 >= V200_zz168) then 0 else V200_zz168);
|
| 491 |
|
|
V199_zz167 = (V201_zz169 + 1);
|
| 492 |
|
|
V200_zz168 = (if accelResume then V199_zz167 else 0);
|
| 493 |
|
|
V201_zz169 = (0 -> (pre V202_zz170));
|
| 494 |
|
|
V202_zz170 = (if (V198_zz166 <= 20) then V198_zz166 else 20);
|
| 495 |
|
|
V203_zz171 = (V202_zz170 = 20);
|
| 496 |
|
|
V204_zz172 = (if (0 >= V206_zz174) then 0 else V206_zz174);
|
| 497 |
|
|
V205_zz173 = (V207_zz175 + 1);
|
| 498 |
|
|
V206_zz174 = (if decelSet then V205_zz173 else 0);
|
| 499 |
|
|
V207_zz175 = (0 -> (pre V208_zz176));
|
| 500 |
|
|
V208_zz176 = (if (V204_zz172 <= 20) then V204_zz172 else 20);
|
| 501 |
|
|
V209_zz177 = (V208_zz176 = 20);
|
| 502 |
|
|
V211_zz179 = (true -> (pre accelResume));
|
| 503 |
|
|
V212_zz180 = ((not V211_zz179) and accelResume);
|
| 504 |
|
|
V213_zz181 = (carGear = 3);
|
| 505 |
|
|
V214_zz182 = (carSpeed >= 1.500000E+01);
|
| 506 |
|
|
V216_zz184 = (true -> (pre decelSet));
|
| 507 |
|
|
V217_zz185 = ((not V216_zz184) and decelSet);
|
| 508 |
|
|
V218_zz186 = (((((not cancel) and (not brakePedal)) and V213_zz181) and
|
| 509 |
|
|
V214_zz182) and validInputs);
|
| 510 |
|
|
V219_zz187 = (V236_zz204 = 0.000000E+00);
|
| 511 |
|
|
V220_zz188 = (V222_zz190 <> 1.000000E+02);
|
| 512 |
|
|
V221_zz189 = (false -> (pre V249_zz217));
|
| 513 |
|
|
V222_zz190 = (if (V253_zz221 < 0.000000E+00) then 0.000000E+00 else (if (
|
| 514 |
|
|
V253_zz221 > 1.000000E+02) then 1.000000E+02 else V253_zz221));
|
| 515 |
|
|
V223_zz191 = (V221_zz189 and V220_zz188);
|
| 516 |
|
|
V224_zz192 = (V243_zz211 > V222_zz190);
|
| 517 |
|
|
V225_zz193 = (V222_zz190 <> 0.000000E+00);
|
| 518 |
|
|
V226_zz194 = (V222_zz190 >= 1.500000E+01);
|
| 519 |
|
|
V227_zz195 = (V222_zz190 = 0.000000E+00);
|
| 520 |
|
|
V228_zz196 = (V11_mode = 2);
|
| 521 |
|
|
V229_zz197 = (V11_mode = 1);
|
| 522 |
|
|
V230_zz198 = (V229_zz197 or V228_zz196);
|
| 523 |
|
|
V231_zz199 = ((if (V194_zz162 = false) then 0.000000E+00 else 1.000000E+00) =
|
| 524 |
|
|
1.000000E+00);
|
| 525 |
|
|
V232_zz200 = (V255_zz223 = 0.000000E+00);
|
| 526 |
|
|
V233_zz201 = ((V241_zz209 or V248_zz216) or V249_zz217);
|
| 527 |
|
|
V234_zz202 = (V11_mode = 3);
|
| 528 |
|
|
V235_zz203 = (V233_zz201 or V234_zz202);
|
| 529 |
|
|
V236_zz204 = (if V233_zz201 then V258_zz226 else 0.000000E+00);
|
| 530 |
|
|
V237_zz205 = (0.000000E+00 -> (pre V236_zz204));
|
| 531 |
|
|
V238_zz206 = (V237_zz205 = V236_zz204);
|
| 532 |
|
|
V239_zz207 = (V243_zz211 <= V222_zz190);
|
| 533 |
|
|
V240_zz208 = (V243_zz211 >= V222_zz190);
|
| 534 |
|
|
V241_zz209 = (V11_mode = 4);
|
| 535 |
|
|
V242_zz210 = (false -> (pre V241_zz209));
|
| 536 |
|
|
V243_zz211 = (0.000000E+00 -> (pre V222_zz190));
|
| 537 |
|
|
V244_zz212 = (V243_zz211 = V222_zz190);
|
| 538 |
|
|
V245_zz213 = (false -> (pre V248_zz216));
|
| 539 |
|
|
V246_zz214 = (V245_zz213 and V225_zz193);
|
| 540 |
|
|
V247_zz215 = (V243_zz211 < V222_zz190);
|
| 541 |
|
|
V248_zz216 = (V11_mode = 5);
|
| 542 |
|
|
V249_zz217 = (V11_mode = 6);
|
| 543 |
|
|
V250_zz218 = (if V248_zz216 then V38_zz5 else V252_zz220);
|
| 544 |
|
|
V251_zz219 = (if V234_zz202 then V254_zz222 else 0.000000E+00);
|
| 545 |
|
|
V252_zz220 = (if V241_zz209 then V254_zz222 else V251_zz219);
|
| 546 |
|
|
V253_zz221 = (if V194_zz162 then carSpeed else V255_zz223);
|
| 547 |
|
|
V254_zz222 = (0.000000E+00 -> (pre V222_zz190));
|
| 548 |
|
|
V255_zz223 = (if V249_zz217 then V35_zz2 else V250_zz218);
|
| 549 |
|
|
V256_zz224 = (0.000000E+00 -> (pre V236_zz204));
|
| 550 |
|
|
V257_zz225 = (V262_zz230 + V256_zz224);
|
| 551 |
|
|
V258_zz226 = (if (V257_zz225 < 0.000000E+00) then 0.000000E+00 else (if (
|
| 552 |
|
|
V257_zz225 > 1.000000E+02) then 1.000000E+02 else V257_zz225));
|
| 553 |
|
|
V259_zz227 = (V222_zz190 - carSpeed);
|
| 554 |
|
|
V260_zz228 = (V259_zz227 * 1.000000E+00);
|
| 555 |
|
|
V261_zz229 = (if (V260_zz228 < -1.000000E+01) then -1.000000E+01 else (if (
|
| 556 |
|
|
V260_zz228 > 1.000000E+01) then 1.000000E+01 else V260_zz228));
|
| 557 |
|
|
V262_zz230 = (V261_zz229 / 2.000000E+01);
|
| 558 |
|
|
V263_zz231 = (V236_zz204 <= 1.000000E+02);
|
| 559 |
|
|
V264_zz232 = (V236_zz204 >= 0.000000E+00);
|
| 560 |
|
|
V265_zz233 = (V222_zz190 <= 1.000000E+02);
|
| 561 |
|
|
V266_zz234 = (V222_zz190 >= 0.000000E+00);
|
| 562 |
|
|
V267_zz235 = (V222_zz190 < 0.000000E+00);
|
| 563 |
|
|
V268_zz236 = (V222_zz190 > 0.000000E+00);
|
| 564 |
|
|
V269_zz237 = (V268_zz236 and V267_zz235);
|
| 565 |
|
|
V270_zz238 = (V222_zz190 = V243_zz211);
|
| 566 |
|
|
V271_zz239 = (V222_zz190 = carSpeed);
|
| 567 |
|
|
tel
|