Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr Buildings_8_Buildings.Obsolete.Controls.OBC.CDL.Continuous.Validation.HysteresisWithHold.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 8.1.4-maint.8.1.x/package.mo", uses=false) Using package Buildings with version 8.1.4 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 8.1.4-maint.8.1.x/package.mo) Using package Modelica with version 3.2.3 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo) Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo) Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo) Running command: translateModel(Buildings.Obsolete.Controls.OBC.CDL.Continuous.Validation.HysteresisWithHold,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Obsolete.Controls.OBC.CDL.Continuous.Validation.HysteresisWithHold") translateModel(Buildings.Obsolete.Controls.OBC.CDL.Continuous.Validation.HysteresisWithHold,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Obsolete.Controls.OBC.CDL.Continuous.Validation.HysteresisWithHold") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001146/0.001147, allocations: 104.3 kB / 16.37 MB, free: 6.367 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.00107/0.00107, allocations: 192.3 kB / 17.3 MB, free: 5.91 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo): time 1.12/1.12, allocations: 205.1 MB / 223.2 MB, free: 12.27 MB / 190.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 8.1.4-maint.8.1.x/package.mo): time 1.519/1.519, allocations: 292.3 MB / 0.5496 GB, free: 17.47 MB / 462.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 1.772e-05/1.775e-05, allocations: 6.219 kB / 0.6729 GB, free: 5.895 MB / 0.545 GB Notification: Performance of NFInst.instantiate(Buildings.Obsolete.Controls.OBC.CDL.Continuous.Validation.HysteresisWithHold): time 0.004696/0.004726, allocations: 4.147 MB / 0.6769 GB, free: 1.719 MB / 0.545 GB Notification: Performance of NFInst.instExpressions: time 0.003009/0.007749, allocations: 2.557 MB / 0.6794 GB, free: 15.15 MB / 0.5606 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.0002631/0.008024, allocations: 31.81 kB / 0.6794 GB, free: 15.12 MB / 0.5606 GB Notification: Performance of NFTyping.typeComponents: time 0.0003424/0.008373, allocations: 201.7 kB / 0.6796 GB, free: 14.92 MB / 0.5606 GB Notification: Performance of NFTyping.typeBindings: time 0.0002767/0.008656, allocations: 178.1 kB / 0.6798 GB, free: 14.74 MB / 0.5606 GB Notification: Performance of NFTyping.typeClassSections: time 0.001463/0.01014, allocations: 1.202 MB / 0.681 GB, free: 13.54 MB / 0.5606 GB Notification: Performance of NFFlatten.flatten: time 0.001848/0.012, allocations: 2.67 MB / 0.6836 GB, free: 10.87 MB / 0.5606 GB Notification: Performance of NFFlatten.resolveConnections: time 0.001788/0.01379, allocations: 2.047 MB / 0.6856 GB, free: 8.766 MB / 0.5606 GB Notification: Performance of NFEvalConstants.evaluate: time 0.0007975/0.0146, allocations: 1.083 MB / 0.6866 GB, free: 7.68 MB / 0.5606 GB Notification: Performance of NFSimplifyModel.simplify: time 0.000704/0.01531, allocations: 1 MB / 0.6876 GB, free: 6.676 MB / 0.5606 GB Notification: Performance of NFPackage.collectConstants: time 0.0003098/0.01563, allocations: 364 kB / 0.688 GB, free: 6.32 MB / 0.5606 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0003143/0.01595, allocations: 371.9 kB / 0.6883 GB, free: 5.957 MB / 0.5606 GB Notification: Performance of combineBinaries: time 0.001506/0.01746, allocations: 2.806 MB / 0.6911 GB, free: 3.121 MB / 0.5606 GB Notification: Performance of replaceArrayConstructors: time 0.0006955/0.01817, allocations: 1.562 MB / 0.6926 GB, free: 1.535 MB / 0.5606 GB Notification: Performance of NFVerifyModel.verify: time 0.0002705/0.01844, allocations: 347.1 kB / 0.6929 GB, free: 1.195 MB / 0.5606 GB Notification: Performance of FrontEnd: time 0.0001854/0.01863, allocations: 190.6 kB / 0.6931 GB, free: 1.008 MB / 0.5606 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 489 (465) * Number of variables: 457 (433) Notification: Performance of Bindings: time 0.007063/0.0257, allocations: 8.975 MB / 0.7019 GB, free: 7.793 MB / 0.5762 GB Notification: Performance of FunctionAlias: time 0.00128/0.02699, allocations: 1.595 MB / 0.7034 GB, free: 6.184 MB / 0.5762 GB Notification: Performance of Early Inline: time 0.005858/0.03286, allocations: 7.083 MB / 0.7103 GB, free: 15.03 MB / 0.5919 GB Notification: Performance of simplify1: time 0.0003718/0.03324, allocations: 375.4 kB / 0.7107 GB, free: 14.66 MB / 0.5919 GB Notification: Performance of Alias: time 0.01014/0.04339, allocations: 11.18 MB / 0.7216 GB, free: 2.547 MB / 0.5919 GB Notification: Performance of simplify2: time 0.0002174/0.04362, allocations: 267.6 kB / 0.7219 GB, free: 2.285 MB / 0.5919 GB Notification: Performance of Events: time 0.00193/0.04555, allocations: 2.074 MB / 0.7239 GB, free: 176 kB / 0.5919 GB Notification: Performance of Detect States: time 0.002175/0.04774, allocations: 2.84 MB / 0.7267 GB, free: 13.25 MB / 0.6075 GB Notification: Performance of Partitioning: time 0.002124/0.04987, allocations: 2.286 MB / 0.7289 GB, free: 10.89 MB / 0.6075 GB Error: Internal error NBSorting.tarjan failed to sort system: system vars Variables (320/357) ********************************* (1) [DISC] (1) protected Boolean onHold_30s.truFalHol.outputFalse.newActive (2) [DISC] (1) protected Boolean[1] noHold.truFalHol.outputTrue.outPort.reset (3) [DISC] (1) protected final Boolean offHold_300s.truFalHol.toFalse.localCondition = offHold_300s.truFalHol.toFalse.localCondition (4) [DISC] (1) protected Boolean[1] offHold_300s.truFalHol.outputFalse.outPort.available (5) [DISC] (1) protected Boolean[1] onHold_150s.truFalHol.outputTrue.outPort.reset (6) [DISC] (2) protected Boolean[2] onHold_30s.truFalHol.outputFalse.inPort.occupied (7) [DISC] (1) protected Boolean[1] onHold_30s.truFalHol.outputFalse.outPort.available (8) [DISS] (1) protected Real onHold_30s.truFalHol.onDel2.t_next (9) [ALGB] (1) protected flow Real offHold_300s.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (10) [DISC] (1) protected Boolean offHold_300s.truFalHol.toFalse1.outPort.set (11) [ALGB] (1) protected flow Real offHold_300s.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (12) [DISC] (2) protected Boolean[2] offHold_300s.truFalHol.outputFalse.inPort.occupied (13) [DISC] (1) protected Boolean noHold.truFalHol.toFalse1.outPort.occupied (14) [ALGB] (1) protected flow Real onHold_150s.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (15) [DISC] (2) Boolean[2] $SEV_60[$i1] (16) [DISC] (1) protected Boolean[1] offHold_300s.truFalHol.outputTrue.outPort.reset (17) [DISC] (1) protected Boolean onHold_150s.truFalHol.toTrue1.outPort.occupied (18) [DISC] (1) protected Boolean noHold.truFalHol.outputTrue.outerStatePort.localActive = noHold.truFalHol.outputTrue.outerStatePort.localActive (19) [DISC] (1) protected Boolean noHold.truFalHol.outputTrue.newActive (20) [DISS] (1) protected Boolean onHold_30s.truFalHol.onDel2.y (21) [DISC] (2) Boolean[2] $SEV_45[$i1] (22) [DISC] (1) protected Boolean offHold_300s.truFalHol.outputFalse.outerStatePort.localActive = offHold_300s.truFalHol.outputFalse.outerStatePort.localActive (23) [DISC] (2) protected Boolean[2] offHold_300s.truFalHol.outputTrue.inPort.set (24) [DISC] (1) protected final Boolean onHold_150s.truFalHol.toFalse.localCondition = onHold_150s.truFalHol.toFalse.localCondition (25) [DISC] (1) protected Boolean offHold_300s.truFalHol.toFalse1.inPort.available (26) [DISC] (1) protected Boolean offHold_300s.truFalHol.toTrue.outPort.occupied (27) [DISS] (1) protected Boolean offHold_300s.truFalHol.outputTrue.oldActive (28) [ALGB] (1) protected flow Real onHold_150s.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (29) [DISC] (1) protected Boolean offHold_300s.truFalHol.toTrue1.outPort.occupied (30) [DISC] (2) protected Boolean[2] onHold_150s.truFalHol.outputFalse.inPort.occupied (31) [DISC] (1) protected Boolean noHold.truFalHol.toFalse1.inPort.available (32) [ALGB] (1) protected flow Real noHold.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (33) [DISS] (1) protected Real onHold_30s.truFalHol.onDel1.t_next (34) [ALGB] (1) Real onHold_150s.u (35) [DISS] (1) protected Boolean offHold_300s.truFalHol.outputFalse.oldActive (36) [DISC] (1) protected Boolean onHold_150s.truFalHol.toFalse.outPort.set (37) [DISC] (2) protected Boolean[2] offHold_300s.truFalHol.initialStep.outPort.available (38) [DISC] (1) protected Boolean onHold_150s.truFalHol.toTrue.outPort.set (39) [DISC] (1) protected Boolean onHold_150s.truFalHol.outputTrue.outerStatePort.localActive = onHold_150s.truFalHol.outputTrue.outerStatePort.localActive (40) [DISC] (1) protected Integer onHold_30s.truFalHol.stateGraphRoot.activeSteps (41) [DISC] (1) protected Boolean onHold_30s.truFalHol.outputTrue.newActive (42) [DISC] (1) protected final Boolean noHold.truFalHol.toFalse.localCondition = noHold.truFalHol.toFalse.localCondition (43) [DISC] (1) protected Boolean[1] onHold_150s.truFalHol.outputFalse.outPort.available (44) [DISS] (1) protected Boolean onHold_30s.truFalHol.onDel1.y (45) [ALGB] (1) protected flow Real noHold.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (46) [DISC] (1) protected Boolean noHold.truFalHol.outputFalse.newActive (47) [DISC] (1) protected Boolean[1] onHold_150s.truFalHol.outputFalse.outPort.reset (48) [DISC] (2) protected Boolean[2] onHold_30s.truFalHol.outputFalse.inPort.set (49) [DISC] (2) Boolean[2] $SEV_57[$i1] (50) [DISS] (1) protected Boolean onHold_30s.truFalHol.initialStep.oldActive (51) [DISC] (2) protected Boolean[2] onHold_150s.truFalHol.outputFalse.inPort.set (52) [DISC] (2) protected Boolean[2] onHold_150s.truFalHol.initialStep.outPort.available (53) [DISC] (2) Boolean[2] $SEV_30[$i1] (54) [DISC] (1) protected Boolean onHold_30s.truFalHol.toFalse.outPort.set (55) [DISC] (1) Boolean $TEV_9 (56) [DISC] (1) Boolean $TEV_8 (57) [DISC] (1) Boolean $TEV_7 (58) [DISC] (1) protected final Boolean noHold.truFalHol.toTrue.localCondition = noHold.truFalHol.toTrue.localCondition (59) [DISC] (1) Boolean $TEV_6 (60) [DISC] (1) Boolean $TEV_5 (61) [DISC] (2) protected Boolean[2] noHold.truFalHol.initialStep.outPort.available (62) [DISC] (1) Boolean $TEV_4 (63) [DISC] (1) Boolean $TEV_3 (64) [DISC] (1) protected Boolean noHold.truFalHol.toTrue.outPort.set (65) [DISC] (1) Boolean $TEV_2 (66) [DISC] (1) Boolean $TEV_1 (67) [DISC] (1) Boolean $TEV_0 (68) [DISC] (2) Boolean[2] $SEV_15[$i1] (69) [DISC] (1) protected final Boolean offHold_300s.truFalHol.toTrue.localCondition = offHold_300s.truFalHol.toTrue.localCondition (70) [DISC] (1) protected final Boolean onHold_150s.truFalHol.toTrue1.localCondition = onHold_150s.truFalHol.toTrue1.localCondition (71) [DISC] (1) protected Boolean[1] noHold.truFalHol.outputFalse.outPort.available (72) [DISC] (2) protected Boolean[2] noHold.truFalHol.initialStep.outPort.reset (73) [DISC] (1) protected Boolean onHold_30s.truFalHol.outputFalse.outerStatePort.localActive = onHold_30s.truFalHol.outputFalse.outerStatePort.localActive (74) [DISC] (1) protected Boolean onHold_30s.truFalHol.toFalse1.outPort.set (75) [DISC] (1) protected Boolean offHold_300s.truFalHol.toFalse.outPort.set (76) [DISC] (1) protected Boolean onHold_30s.truFalHol.toTrue.inPort.available (77) [DISC] (1) protected Boolean onHold_30s.truFalHol.toTrue1.outPort.occupied (78) [DISC] (1) protected Boolean onHold_30s.truFalHol.outputTrue.outerStatePort.localActive = onHold_30s.truFalHol.outputTrue.outerStatePort.localActive (79) [DISC] (1) protected Boolean onHold_150s.truFalHol.toFalse.inPort.available (80) [DISS] (1) protected Real noHold.truFalHol.onDel2.t_next (81) [DISC] (2) Boolean[2] $SEV_42[$i1] (82) [DISC] (1) protected Boolean onHold_150s.truFalHol.outputFalse.newActive (83) [DISC] (1) protected Boolean noHold.truFalHol.toTrue1.outPort.set (84) [DISC] (1) protected Boolean[1] onHold_30s.truFalHol.outputFalse.outPort.reset (85) [DISC] (2) protected Boolean[2] onHold_30s.truFalHol.outputTrue.inPort.set (86) [DISC] (1) protected Boolean onHold_150s.truFalHol.outputTrue.newActive (87) [DISC] (1) protected Boolean[1] onHold_30s.truFalHol.outputTrue.outPort.reset (88) [DISC] (1) protected Boolean[1] offHold_300s.truFalHol.outputTrue.outPort.available (89) [DISC] (2) Boolean[2] $SEV_27[$i1] (90) [DISC] (2) protected Boolean[2] onHold_30s.truFalHol.initialStep.outPort.available (91) [DISC] (1) protected Boolean onHold_150s.truFalHol.outputFalse.outerStatePort.localActive = onHold_150s.truFalHol.outputFalse.outerStatePort.localActive (92) [ALGB] (1) protected flow Real onHold_30s.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (93) [DISC] (1) protected Boolean offHold_300s.truFalHol.toFalse.outPort.occupied (94) [DISC] (1) protected final Boolean noHold.truFalHol.toTrue1.localCondition = noHold.truFalHol.toTrue1.localCondition (95) [DISS] (1) protected Real offHold_300s.truFalHol.onDel1.t_next (96) [DISS] (1) protected Boolean offHold_300s.truFalHol.onDel2.y (97) [DISS] (1) protected Boolean onHold_150s.truFalHol.initialStep.oldActive (98) [DISC] (2) protected Boolean[2] onHold_30s.truFalHol.outputTrue.inPort.occupied (99) [DISS] (1) protected Boolean onHold_30s.truFalHol.outputFalse.oldActive (100) [ALGB] (1) protected flow Real onHold_30s.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (101) [DISC] (1) protected Boolean onHold_150s.truFalHol.toFalse.outPort.occupied (102) [DISC] (2) protected Boolean[2] noHold.truFalHol.outputFalse.inPort.set (103) [DISC] (1) protected Boolean noHold.truFalHol.initialStep.outerStatePort.localActive = noHold.truFalHol.initialStep.outerStatePort.localActive (104) [DISC] (1) protected Boolean offHold_300s.truFalHol.toTrue.inPort.available (105) [DISC] (1) protected Boolean offHold_300s.truFalHol.toFalse1.outPort.occupied (106) [DISS] (1) protected Boolean onHold_150s.truFalHol.onDel1.y (107) [DISS] (1) protected Real noHold.truFalHol.onDel1.t_next (108) [DISS] (1) protected Boolean offHold_300s.truFalHol.initialStep.oldActive (109) [ALGB] (1) protected flow Real offHold_300s.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (110) [DISC] (1) protected Boolean onHold_150s.truFalHol.toTrue.outPort.occupied (111) [ALGB] (1) protected flow Real onHold_30s.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (112) [DISC] (1) protected Boolean onHold_150s.truFalHol.toTrue1.inPort.available (113) [DISS] (1) protected Boolean offHold_300s.truFalHol.onDel1.y (114) [DISC] (1) Boolean $SEV_9 (115) [DISC] (1) Boolean $SEV_8 (116) [DISC] (1) protected Boolean offHold_300s.truFalHol.outputTrue.outerStatePort.localActive = offHold_300s.truFalHol.outputTrue.outerStatePort.localActive (117) [DISC] (1) protected Boolean onHold_150s.truFalHol.toFalse1.outPort.set (118) [DISC] (1) Boolean $SEV_5 (119) [DISC] (1) Boolean $SEV_4 (120) [DISS] (1) protected Boolean noHold.truFalHol.outputTrue.oldActive (121) [DISS] (1) protected Real offHold_300s.truFalHol.onDel2.t_next (122) [DISC] (2) Boolean[2] $SEV_12[$i1] (123) [DISC] (1) protected final Boolean onHold_30s.truFalHol.toTrue.localCondition = onHold_30s.truFalHol.toTrue.localCondition (124) [DISC] (1) protected Boolean noHold.truFalHol.toTrue.inPort.available (125) [DISC] (1) protected Boolean offHold_300s.truFalHol.outputTrue.newActive (126) [ALGB] (1) protected flow Real onHold_150s.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (127) [DISS] (1) protected Boolean onHold_150s.truFalHol.onDel2.y (128) [DISC] (1) protected Boolean noHold.truFalHol.initialStep.newActive (129) [DISC] (1) protected Boolean offHold_300s.truFalHol.toTrue1.inPort.available (130) [DISC] (1) protected Boolean onHold_30s.truFalHol.toFalse.inPort.available (131) [DISC] (1) Boolean $SEV_64 (132) [DISC] (1) protected Boolean onHold_150s.truFalHol.toFalse1.outPort.occupied (133) [DISC] (1) Boolean $SEV_63 (134) [DISC] (1) Boolean $SEV_62 (135) [DISC] (2) protected Boolean[2] noHold.truFalHol.outputTrue.inPort.set (136) [DISC] (1) Boolean $SEV_61 (137) [DISC] (1) protected final Boolean offHold_300s.truFalHol.toTrue1.localCondition = offHold_300s.truFalHol.toTrue1.localCondition (138) [DISC] (1) protected Boolean noHold.truFalHol.toFalse1.outPort.set (139) [DISC] (1) protected Boolean noHold.truFalHol.outputFalse.outerStatePort.localActive = noHold.truFalHol.outputFalse.outerStatePort.localActive (140) [DISC] (1) protected Integer onHold_150s.truFalHol.stateGraphRoot.activeSteps (141) [DISS] (1) protected Boolean onHold_30s.truFalHol.outputTrue.oldActive (142) [DISC] (2) protected Boolean[2] noHold.truFalHol.outputFalse.inPort.occupied (143) [DISC] (1) Boolean $SEV_59 (144) [DISC] (1) Boolean $SEV_58 (145) [DISS] (1) protected Boolean noHold.truFalHol.outputFalse.oldActive (146) [DISC] (1) Boolean $SEV_56 (147) [DISC] (1) Boolean $SEV_55 (148) [DISC] (1) Boolean $SEV_54 (149) [DISC] (1) Boolean $SEV_53 (150) [DISC] (1) Boolean $SEV_51 (151) [DISC] (1) Boolean $SEV_50 (152) [DISC] (2) Boolean[2] $SEV_52[$i1] (153) [DISC] (1) protected Boolean onHold_30s.truFalHol.initialStep.newActive (154) [DISC] (1) Boolean $TEV_64 (155) [DISC] (1) Boolean $TEV_63 (156) [DISC] (1) Boolean $TEV_62 (157) [DISC] (1) protected Boolean onHold_30s.truFalHol.initialStep.outerStatePort.localActive = onHold_30s.truFalHol.initialStep.outerStatePort.localActive (158) [DISC] (1) protected Boolean onHold_150s.truFalHol.initialStep.outerStatePort.localActive = onHold_150s.truFalHol.initialStep.outerStatePort.localActive (159) [DISC] (1) Boolean $TEV_61 (160) [DISC] (1) Boolean $TEV_60 (161) [DISC] (2) Boolean[2] $SEV_37[$i1] (162) [DISC] (2) protected Boolean[2] noHold.truFalHol.outputTrue.inPort.occupied (163) [DISC] (1) Boolean $SEV_49 (164) [DISC] (1) Boolean $SEV_48 (165) [DISC] (1) Boolean $SEV_47 (166) [DISC] (1) Boolean $SEV_46 (167) [DISC] (1) protected Boolean offHold_300s.truFalHol.toTrue.outPort.set (168) [DISC] (1) Boolean $SEV_44 (169) [DISC] (1) Boolean $SEV_43 (170) [DISC] (1) protected Boolean noHold.truFalHol.toFalse.outPort.set (171) [DISC] (2) protected Boolean[2] offHold_300s.truFalHol.initialStep.outPort.reset (172) [DISC] (1) protected Integer offHold_300s.truFalHol.stateGraphRoot.activeSteps (173) [DISC] (1) Boolean $SEV_41 (174) [DISC] (1) Boolean $SEV_40 (175) [DISC] (1) Boolean $TEV_59 (176) [DISC] (1) Boolean $TEV_58 (177) [DISC] (1) protected final Boolean onHold_30s.truFalHol.toTrue1.localCondition = onHold_30s.truFalHol.toTrue1.localCondition (178) [DISC] (1) Boolean $TEV_57 (179) [DISC] (1) Boolean $TEV_56 (180) [DISC] (1) Boolean $TEV_55 (181) [DISC] (1) protected Boolean noHold.truFalHol.toFalse.inPort.available (182) [DISC] (1) Boolean $TEV_54 (183) [DISC] (1) Boolean $TEV_53 (184) [DISC] (2) protected Boolean[2] offHold_300s.truFalHol.outputTrue.inPort.occupied (185) [DISC] (1) Boolean $FUN_9 (186) [DISC] (1) Boolean $TEV_52 (187) [DISC] (1) protected Boolean[1] noHold.truFalHol.outputFalse.outPort.reset (188) [DISC] (1) Boolean $FUN_8 (189) [DISC] (1) Boolean $TEV_51 (190) [DISC] (1) Boolean $FUN_7 (191) [DISC] (1) Boolean $TEV_50 (192) [ALGB] (1) protected flow Real onHold_150s.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (193) [DISC] (1) Boolean $FUN_5 (194) [DISC] (1) Boolean $FUN_4 (195) [DISC] (1) Boolean $FUN_22 (196) [DISC] (1) Boolean $FUN_3 (197) [DISC] (1) Boolean $FUN_21 (198) [DISC] (1) Boolean $FUN_2 (199) [ALGB] (1) protected flow Real noHold.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (200) [DISC] (1) Boolean $FUN_20 (201) [ALGB] (1) Real $FUN_1 (202) [DISC] (1) protected Boolean onHold_30s.truFalHol.toFalse1.outPort.occupied (203) [DISC] (1) protected Integer noHold.truFalHol.stateGraphRoot.activeSteps (204) [DISC] (1) protected Boolean onHold_150s.truFalHol.toTrue.inPort.available (205) [DISC] (1) Boolean $SEV_39 (206) [DISC] (1) Boolean $SEV_38 (207) [DISC] (1) Boolean $SEV_36 (208) [DISC] (1) protected Boolean[1] noHold.truFalHol.outputTrue.outPort.available (209) [DISC] (1) Boolean $SEV_35 (210) [ALGB] (1) protected flow Real onHold_30s.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (211) [DISC] (1) Boolean $SEV_34 (212) [DISC] (1) Boolean $SEV_33 (213) [DISC] (1) protected Boolean[1] onHold_30s.truFalHol.outputTrue.outPort.available (214) [DISC] (1) Boolean $SEV_32 (215) [DISC] (1) Boolean $SEV_31 (216) [DISC] (1) protected Boolean onHold_30s.truFalHol.toTrue.outPort.set (217) [DISC] (1) protected Boolean offHold_300s.truFalHol.outputFalse.newActive (218) [DISC] (1) Boolean $TEV_49 (219) [DISC] (1) Boolean $TEV_48 (220) [ALGB] (1) protected flow Real offHold_300s.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (221) [DISC] (1) Boolean $TEV_47 (222) [DISC] (1) Boolean $TEV_46 (223) [DISC] (1) Boolean $TEV_45 (224) [DISC] (1) Boolean $TEV_44 (225) [DISC] (1) Boolean $FUN_19 (226) [DISC] (1) Boolean $TEV_43 (227) [DISC] (1) Boolean $FUN_18 (228) [DISC] (1) Boolean $TEV_42 (229) [DISC] (1) Boolean $FUN_17 (230) [DISC] (1) Boolean $TEV_41 (231) [DISC] (1) Boolean $FUN_16 (232) [DISC] (1) Boolean $TEV_40 (233) [DISC] (1) Boolean $FUN_15 (234) [DISC] (1) Boolean $FUN_14 (235) [DISC] (1) Boolean $FUN_13 (236) [DISC] (1) Boolean $FUN_12 (237) [DISC] (1) Boolean $FUN_11 (238) [DISC] (1) Boolean $FUN_10 (239) [DISS] (1) protected Boolean onHold_150s.truFalHol.outputTrue.oldActive (240) [DISC] (2) protected Boolean[2] onHold_150s.truFalHol.initialStep.outPort.reset (241) [DISS] (1) protected Real onHold_150s.truFalHol.onDel1.t_next (242) [DISC] (1) Boolean $SEV_29 (243) [DISC] (2) Boolean[2] $SEV_22[$i1] (244) [DISC] (1) Boolean $SEV_28 (245) [DISC] (1) Boolean $SEV_26 (246) [DISC] (1) Boolean $SEV_25 (247) [DISC] (1) Boolean $SEV_24 (248) [DISC] (1) Boolean $SEV_23 (249) [DISC] (1) Boolean $SEV_21 (250) [DISC] (1) Boolean $SEV_20 (251) [DISC] (1) Boolean $TEV_39 (252) [DISC] (1) Boolean $TEV_38 (253) [DISC] (1) protected final Boolean onHold_150s.truFalHol.toTrue.localCondition = onHold_150s.truFalHol.toTrue.localCondition (254) [DISC] (1) Boolean $TEV_37 (255) [DISC] (1) Boolean $TEV_36 (256) [DISC] (1) protected Boolean noHold.truFalHol.toTrue1.inPort.available (257) [DISC] (1) Boolean $TEV_35 (258) [DISC] (1) Boolean $TEV_34 (259) [DISC] (1) Boolean $TEV_33 (260) [DISC] (1) Boolean $TEV_32 (261) [DISC] (1) Boolean $TEV_31 (262) [DISC] (1) protected Boolean onHold_30s.truFalHol.toTrue1.outPort.set (263) [DISC] (1) Boolean $TEV_30 (264) [DISC] (1) protected Boolean offHold_300s.truFalHol.initialStep.outerStatePort.localActive = offHold_300s.truFalHol.initialStep.outerStatePort.localActive (265) [DISC] (1) protected Boolean onHold_30s.truFalHol.toFalse1.inPort.available (266) [DISC] (1) protected Boolean[1] onHold_150s.truFalHol.outputTrue.outPort.available (267) [DISC] (1) protected Boolean onHold_30s.truFalHol.toFalse.outPort.occupied (268) [DISC] (1) Boolean $SEV_19 (269) [DISC] (1) Boolean $SEV_18 (270) [DISC] (1) protected Boolean noHold.truFalHol.toTrue.outPort.occupied (271) [DISC] (1) Boolean $SEV_17 (272) [DISC] (1) Boolean $SEV_16 (273) [DISC] (1) protected Boolean onHold_150s.truFalHol.toTrue1.outPort.set (274) [DISC] (1) Boolean $SEV_14 (275) [DISC] (1) protected Boolean noHold.truFalHol.toFalse.outPort.occupied (276) [DISC] (1) Boolean $SEV_13 (277) [DISC] (1) Boolean $SEV_11 (278) [DISC] (1) Boolean $SEV_10 (279) [DISC] (1) Boolean $TEV_29 (280) [DISC] (1) Boolean $TEV_28 (281) [DISC] (1) protected final Boolean onHold_30s.truFalHol.toFalse.localCondition = onHold_30s.truFalHol.toFalse.localCondition (282) [DISS] (1) protected Boolean noHold.truFalHol.onDel2.y (283) [DISC] (1) protected Boolean offHold_300s.truFalHol.initialStep.newActive (284) [DISC] (1) Boolean $TEV_27 (285) [DISC] (1) Boolean $TEV_26 (286) [DISC] (1) Boolean $TEV_25 (287) [DISC] (1) Boolean $TEV_24 (288) [DISC] (1) protected Boolean onHold_30s.truFalHol.toTrue.outPort.occupied (289) [DISC] (1) Boolean $TEV_23 (290) [DISC] (1) Boolean $TEV_22 (291) [DISC] (1) Boolean $TEV_21 (292) [DISC] (2) Boolean[2] $SEV_7[$i1] (293) [DISC] (1) Boolean $TEV_20 (294) [DISC] (1) protected Boolean[1] offHold_300s.truFalHol.outputFalse.outPort.reset (295) [DISC] (1) protected Boolean onHold_30s.truFalHol.toTrue1.inPort.available (296) [DISC] (1) protected Boolean offHold_300s.truFalHol.toTrue1.outPort.set (297) [DISC] (2) protected Boolean[2] offHold_300s.truFalHol.outputFalse.inPort.set (298) [DISS] (1) protected Real onHold_150s.truFalHol.onDel2.t_next (299) [DISS] (1) protected Boolean onHold_150s.truFalHol.outputFalse.oldActive (300) [ALGB] (1) protected flow Real noHold.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (301) [DISC] (1) Boolean $TEV_19 (302) [DISC] (1) Boolean $TEV_18 (303) [DISC] (1) protected Boolean noHold.truFalHol.toTrue1.outPort.occupied (304) [DISC] (1) Boolean $TEV_17 (305) [DISC] (1) Boolean $TEV_16 (306) [DISC] (1) Boolean $TEV_15 (307) [DISC] (1) Boolean $TEV_14 (308) [DISC] (1) Boolean $TEV_13 (309) [DISC] (2) protected Boolean[2] onHold_30s.truFalHol.initialStep.outPort.reset (310) [DISC] (1) Boolean $TEV_12 (311) [DISC] (1) Boolean $TEV_11 (312) [DISC] (1) Boolean $TEV_10 (313) [DISS] (1) protected Boolean noHold.truFalHol.initialStep.oldActive (314) [DISC] (1) protected Boolean onHold_150s.truFalHol.toFalse1.inPort.available (315) [DISC] (1) protected Boolean offHold_300s.truFalHol.toFalse.inPort.available (316) [DISS] (1) protected Boolean noHold.truFalHol.onDel1.y (317) [DISC] (2) Boolean[2] $SEV_6[$i1] (318) [DISC] (2) protected Boolean[2] onHold_150s.truFalHol.outputTrue.inPort.occupied (319) [DISC] (1) protected Boolean onHold_150s.truFalHol.initialStep.newActive (320) [DISC] (2) protected Boolean[2] onHold_150s.truFalHol.outputTrue.inPort.set system eqns Equations (352/389) ********************************* (1) [SCAL] (1) offHold_300s.truFalHol.toTrue.outPort.occupied = offHold_300s.truFalHol.outputTrue.inPort[2].occupied ($RES_SIM_429) (2) [SCAL] (1) $SEV_54 = noHold.truFalHol.onDel1.y and noHold.truFalHol.toTrue1.localCondition ($RES_EVT_725) (3) [SCAL] (1) $SEV_55 = noHold.truFalHol.onDel2.y and not noHold.truFalHol.toTrue1.localCondition ($RES_EVT_726) (4) [SCAL] (1) $SEV_56 = (noHold.truFalHol.toFalse.localCondition and noHold.truFalHol.toFalse.inPort.available) and not noHold.truFalHol.toFalse.outPort.occupied ($RES_EVT_727) (5) [FOR-] (2) ($RES_EVT_728) (5) [----] for $i1 in 1:2 loop (5) [----] [SCAL] (1) $SEV_57[$i1] = noHold.truFalHol.outputTrue.inPort[$i1 - 1].occupied or noHold.truFalHol.outputTrue.inPort[$i1 - 1].set ($RES_EVT_729) (5) [----] end for; (6) [SCAL] (1) onHold_30s.truFalHol.outputTrue.outPort[1].reset = false ($RES_SIM_258) (7) [SCAL] (1) noHold.truFalHol.toTrue1.outPort.set = noHold.truFalHol.outputTrue.inPort[1].set ($RES_SIM_510) (8) [FOR-] (2) ($RES_SIM_259) (8) [----] for $i1 in 1:2 loop (8) [----] [SCAL] (1) onHold_30s.truFalHol.outputTrue.inPort[$i1].set = false ($RES_SIM_260) (8) [----] end for; (9) [SCAL] (1) noHold.truFalHol.toTrue1.outPort.occupied = noHold.truFalHol.outputTrue.inPort[1].occupied ($RES_SIM_511) (10) [SCAL] (1) noHold.truFalHol.toTrue.outPort.set = $SEV_59 ($RES_SIM_343) (11) [SCAL] (1) $TEV_45 = $PRE.onHold_30s.truFalHol.onDel2.t_next ($RES_EVT_640) (12) [SCAL] (1) $TEV_46 = $PRE.onHold_30s.truFalHol.onDel1.t_next ($RES_EVT_641) (13) [FOR-] (2) ($RES_SIM_171) (13) [----] for $i1 in 1:2 loop (13) [----] [SCAL] (1) offHold_300s.truFalHol.initialStep.outPort[$i1].available = if $SEV_6[$i1] then offHold_300s.truFalHol.initialStep.outerStatePort.localActive else $SEV_22[$i1] ($RES_SIM_172) (13) [----] end for; (14) [SCAL] (1) $TEV_47 = $PRE.onHold_30s.truFalHol.toTrue1.localCondition ($RES_EVT_642) (15) [SCAL] (1) $TEV_48 = $PRE.noHold.truFalHol.toFalse1.outPort.set ($RES_EVT_643) (16) [SCAL] (1) noHold.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_348) (17) [WHEN] (1)when false then (17) [----] offHold_300s.truFalHol.initialStep.oldActive := offHold_300s.truFalHol.initialStep.outerStatePort.localActive (17) [----] end when; (18) [SCAL] (1) $TEV_49 = $PRE.noHold.truFalHol.toTrue1.outPort.set ($RES_EVT_644) (19) [FOR-] (2) ($RES_SIM_349) (19) [----] for $i1 in 1:2 loop (19) [----] [SCAL] (1) noHold.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_350) (19) [----] end for; (20) [SCAL] (1) offHold_300s.truFalHol.initialStep.newActive = $SEV_23 ($RES_SIM_174) (21) [SCAL] (1) $TEV_50 = $PRE.noHold.truFalHol.initialStep.oldActive ($RES_EVT_645) (22) [SCAL] (1) offHold_300s.truFalHol.initialStep.outerStatePort.localActive = $TEV_20 ($RES_SIM_175) (23) [SCAL] (1) $TEV_51 = $PRE.noHold.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_646) (24) [SCAL] (1) $TEV_52 = $PRE.noHold.truFalHol.initialStep.newActive ($RES_EVT_647) (25) [SCAL] (1) offHold_300s.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if offHold_300s.truFalHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_177) (26) [SCAL] (1) $TEV_53 = $PRE.noHold.truFalHol.toFalse.outPort.set ($RES_EVT_648) (27) [SCAL] (1) offHold_300s.truFalHol.toTrue.localCondition = $SEV_24 ($RES_SIM_178) (28) [SCAL] (1) $TEV_54 = $PRE.noHold.truFalHol.outputTrue.oldActive ($RES_EVT_649) (29) [SCAL] (1) offHold_300s.truFalHol.toTrue1.outPort.set = offHold_300s.truFalHol.outputTrue.inPort[1].set ($RES_SIM_430) (30) [SCAL] (1) offHold_300s.truFalHol.toFalse.localCondition = $SEV_25 ($RES_SIM_179) (31) [SCAL] (1) offHold_300s.truFalHol.toTrue1.outPort.occupied = offHold_300s.truFalHol.outputTrue.inPort[1].occupied ($RES_SIM_431) (32) [SCAL] (1) $SEV_58 = $FUN_4 or noHold.truFalHol.outputTrue.outerStatePort.localActive and not $FUN_5 ($RES_EVT_730) (33) [SCAL] (1) $SEV_59 = (noHold.truFalHol.toTrue.localCondition and noHold.truFalHol.toTrue.inPort.available) and not noHold.truFalHol.toTrue.outPort.occupied ($RES_EVT_731) (34) [SCAL] (1) onHold_30s.truFalHol.outputTrue.outPort[1].available = onHold_30s.truFalHol.outputTrue.outerStatePort.localActive ($RES_SIM_261) (35) [FOR-] (2) ($RES_EVT_732) (35) [----] for $i1 in 1:2 loop (35) [----] [SCAL] (1) $SEV_60[$i1] = noHold.truFalHol.outputFalse.inPort[$i1 - 1].occupied or noHold.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_733) (35) [----] end for; (36) [FOR-] (2) ($RES_SIM_262) (36) [----] for $i1 in 1:2 loop (36) [----] [SCAL] (1) onHold_30s.truFalHol.outputTrue.inPort[$i1].occupied = if $SEV_6[$i1] then onHold_30s.truFalHol.outputTrue.outerStatePort.localActive else $SEV_42[$i1] ($RES_SIM_263) (36) [----] end for; (37) [SCAL] (1) $SEV_61 = $FUN_2 or noHold.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_3 ($RES_EVT_734) (38) [WHEN] (1)when false then (38) [----] onHold_30s.truFalHol.outputTrue.oldActive := onHold_30s.truFalHol.outputTrue.outerStatePort.localActive (38) [----] end when; (39) [SCAL] (1) $SEV_62 = time >= $PRE.noHold.truFalHol.onDel2.t_next ($RES_EVT_735) (40) [SCAL] (1) onHold_30s.truFalHol.outputTrue.newActive = $SEV_43 ($RES_SIM_265) (41) [SCAL] (1) $SEV_63 = time >= $PRE.noHold.truFalHol.onDel1.t_next ($RES_EVT_736) (42) [SCAL] (1) onHold_30s.truFalHol.outputTrue.outerStatePort.localActive = $TEV_40 ($RES_SIM_266) (43) [SCAL] (1) $SEV_64 = not $PRE.noHold.truFalHol.toTrue1.localCondition and onHold_150s.u > noHold.hysteresis.uHigh or $PRE.noHold.truFalHol.toTrue1.localCondition and onHold_150s.u >= noHold.hysteresis.uLow ($RES_EVT_737) (44) [SCAL] (1) onHold_30s.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if onHold_30s.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_268) (45) [SCAL] (1) noHold.truFalHol.toFalse.outPort.set = noHold.truFalHol.outputFalse.inPort[1].set ($RES_SIM_520) (46) [SCAL] (1) noHold.truFalHol.toFalse.outPort.occupied = noHold.truFalHol.outputFalse.inPort[1].occupied ($RES_SIM_521) (47) [SCAL] (1) noHold.truFalHol.outputFalse.outPort[1].reset = noHold.truFalHol.toTrue.outPort.set ($RES_SIM_522) (48) [SCAL] (1) noHold.truFalHol.outputFalse.outPort[1].available = noHold.truFalHol.toTrue.inPort.available ($RES_SIM_523) (49) [SCAL] (1) noHold.truFalHol.outputTrue.outPort[1].reset = noHold.truFalHol.toFalse.outPort.set ($RES_SIM_526) (50) [SCAL] (1) noHold.truFalHol.outputFalse.outPort[1].available = noHold.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_351) (51) [SCAL] (1) noHold.truFalHol.outputTrue.outPort[1].available = noHold.truFalHol.toFalse.inPort.available ($RES_SIM_527) (52) [FOR-] (2) ($RES_SIM_352) (52) [----] for $i1 in 1:2 loop (52) [----] [SCAL] (1) noHold.truFalHol.outputFalse.inPort[$i1].occupied = if $SEV_6[$i1] then noHold.truFalHol.outputFalse.outerStatePort.localActive else $SEV_60[$i1] ($RES_SIM_353) (52) [----] end for; (53) [WHEN] (1)when false then (53) [----] noHold.truFalHol.outputFalse.oldActive := noHold.truFalHol.outputFalse.outerStatePort.localActive (53) [----] end when; (54) [SCAL] (1) $TEV_55 = $PRE.noHold.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_650) (55) [SCAL] (1) noHold.truFalHol.outputFalse.newActive = $SEV_61 ($RES_SIM_355) (56) [SCAL] (1) $TEV_56 = $PRE.noHold.truFalHol.outputTrue.newActive ($RES_EVT_651) (57) [SCAL] (1) noHold.truFalHol.outputFalse.outerStatePort.localActive = $TEV_60 ($RES_SIM_356) (58) [SCAL] (1) $TEV_57 = $PRE.noHold.truFalHol.toTrue.outPort.set ($RES_EVT_652) (59) [SCAL] (1) offHold_300s.truFalHol.toFalse.outPort.set = $SEV_26 ($RES_SIM_182) (60) [SCAL] (1) $TEV_58 = $PRE.noHold.truFalHol.outputFalse.oldActive ($RES_EVT_653) (61) [SCAL] (1) noHold.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if noHold.truFalHol.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_358) (62) [SCAL] (1) $TEV_59 = $PRE.noHold.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_654) (63) [SCAL] (1) $TEV_60 = $PRE.noHold.truFalHol.outputFalse.newActive ($RES_EVT_655) (64) [SCAL] (1) $TEV_61 = $PRE.noHold.truFalHol.onDel2.t_next ($RES_EVT_656) (65) [SCAL] (1) $TEV_62 = $PRE.noHold.truFalHol.onDel1.t_next ($RES_EVT_657) (66) [SCAL] (1) offHold_300s.truFalHol.outputTrue.outPort[1].reset = false ($RES_SIM_187) (67) [SCAL] (1) $TEV_63 = $PRE.noHold.truFalHol.toTrue1.localCondition ($RES_EVT_658) (68) [FOR-] (2) ($RES_SIM_188) (68) [----] for $i1 in 1:2 loop (68) [----] [SCAL] (1) offHold_300s.truFalHol.outputTrue.inPort[$i1].set = false ($RES_SIM_189) (68) [----] end for; (69) [SCAL] (1) $TEV_64 = time < pulse1.startTime ($RES_EVT_659) (70) [SCAL] (1) offHold_300s.truFalHol.toFalse.outPort.set = offHold_300s.truFalHol.outputFalse.inPort[1].set ($RES_SIM_440) (71) [SCAL] (1) offHold_300s.truFalHol.toFalse.outPort.occupied = offHold_300s.truFalHol.outputFalse.inPort[1].occupied ($RES_SIM_441) (72) [SCAL] (1) offHold_300s.truFalHol.outputFalse.outPort[1].reset = offHold_300s.truFalHol.toTrue.outPort.set ($RES_SIM_442) (73) [SCAL] (1) offHold_300s.truFalHol.outputFalse.outPort[1].available = offHold_300s.truFalHol.toTrue.inPort.available ($RES_SIM_443) (74) [SCAL] (1) offHold_300s.truFalHol.outputTrue.outPort[1].reset = offHold_300s.truFalHol.toFalse.outPort.set ($RES_SIM_446) (75) [SCAL] (1) onHold_30s.truFalHol.toTrue.outPort.set = $SEV_44 ($RES_SIM_272) (76) [SCAL] (1) offHold_300s.truFalHol.outputTrue.outPort[1].available = offHold_300s.truFalHol.toFalse.inPort.available ($RES_SIM_447) (77) [SCAL] (1) onHold_30s.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_277) (78) [FOR-] (2) ($RES_SIM_278) (78) [----] for $i1 in 1:2 loop (78) [----] [SCAL] (1) onHold_30s.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_279) (78) [----] end for; (79) [SCAL] (1) noHold.truFalHol.stateGraphRoot.activeSteps = -integer(noHold.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_362) (80) [WHEN] (1)when $SEV_62 then (80) [----] noHold.truFalHol.onDel2.y := noHold.truFalHol.outputTrue.outerStatePort.localActive (80) [----] else when not noHold.truFalHol.outputTrue.outerStatePort.localActive then (80) [----] noHold.truFalHol.onDel2.y := false (80) [----] else when noHold.truFalHol.outputTrue.outerStatePort.localActive then (80) [----] noHold.truFalHol.onDel2.y := not noHold.truFalHol.onDel2.delayTime > 0.0 (80) [----] else when initial() then (80) [----] noHold.truFalHol.onDel2.y := if not (noHold.truFalHol.onDel2.delayOnInit and noHold.truFalHol.onDel2.delayTime > 0.0) then noHold.truFalHol.outputTrue.outerStatePort.localActive else false (80) [----] end when; (81) [WHEN] (1)when $SEV_62 then (81) [----] noHold.truFalHol.onDel2.t_next := noHold.truFalHol.onDel2.t_past (81) [----] else when not noHold.truFalHol.outputTrue.outerStatePort.localActive then (81) [----] noHold.truFalHol.onDel2.t_next := noHold.truFalHol.onDel2.t_past (81) [----] else when noHold.truFalHol.outputTrue.outerStatePort.localActive then (81) [----] noHold.truFalHol.onDel2.t_next := time + noHold.truFalHol.onDel2.delayTime (81) [----] else when initial() then (81) [----] noHold.truFalHol.onDel2.t_next := if not noHold.truFalHol.onDel2.delayOnInit then noHold.truFalHol.onDel2.t_past else time + noHold.truFalHol.onDel2.delayTime (81) [----] end when; (82) [SCAL] (1) offHold_300s.truFalHol.outputTrue.outPort[1].available = offHold_300s.truFalHol.outputTrue.outerStatePort.localActive ($RES_SIM_190) (83) [WHEN] (1)when $SEV_63 then (83) [----] noHold.truFalHol.onDel1.y := noHold.truFalHol.outputFalse.outerStatePort.localActive (83) [----] else when not noHold.truFalHol.outputFalse.outerStatePort.localActive then (83) [----] noHold.truFalHol.onDel1.y := false (83) [----] else when noHold.truFalHol.outputFalse.outerStatePort.localActive then (83) [----] noHold.truFalHol.onDel1.y := not noHold.truFalHol.onDel1.delayTime > 0.0 (83) [----] else when initial() then (83) [----] noHold.truFalHol.onDel1.y := if not (noHold.truFalHol.onDel1.delayOnInit and noHold.truFalHol.onDel1.delayTime > 0.0) then noHold.truFalHol.outputFalse.outerStatePort.localActive else false (83) [----] end when; (84) [FOR-] (2) ($RES_SIM_191) (84) [----] for $i1 in 1:2 loop (84) [----] [SCAL] (1) offHold_300s.truFalHol.outputTrue.inPort[$i1].occupied = if $SEV_6[$i1] then offHold_300s.truFalHol.outputTrue.outerStatePort.localActive else $SEV_27[$i1] ($RES_SIM_192) (84) [----] end for; (85) [WHEN] (1)when $SEV_63 then (85) [----] noHold.truFalHol.onDel1.t_next := noHold.truFalHol.onDel1.t_past (85) [----] else when not noHold.truFalHol.outputFalse.outerStatePort.localActive then (85) [----] noHold.truFalHol.onDel1.t_next := noHold.truFalHol.onDel1.t_past (85) [----] else when noHold.truFalHol.outputFalse.outerStatePort.localActive then (85) [----] noHold.truFalHol.onDel1.t_next := time + noHold.truFalHol.onDel1.delayTime (85) [----] else when initial() then (85) [----] noHold.truFalHol.onDel1.t_next := if not noHold.truFalHol.onDel1.delayOnInit then noHold.truFalHol.onDel1.t_past else time + noHold.truFalHol.onDel1.delayTime (85) [----] end when; (86) [SCAL] (1) noHold.truFalHol.toTrue1.localCondition = $SEV_64 ($RES_SIM_367) (87) [WHEN] (1)when false then (87) [----] offHold_300s.truFalHol.outputTrue.oldActive := offHold_300s.truFalHol.outputTrue.outerStatePort.localActive (87) [----] end when; (88) [SCAL] (1) onHold_150s.u = pulse1.offset + (if $TEV_64 then 0.0 else pulse1.amplitude * $FUN_1) ($RES_SIM_368) (89) [SCAL] (1) $SEV_4 = (not onHold_150s.truFalHol.toTrue1.localCondition and onHold_150s.truFalHol.toFalse1.inPort.available) and not onHold_150s.truFalHol.toFalse1.outPort.occupied ($RES_EVT_664) (90) [SCAL] (1) offHold_300s.truFalHol.outputTrue.newActive = $SEV_28 ($RES_SIM_194) (91) [SCAL] (1) onHold_150s.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps + onHold_150s.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps + onHold_150s.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps + onHold_150s.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_369) (92) [SCAL] (1) $SEV_5 = (onHold_150s.truFalHol.toTrue1.localCondition and onHold_150s.truFalHol.toTrue1.inPort.available) and not onHold_150s.truFalHol.toTrue1.outPort.occupied ($RES_EVT_665) (93) [SCAL] (1) offHold_300s.truFalHol.outputTrue.outerStatePort.localActive = $TEV_24 ($RES_SIM_195) (94) [FOR-] (2) ($RES_EVT_666) (94) [----] for $i1 in 1:2 loop (94) [----] [SCAL] (1) $SEV_6[$i1] = $i1 == 1 ($RES_EVT_667) (94) [----] end for; (95) [SCAL] (1) offHold_300s.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if offHold_300s.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_197) (96) [FOR-] (2) ($RES_EVT_668) (96) [----] for $i1 in 1:2 loop (96) [----] [SCAL] (1) $SEV_7[$i1] = onHold_150s.truFalHol.initialStep.outPort[$i1 - 1].available and not onHold_150s.truFalHol.initialStep.outPort[$i1 - 1].reset ($RES_EVT_669) (96) [----] end for; (97) [SCAL] (1) onHold_30s.truFalHol.outputFalse.outPort[1].available = onHold_30s.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_280) (98) [FOR-] (2) ($RES_SIM_281) (98) [----] for $i1 in 1:2 loop (98) [----] [SCAL] (1) onHold_30s.truFalHol.outputFalse.inPort[$i1].occupied = if $SEV_6[$i1] then onHold_30s.truFalHol.outputFalse.outerStatePort.localActive else $SEV_45[$i1] ($RES_SIM_282) (98) [----] end for; (99) [WHEN] (1)when false then (99) [----] onHold_30s.truFalHol.outputFalse.oldActive := onHold_30s.truFalHol.outputFalse.outerStatePort.localActive (99) [----] end when; (100) [SCAL] (1) onHold_30s.truFalHol.outputFalse.newActive = $SEV_46 ($RES_SIM_284) (101) [SCAL] (1) onHold_30s.truFalHol.outputFalse.outerStatePort.localActive = $TEV_44 ($RES_SIM_285) (102) [SCAL] (1) onHold_30s.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if onHold_30s.truFalHol.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_287) (103) [SCAL] (1) offHold_300s.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps + offHold_300s.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps + offHold_300s.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps + offHold_300s.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_370) (104) [SCAL] (1) onHold_30s.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps + onHold_30s.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps + onHold_30s.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps + onHold_30s.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_371) (105) [SCAL] (1) noHold.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps + noHold.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps + noHold.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps + noHold.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_372) (106) [SCAL] (1) $SEV_8 = onHold_150s.truFalHol.initialStep.outerStatePort.localActive and not $FUN_22 ($RES_EVT_670) (107) [SCAL] (1) $SEV_9 = onHold_150s.truFalHol.onDel1.y and onHold_150s.truFalHol.toTrue1.localCondition ($RES_EVT_671) (108) [SCAL] (1) $SEV_10 = onHold_150s.truFalHol.onDel2.y and not onHold_150s.truFalHol.toTrue1.localCondition ($RES_EVT_672) (109) [SCAL] (1) $SEV_11 = (onHold_150s.truFalHol.toFalse.localCondition and onHold_150s.truFalHol.toFalse.inPort.available) and not onHold_150s.truFalHol.toFalse.outPort.occupied ($RES_EVT_673) (110) [FOR-] (2) ($RES_EVT_674) (110) [----] for $i1 in 1:2 loop (110) [----] [SCAL] (1) $SEV_12[$i1] = onHold_150s.truFalHol.outputTrue.inPort[$i1 - 1].occupied or onHold_150s.truFalHol.outputTrue.inPort[$i1 - 1].set ($RES_EVT_675) (110) [----] end for; (111) [SCAL] (1) $SEV_13 = $FUN_20 or onHold_150s.truFalHol.outputTrue.outerStatePort.localActive and not $FUN_21 ($RES_EVT_676) (112) [SCAL] (1) $SEV_14 = (onHold_150s.truFalHol.toTrue.localCondition and onHold_150s.truFalHol.toTrue.inPort.available) and not onHold_150s.truFalHol.toTrue.outPort.occupied ($RES_EVT_677) (113) [FOR-] (2) ($RES_EVT_678) (113) [----] for $i1 in 1:2 loop (113) [----] [SCAL] (1) $SEV_15[$i1] = onHold_150s.truFalHol.outputFalse.inPort[$i1 - 1].occupied or onHold_150s.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_679) (113) [----] end for; (114) [SCAL] (1) onHold_30s.truFalHol.initialStep.outPort[2].reset = onHold_30s.truFalHol.toFalse1.outPort.set ($RES_SIM_462) (115) [SCAL] (1) onHold_30s.truFalHol.initialStep.outPort[2].available = onHold_30s.truFalHol.toFalse1.inPort.available ($RES_SIM_463) (116) [SCAL] (1) onHold_30s.truFalHol.initialStep.outPort[1].reset = onHold_30s.truFalHol.toTrue1.outPort.set ($RES_SIM_464) (117) [SCAL] (1) onHold_30s.truFalHol.initialStep.outPort[1].available = onHold_30s.truFalHol.toTrue1.inPort.available ($RES_SIM_465) (118) [SCAL] (1) onHold_30s.truFalHol.toFalse1.outPort.set = onHold_30s.truFalHol.outputFalse.inPort[2].set ($RES_SIM_466) (119) [SCAL] (1) onHold_30s.truFalHol.stateGraphRoot.activeSteps = -integer(onHold_30s.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_291) (120) [SCAL] (1) onHold_30s.truFalHol.toFalse1.outPort.occupied = onHold_30s.truFalHol.outputFalse.inPort[2].occupied ($RES_SIM_467) (121) [WHEN] (1)when $SEV_47 then (121) [----] onHold_30s.truFalHol.onDel2.y := onHold_30s.truFalHol.outputTrue.outerStatePort.localActive (121) [----] else when not onHold_30s.truFalHol.outputTrue.outerStatePort.localActive then (121) [----] onHold_30s.truFalHol.onDel2.y := false (121) [----] else when onHold_30s.truFalHol.outputTrue.outerStatePort.localActive then (121) [----] onHold_30s.truFalHol.onDel2.y := not onHold_30s.truFalHol.onDel2.delayTime > 0.0 (121) [----] else when initial() then (121) [----] onHold_30s.truFalHol.onDel2.y := if not (onHold_30s.truFalHol.onDel2.delayOnInit and onHold_30s.truFalHol.onDel2.delayTime > 0.0) then onHold_30s.truFalHol.outputTrue.outerStatePort.localActive else false (121) [----] end when; (122) [SCAL] (1) onHold_30s.truFalHol.toTrue.outPort.set = onHold_30s.truFalHol.outputTrue.inPort[2].set ($RES_SIM_468) (123) [WHEN] (1)when $SEV_47 then (123) [----] onHold_30s.truFalHol.onDel2.t_next := onHold_30s.truFalHol.onDel2.t_past (123) [----] else when not onHold_30s.truFalHol.outputTrue.outerStatePort.localActive then (123) [----] onHold_30s.truFalHol.onDel2.t_next := onHold_30s.truFalHol.onDel2.t_past (123) [----] else when onHold_30s.truFalHol.outputTrue.outerStatePort.localActive then (123) [----] onHold_30s.truFalHol.onDel2.t_next := time + onHold_30s.truFalHol.onDel2.delayTime (123) [----] else when initial() then (123) [----] onHold_30s.truFalHol.onDel2.t_next := if not onHold_30s.truFalHol.onDel2.delayOnInit then onHold_30s.truFalHol.onDel2.t_past else time + onHold_30s.truFalHol.onDel2.delayTime (123) [----] end when; (124) [SCAL] (1) onHold_30s.truFalHol.toTrue.outPort.occupied = onHold_30s.truFalHol.outputTrue.inPort[2].occupied ($RES_SIM_469) (125) [WHEN] (1)when $SEV_48 then (125) [----] onHold_30s.truFalHol.onDel1.t_next := onHold_30s.truFalHol.onDel1.t_past (125) [----] else when not onHold_30s.truFalHol.outputFalse.outerStatePort.localActive then (125) [----] onHold_30s.truFalHol.onDel1.t_next := onHold_30s.truFalHol.onDel1.t_past (125) [----] else when onHold_30s.truFalHol.outputFalse.outerStatePort.localActive then (125) [----] onHold_30s.truFalHol.onDel1.t_next := time + onHold_30s.truFalHol.onDel1.delayTime (125) [----] else when initial() then (125) [----] onHold_30s.truFalHol.onDel1.t_next := if not onHold_30s.truFalHol.onDel1.delayOnInit then onHold_30s.truFalHol.onDel1.t_past else time + onHold_30s.truFalHol.onDel1.delayTime (125) [----] end when; (126) [WHEN] (1)when $SEV_48 then (126) [----] onHold_30s.truFalHol.onDel1.y := onHold_30s.truFalHol.outputFalse.outerStatePort.localActive (126) [----] else when not onHold_30s.truFalHol.outputFalse.outerStatePort.localActive then (126) [----] onHold_30s.truFalHol.onDel1.y := false (126) [----] else when onHold_30s.truFalHol.outputFalse.outerStatePort.localActive then (126) [----] onHold_30s.truFalHol.onDel1.y := not onHold_30s.truFalHol.onDel1.delayTime > 0.0 (126) [----] else when initial() then (126) [----] onHold_30s.truFalHol.onDel1.y := if not (onHold_30s.truFalHol.onDel1.delayOnInit and onHold_30s.truFalHol.onDel1.delayTime > 0.0) then onHold_30s.truFalHol.outputFalse.outerStatePort.localActive else false (126) [----] end when; (127) [SCAL] (1) onHold_30s.truFalHol.toTrue1.localCondition = $SEV_49 ($RES_SIM_296) (128) [SCAL] (1) noHold.truFalHol.toFalse1.outPort.set = $SEV_50 ($RES_SIM_299) (129) [SCAL] (1) $TEV_0 = $PRE.onHold_150s.truFalHol.toFalse1.outPort.set ($RES_EVT_595) (130) [SCAL] (1) $TEV_1 = $PRE.onHold_150s.truFalHol.toTrue1.outPort.set ($RES_EVT_596) (131) [SCAL] (1) $TEV_2 = $PRE.onHold_150s.truFalHol.initialStep.oldActive ($RES_EVT_597) (132) [SCAL] (1) $TEV_3 = $PRE.onHold_150s.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_598) (133) [SCAL] (1) $TEV_4 = $PRE.onHold_150s.truFalHol.initialStep.newActive ($RES_EVT_599) (134) [SCAL] (1) onHold_150s.truFalHol.initialStep.outPort[2].reset = onHold_150s.truFalHol.toFalse1.outPort.set ($RES_SIM_382) (135) [SCAL] (1) onHold_150s.truFalHol.initialStep.outPort[2].available = onHold_150s.truFalHol.toFalse1.inPort.available ($RES_SIM_383) (136) [SCAL] (1) onHold_150s.truFalHol.initialStep.outPort[1].reset = onHold_150s.truFalHol.toTrue1.outPort.set ($RES_SIM_384) (137) [SCAL] (1) $SEV_16 = $FUN_18 or onHold_150s.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_19 ($RES_EVT_680) (138) [SCAL] (1) onHold_150s.truFalHol.initialStep.outPort[1].available = onHold_150s.truFalHol.toTrue1.inPort.available ($RES_SIM_385) (139) [SCAL] (1) $SEV_17 = time >= $PRE.onHold_150s.truFalHol.onDel2.t_next ($RES_EVT_681) (140) [SCAL] (1) onHold_150s.truFalHol.toFalse1.outPort.set = onHold_150s.truFalHol.outputFalse.inPort[2].set ($RES_SIM_386) (141) [SCAL] (1) $SEV_18 = time >= $PRE.onHold_150s.truFalHol.onDel1.t_next ($RES_EVT_682) (142) [SCAL] (1) onHold_150s.truFalHol.toFalse1.outPort.occupied = onHold_150s.truFalHol.outputFalse.inPort[2].occupied ($RES_SIM_387) (143) [SCAL] (1) $SEV_19 = not $PRE.onHold_150s.truFalHol.toTrue1.localCondition and onHold_150s.u > onHold_150s.hysteresis.uHigh or $PRE.onHold_150s.truFalHol.toTrue1.localCondition and onHold_150s.u >= onHold_150s.hysteresis.uLow ($RES_EVT_683) (144) [SCAL] (1) onHold_150s.truFalHol.toTrue.outPort.set = onHold_150s.truFalHol.outputTrue.inPort[2].set ($RES_SIM_388) (145) [SCAL] (1) $SEV_20 = (not offHold_300s.truFalHol.toTrue1.localCondition and offHold_300s.truFalHol.toFalse1.inPort.available) and not offHold_300s.truFalHol.toFalse1.outPort.occupied ($RES_EVT_684) (146) [SCAL] (1) onHold_150s.truFalHol.toTrue.outPort.occupied = onHold_150s.truFalHol.outputTrue.inPort[2].occupied ($RES_SIM_389) (147) [SCAL] (1) $SEV_21 = (offHold_300s.truFalHol.toTrue1.localCondition and offHold_300s.truFalHol.toTrue1.inPort.available) and not offHold_300s.truFalHol.toTrue1.outPort.occupied ($RES_EVT_685) (148) [FOR-] (2) ($RES_EVT_686) (148) [----] for $i1 in 1:2 loop (148) [----] [SCAL] (1) $SEV_22[$i1] = offHold_300s.truFalHol.initialStep.outPort[$i1 - 1].available and not offHold_300s.truFalHol.initialStep.outPort[$i1 - 1].reset ($RES_EVT_687) (148) [----] end for; (149) [SCAL] (1) $SEV_23 = offHold_300s.truFalHol.initialStep.outerStatePort.localActive and not $FUN_17 ($RES_EVT_688) (150) [SCAL] (1) $SEV_24 = offHold_300s.truFalHol.onDel1.y and offHold_300s.truFalHol.toTrue1.localCondition ($RES_EVT_689) (151) [SCAL] (1) onHold_30s.truFalHol.toTrue1.outPort.set = onHold_30s.truFalHol.outputTrue.inPort[1].set ($RES_SIM_470) (152) [SCAL] (1) onHold_30s.truFalHol.toTrue1.outPort.occupied = onHold_30s.truFalHol.outputTrue.inPort[1].occupied ($RES_SIM_471) (153) [SCAL] (1) onHold_150s.truFalHol.toTrue1.outPort.set = onHold_150s.truFalHol.outputTrue.inPort[1].set ($RES_SIM_390) (154) [SCAL] (1) onHold_150s.truFalHol.toTrue1.outPort.occupied = onHold_150s.truFalHol.outputTrue.inPort[1].occupied ($RES_SIM_391) (155) [SCAL] (1) $SEV_25 = offHold_300s.truFalHol.onDel2.y and not offHold_300s.truFalHol.toTrue1.localCondition ($RES_EVT_690) (156) [SCAL] (1) $SEV_26 = (offHold_300s.truFalHol.toFalse.localCondition and offHold_300s.truFalHol.toFalse.inPort.available) and not offHold_300s.truFalHol.toFalse.outPort.occupied ($RES_EVT_691) (157) [FOR-] (2) ($RES_EVT_692) (157) [----] for $i1 in 1:2 loop (157) [----] [SCAL] (1) $SEV_27[$i1] = offHold_300s.truFalHol.outputTrue.inPort[$i1 - 1].occupied or offHold_300s.truFalHol.outputTrue.inPort[$i1 - 1].set ($RES_EVT_693) (157) [----] end for; (158) [SCAL] (1) $SEV_28 = $FUN_15 or offHold_300s.truFalHol.outputTrue.outerStatePort.localActive and not $FUN_16 ($RES_EVT_694) (159) [SCAL] (1) $SEV_29 = (offHold_300s.truFalHol.toTrue.localCondition and offHold_300s.truFalHol.toTrue.inPort.available) and not offHold_300s.truFalHol.toTrue.outPort.occupied ($RES_EVT_695) (160) [FOR-] (2) ($RES_EVT_696) (160) [----] for $i1 in 1:2 loop (160) [----] [SCAL] (1) $SEV_30[$i1] = offHold_300s.truFalHol.outputFalse.inPort[$i1 - 1].occupied or offHold_300s.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_697) (160) [----] end for; (161) [SCAL] (1) $SEV_31 = $FUN_13 or offHold_300s.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_14 ($RES_EVT_698) (162) [SCAL] (1) $SEV_32 = time >= $PRE.offHold_300s.truFalHol.onDel2.t_next ($RES_EVT_699) (163) [SCAL] (1) onHold_30s.truFalHol.toFalse.outPort.set = onHold_30s.truFalHol.outputFalse.inPort[1].set ($RES_SIM_480) (164) [SCAL] (1) onHold_30s.truFalHol.toFalse.outPort.occupied = onHold_30s.truFalHol.outputFalse.inPort[1].occupied ($RES_SIM_481) (165) [SCAL] (1) onHold_30s.truFalHol.outputFalse.outPort[1].reset = onHold_30s.truFalHol.toTrue.outPort.set ($RES_SIM_482) (166) [SCAL] (1) onHold_30s.truFalHol.outputFalse.outPort[1].available = onHold_30s.truFalHol.toTrue.inPort.available ($RES_SIM_483) (167) [SCAL] (1) onHold_30s.truFalHol.outputTrue.outPort[1].reset = onHold_30s.truFalHol.toFalse.outPort.set ($RES_SIM_486) (168) [SCAL] (1) onHold_30s.truFalHol.outputTrue.outPort[1].available = onHold_30s.truFalHol.toFalse.inPort.available ($RES_SIM_487) (169) [SCAL] (1) $FUN_1 = sin(6.283185307179586 * pulse1.freqHz * (time - pulse1.startTime) + pulse1.phase) ($RES_$AUX_594) (170) [SCAL] (1) $FUN_2 = Modelica.StateGraph.Temporary.anyTrue(noHold.truFalHol.outputFalse.inPort.set) ($RES_$AUX_593) (171) [SCAL] (1) $FUN_3 = Modelica.StateGraph.Temporary.anyTrue(noHold.truFalHol.outputFalse.outPort.reset) ($RES_$AUX_592) (172) [SCAL] (1) $FUN_4 = Modelica.StateGraph.Temporary.anyTrue(noHold.truFalHol.outputTrue.inPort.set) ($RES_$AUX_591) (173) [SCAL] (1) $FUN_5 = Modelica.StateGraph.Temporary.anyTrue(noHold.truFalHol.outputTrue.outPort.reset) ($RES_$AUX_590) (174) [SCAL] (1) $FUN_7 = Modelica.StateGraph.Temporary.anyTrue(noHold.truFalHol.initialStep.outPort.reset) ($RES_$AUX_588) (175) [SCAL] (1) $FUN_8 = Modelica.StateGraph.Temporary.anyTrue(onHold_30s.truFalHol.outputFalse.inPort.set) ($RES_$AUX_587) (176) [SCAL] (1) $FUN_9 = Modelica.StateGraph.Temporary.anyTrue(onHold_30s.truFalHol.outputFalse.outPort.reset) ($RES_$AUX_586) (177) [FOR-] (2) ($RES_SIM_100) (177) [----] for $i1 in 1:2 loop (177) [----] [SCAL] (1) onHold_150s.truFalHol.initialStep.outPort[$i1].available = if $SEV_6[$i1] then onHold_150s.truFalHol.initialStep.outerStatePort.localActive else $SEV_7[$i1] ($RES_SIM_101) (177) [----] end for; (178) [SCAL] (1) $FUN_10 = Modelica.StateGraph.Temporary.anyTrue(onHold_30s.truFalHol.outputTrue.inPort.set) ($RES_$AUX_585) (179) [SCAL] (1) $FUN_11 = Modelica.StateGraph.Temporary.anyTrue(onHold_30s.truFalHol.outputTrue.outPort.reset) ($RES_$AUX_584) (180) [WHEN] (1)when false then (180) [----] onHold_150s.truFalHol.initialStep.oldActive := onHold_150s.truFalHol.initialStep.outerStatePort.localActive (180) [----] end when; (181) [SCAL] (1) $FUN_12 = Modelica.StateGraph.Temporary.anyTrue(onHold_30s.truFalHol.initialStep.outPort.reset) ($RES_$AUX_583) (182) [SCAL] (1) onHold_150s.truFalHol.initialStep.newActive = $SEV_8 ($RES_SIM_103) (183) [SCAL] (1) $FUN_13 = Modelica.StateGraph.Temporary.anyTrue(offHold_300s.truFalHol.outputFalse.inPort.set) ($RES_$AUX_582) (184) [SCAL] (1) onHold_150s.truFalHol.initialStep.outerStatePort.localActive = $TEV_4 ($RES_SIM_104) (185) [SCAL] (1) $FUN_14 = Modelica.StateGraph.Temporary.anyTrue(offHold_300s.truFalHol.outputFalse.outPort.reset) ($RES_$AUX_581) (186) [SCAL] (1) $FUN_15 = Modelica.StateGraph.Temporary.anyTrue(offHold_300s.truFalHol.outputTrue.inPort.set) ($RES_$AUX_580) (187) [SCAL] (1) onHold_150s.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if onHold_150s.truFalHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_106) (188) [SCAL] (1) onHold_150s.truFalHol.toTrue.localCondition = $SEV_9 ($RES_SIM_107) (189) [SCAL] (1) onHold_150s.truFalHol.toFalse.localCondition = $SEV_10 ($RES_SIM_108) (190) [SCAL] (1) $FUN_16 = Modelica.StateGraph.Temporary.anyTrue(offHold_300s.truFalHol.outputTrue.outPort.reset) ($RES_$AUX_579) (191) [SCAL] (1) $FUN_17 = Modelica.StateGraph.Temporary.anyTrue(offHold_300s.truFalHol.initialStep.outPort.reset) ($RES_$AUX_578) (192) [SCAL] (1) $FUN_18 = Modelica.StateGraph.Temporary.anyTrue(onHold_150s.truFalHol.outputFalse.inPort.set) ($RES_$AUX_577) (193) [SCAL] (1) $FUN_19 = Modelica.StateGraph.Temporary.anyTrue(onHold_150s.truFalHol.outputFalse.outPort.reset) ($RES_$AUX_576) (194) [SCAL] (1) $FUN_20 = Modelica.StateGraph.Temporary.anyTrue(onHold_150s.truFalHol.outputTrue.inPort.set) ($RES_$AUX_575) (195) [SCAL] (1) onHold_150s.truFalHol.toFalse.outPort.set = $SEV_11 ($RES_SIM_111) (196) [SCAL] (1) $FUN_21 = Modelica.StateGraph.Temporary.anyTrue(onHold_150s.truFalHol.outputTrue.outPort.reset) ($RES_$AUX_574) (197) [SCAL] (1) $FUN_22 = Modelica.StateGraph.Temporary.anyTrue(onHold_150s.truFalHol.initialStep.outPort.reset) ($RES_$AUX_573) (198) [SCAL] (1) onHold_150s.truFalHol.outputTrue.outPort[1].reset = false ($RES_SIM_116) (199) [FOR-] (2) ($RES_SIM_117) (199) [----] for $i1 in 1:2 loop (199) [----] [SCAL] (1) onHold_150s.truFalHol.outputTrue.inPort[$i1].set = false ($RES_SIM_118) (199) [----] end for; (200) [SCAL] (1) onHold_150s.truFalHol.outputTrue.outPort[1].available = onHold_150s.truFalHol.outputTrue.outerStatePort.localActive ($RES_SIM_119) (201) [SCAL] (1) offHold_300s.truFalHol.toTrue.outPort.set = $SEV_29 ($RES_SIM_201) (202) [SCAL] (1) offHold_300s.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_206) (203) [FOR-] (2) ($RES_SIM_207) (203) [----] for $i1 in 1:2 loop (203) [----] [SCAL] (1) offHold_300s.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_208) (203) [----] end for; (204) [SCAL] (1) offHold_300s.truFalHol.outputFalse.outPort[1].available = offHold_300s.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_209) (205) [FOR-] (2) ($RES_SIM_120) (205) [----] for $i1 in 1:2 loop (205) [----] [SCAL] (1) onHold_150s.truFalHol.outputTrue.inPort[$i1].occupied = if $SEV_6[$i1] then onHold_150s.truFalHol.outputTrue.outerStatePort.localActive else $SEV_12[$i1] ($RES_SIM_121) (205) [----] end for; (206) [WHEN] (1)when false then (206) [----] onHold_150s.truFalHol.outputTrue.oldActive := onHold_150s.truFalHol.outputTrue.outerStatePort.localActive (206) [----] end when; (207) [SCAL] (1) onHold_150s.truFalHol.outputTrue.newActive = $SEV_13 ($RES_SIM_123) (208) [SCAL] (1) onHold_150s.truFalHol.outputTrue.outerStatePort.localActive = $TEV_8 ($RES_SIM_124) (209) [SCAL] (1) onHold_150s.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if onHold_150s.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_126) (210) [FOR-] (2) ($RES_SIM_210) (210) [----] for $i1 in 1:2 loop (210) [----] [SCAL] (1) offHold_300s.truFalHol.outputFalse.inPort[$i1].occupied = if $SEV_6[$i1] then offHold_300s.truFalHol.outputFalse.outerStatePort.localActive else $SEV_30[$i1] ($RES_SIM_211) (210) [----] end for; (211) [WHEN] (1)when false then (211) [----] offHold_300s.truFalHol.outputFalse.oldActive := offHold_300s.truFalHol.outputFalse.outerStatePort.localActive (211) [----] end when; (212) [SCAL] (1) offHold_300s.truFalHol.outputFalse.newActive = $SEV_31 ($RES_SIM_213) (213) [SCAL] (1) offHold_300s.truFalHol.outputFalse.outerStatePort.localActive = $TEV_28 ($RES_SIM_214) (214) [SCAL] (1) onHold_150s.truFalHol.toFalse1.outPort.set = $SEV_4 ($RES_SIM_86) (215) [SCAL] (1) offHold_300s.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if offHold_300s.truFalHol.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_216) (216) [SCAL] (1) $TEV_5 = $PRE.onHold_150s.truFalHol.toFalse.outPort.set ($RES_EVT_600) (217) [SCAL] (1) onHold_150s.truFalHol.toTrue.outPort.set = $SEV_14 ($RES_SIM_130) (218) [SCAL] (1) $TEV_6 = $PRE.onHold_150s.truFalHol.outputTrue.oldActive ($RES_EVT_601) (219) [SCAL] (1) noHold.truFalHol.toTrue1.outPort.set = $SEV_51 ($RES_SIM_306) (220) [SCAL] (1) $TEV_7 = $PRE.onHold_150s.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_602) (221) [SCAL] (1) $TEV_8 = $PRE.onHold_150s.truFalHol.outputTrue.newActive ($RES_EVT_603) (222) [SCAL] (1) $TEV_9 = $PRE.onHold_150s.truFalHol.toTrue.outPort.set ($RES_EVT_604) (223) [SCAL] (1) $TEV_10 = $PRE.onHold_150s.truFalHol.outputFalse.oldActive ($RES_EVT_605) (224) [SCAL] (1) onHold_150s.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_135) (225) [SCAL] (1) $TEV_11 = $PRE.onHold_150s.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_606) (226) [FOR-] (2) ($RES_SIM_136) (226) [----] for $i1 in 1:2 loop (226) [----] [SCAL] (1) onHold_150s.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_137) (226) [----] end for; (227) [SCAL] (1) $TEV_12 = $PRE.onHold_150s.truFalHol.outputFalse.newActive ($RES_EVT_607) (228) [SCAL] (1) $TEV_13 = $PRE.onHold_150s.truFalHol.onDel2.t_next ($RES_EVT_608) (229) [SCAL] (1) onHold_150s.truFalHol.outputFalse.outPort[1].available = onHold_150s.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_138) (230) [SCAL] (1) $TEV_14 = $PRE.onHold_150s.truFalHol.onDel1.t_next ($RES_EVT_609) (231) [FOR-] (2) ($RES_SIM_139) (231) [----] for $i1 in 1:2 loop (231) [----] [SCAL] (1) onHold_150s.truFalHol.outputFalse.inPort[$i1].occupied = if $SEV_6[$i1] then onHold_150s.truFalHol.outputFalse.outerStatePort.localActive else $SEV_15[$i1] ($RES_SIM_140) (231) [----] end for; (232) [SCAL] (1) offHold_300s.truFalHol.stateGraphRoot.activeSteps = -integer(offHold_300s.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_220) (233) [WHEN] (1)when $SEV_32 then (233) [----] offHold_300s.truFalHol.onDel2.y := offHold_300s.truFalHol.outputTrue.outerStatePort.localActive (233) [----] else when not offHold_300s.truFalHol.outputTrue.outerStatePort.localActive then (233) [----] offHold_300s.truFalHol.onDel2.y := false (233) [----] else when offHold_300s.truFalHol.outputTrue.outerStatePort.localActive then (233) [----] offHold_300s.truFalHol.onDel2.y := not offHold_300s.truFalHol.onDel2.delayTime > 0.0 (233) [----] else when initial() then (233) [----] offHold_300s.truFalHol.onDel2.y := if not (offHold_300s.truFalHol.onDel2.delayOnInit and offHold_300s.truFalHol.onDel2.delayTime > 0.0) then offHold_300s.truFalHol.outputTrue.outerStatePort.localActive else false (233) [----] end when; (234) [SCAL] (1) onHold_150s.truFalHol.toTrue1.outPort.set = $SEV_5 ($RES_SIM_93) (235) [WHEN] (1)when $SEV_32 then (235) [----] offHold_300s.truFalHol.onDel2.t_next := offHold_300s.truFalHol.onDel2.t_past (235) [----] else when not offHold_300s.truFalHol.outputTrue.outerStatePort.localActive then (235) [----] offHold_300s.truFalHol.onDel2.t_next := offHold_300s.truFalHol.onDel2.t_past (235) [----] else when offHold_300s.truFalHol.outputTrue.outerStatePort.localActive then (235) [----] offHold_300s.truFalHol.onDel2.t_next := time + offHold_300s.truFalHol.onDel2.delayTime (235) [----] else when initial() then (235) [----] offHold_300s.truFalHol.onDel2.t_next := if not offHold_300s.truFalHol.onDel2.delayOnInit then offHold_300s.truFalHol.onDel2.t_past else time + offHold_300s.truFalHol.onDel2.delayTime (235) [----] end when; (236) [WHEN] (1)when $SEV_33 then (236) [----] offHold_300s.truFalHol.onDel1.t_next := offHold_300s.truFalHol.onDel1.t_past (236) [----] else when not offHold_300s.truFalHol.outputFalse.outerStatePort.localActive then (236) [----] offHold_300s.truFalHol.onDel1.t_next := offHold_300s.truFalHol.onDel1.t_past (236) [----] else when offHold_300s.truFalHol.outputFalse.outerStatePort.localActive then (236) [----] offHold_300s.truFalHol.onDel1.t_next := time + offHold_300s.truFalHol.onDel1.delayTime (236) [----] else when initial() then (236) [----] offHold_300s.truFalHol.onDel1.t_next := if not offHold_300s.truFalHol.onDel1.delayOnInit then offHold_300s.truFalHol.onDel1.t_past else time + offHold_300s.truFalHol.onDel1.delayTime (236) [----] end when; (237) [WHEN] (1)when $SEV_33 then (237) [----] offHold_300s.truFalHol.onDel1.y := offHold_300s.truFalHol.outputFalse.outerStatePort.localActive (237) [----] else when not offHold_300s.truFalHol.outputFalse.outerStatePort.localActive then (237) [----] offHold_300s.truFalHol.onDel1.y := false (237) [----] else when offHold_300s.truFalHol.outputFalse.outerStatePort.localActive then (237) [----] offHold_300s.truFalHol.onDel1.y := not offHold_300s.truFalHol.onDel1.delayTime > 0.0 (237) [----] else when initial() then (237) [----] offHold_300s.truFalHol.onDel1.y := if not (offHold_300s.truFalHol.onDel1.delayOnInit and offHold_300s.truFalHol.onDel1.delayTime > 0.0) then offHold_300s.truFalHol.outputFalse.outerStatePort.localActive else false (237) [----] end when; (238) [SCAL] (1) offHold_300s.truFalHol.toTrue1.localCondition = $SEV_34 ($RES_SIM_225) (239) [FOR-] (2) ($RES_SIM_98) (239) [----] for $i1 in 1:2 loop (239) [----] [SCAL] (1) onHold_150s.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_99) (239) [----] end for; (240) [SCAL] (1) onHold_30s.truFalHol.toFalse1.outPort.set = $SEV_35 ($RES_SIM_228) (241) [FOR-] (2) ($RES_SIM_311) (241) [----] for $i1 in 1:2 loop (241) [----] [SCAL] (1) noHold.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_312) (241) [----] end for; (242) [FOR-] (2) ($RES_SIM_313) (242) [----] for $i1 in 1:2 loop (242) [----] [SCAL] (1) noHold.truFalHol.initialStep.outPort[$i1].available = if $SEV_6[$i1] then noHold.truFalHol.initialStep.outerStatePort.localActive else $SEV_52[$i1] ($RES_SIM_314) (242) [----] end for; (243) [SCAL] (1) $TEV_15 = $PRE.onHold_150s.truFalHol.toTrue1.localCondition ($RES_EVT_610) (244) [WHEN] (1)when false then (244) [----] noHold.truFalHol.initialStep.oldActive := noHold.truFalHol.initialStep.outerStatePort.localActive (244) [----] end when; (245) [SCAL] (1) $TEV_16 = $PRE.offHold_300s.truFalHol.toFalse1.outPort.set ($RES_EVT_611) (246) [SCAL] (1) noHold.truFalHol.initialStep.newActive = $SEV_53 ($RES_SIM_316) (247) [WHEN] (1)when false then (247) [----] onHold_150s.truFalHol.outputFalse.oldActive := onHold_150s.truFalHol.outputFalse.outerStatePort.localActive (247) [----] end when; (248) [SCAL] (1) $TEV_17 = $PRE.offHold_300s.truFalHol.toTrue1.outPort.set ($RES_EVT_612) (249) [SCAL] (1) noHold.truFalHol.initialStep.outerStatePort.localActive = $TEV_52 ($RES_SIM_317) (250) [SCAL] (1) onHold_150s.truFalHol.outputFalse.newActive = $SEV_16 ($RES_SIM_142) (251) [SCAL] (1) $TEV_18 = $PRE.offHold_300s.truFalHol.initialStep.oldActive ($RES_EVT_613) (252) [SCAL] (1) onHold_150s.truFalHol.outputFalse.outerStatePort.localActive = $TEV_12 ($RES_SIM_143) (253) [SCAL] (1) $TEV_19 = $PRE.offHold_300s.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_614) (254) [SCAL] (1) noHold.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if noHold.truFalHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_319) (255) [SCAL] (1) $TEV_20 = $PRE.offHold_300s.truFalHol.initialStep.newActive ($RES_EVT_615) (256) [SCAL] (1) onHold_150s.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if onHold_150s.truFalHol.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_145) (257) [SCAL] (1) $TEV_21 = $PRE.offHold_300s.truFalHol.toFalse.outPort.set ($RES_EVT_616) (258) [SCAL] (1) $TEV_22 = $PRE.offHold_300s.truFalHol.outputTrue.oldActive ($RES_EVT_617) (259) [SCAL] (1) $TEV_23 = $PRE.offHold_300s.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_618) (260) [SCAL] (1) $TEV_24 = $PRE.offHold_300s.truFalHol.outputTrue.newActive ($RES_EVT_619) (261) [SCAL] (1) onHold_150s.truFalHol.toFalse.outPort.set = onHold_150s.truFalHol.outputFalse.inPort[1].set ($RES_SIM_400) (262) [SCAL] (1) onHold_150s.truFalHol.stateGraphRoot.activeSteps = -integer(onHold_150s.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_149) (263) [SCAL] (1) onHold_150s.truFalHol.toFalse.outPort.occupied = onHold_150s.truFalHol.outputFalse.inPort[1].occupied ($RES_SIM_401) (264) [SCAL] (1) onHold_150s.truFalHol.outputFalse.outPort[1].reset = onHold_150s.truFalHol.toTrue.outPort.set ($RES_SIM_402) (265) [SCAL] (1) onHold_150s.truFalHol.outputFalse.outPort[1].available = onHold_150s.truFalHol.toTrue.inPort.available ($RES_SIM_403) (266) [SCAL] (1) $SEV_33 = time >= $PRE.offHold_300s.truFalHol.onDel1.t_next ($RES_EVT_700) (267) [SCAL] (1) $SEV_34 = not $PRE.offHold_300s.truFalHol.toTrue1.localCondition and onHold_150s.u > offHold_300s.hysteresis.uHigh or $PRE.offHold_300s.truFalHol.toTrue1.localCondition and onHold_150s.u >= offHold_300s.hysteresis.uLow ($RES_EVT_701) (268) [SCAL] (1) onHold_150s.truFalHol.outputTrue.outPort[1].reset = onHold_150s.truFalHol.toFalse.outPort.set ($RES_SIM_406) (269) [SCAL] (1) $SEV_35 = (not onHold_30s.truFalHol.toTrue1.localCondition and onHold_30s.truFalHol.toFalse1.inPort.available) and not onHold_30s.truFalHol.toFalse1.outPort.occupied ($RES_EVT_702) (270) [SCAL] (1) onHold_150s.truFalHol.outputTrue.outPort[1].available = onHold_150s.truFalHol.toFalse.inPort.available ($RES_SIM_407) (271) [SCAL] (1) $SEV_36 = (onHold_30s.truFalHol.toTrue1.localCondition and onHold_30s.truFalHol.toTrue1.inPort.available) and not onHold_30s.truFalHol.toTrue1.outPort.occupied ($RES_EVT_703) (272) [FOR-] (2) ($RES_EVT_704) (272) [----] for $i1 in 1:2 loop (272) [----] [SCAL] (1) $SEV_37[$i1] = onHold_30s.truFalHol.initialStep.outPort[$i1 - 1].available and not onHold_30s.truFalHol.initialStep.outPort[$i1 - 1].reset ($RES_EVT_705) (272) [----] end for; (273) [SCAL] (1) onHold_30s.truFalHol.toTrue1.outPort.set = $SEV_36 ($RES_SIM_235) (274) [SCAL] (1) $SEV_38 = onHold_30s.truFalHol.initialStep.outerStatePort.localActive and not $FUN_12 ($RES_EVT_706) (275) [SCAL] (1) $SEV_39 = onHold_30s.truFalHol.onDel1.y and onHold_30s.truFalHol.toTrue1.localCondition ($RES_EVT_707) (276) [SCAL] (1) $SEV_40 = onHold_30s.truFalHol.onDel2.y and not onHold_30s.truFalHol.toTrue1.localCondition ($RES_EVT_708) (277) [SCAL] (1) $SEV_41 = (onHold_30s.truFalHol.toFalse.localCondition and onHold_30s.truFalHol.toFalse.inPort.available) and not onHold_30s.truFalHol.toFalse.outPort.occupied ($RES_EVT_709) (278) [SCAL] (1) noHold.truFalHol.toTrue.localCondition = $SEV_54 ($RES_SIM_320) (279) [SCAL] (1) noHold.truFalHol.toFalse.localCondition = $SEV_55 ($RES_SIM_321) (280) [SCAL] (1) noHold.truFalHol.toFalse.outPort.set = $SEV_56 ($RES_SIM_324) (281) [SCAL] (1) $TEV_25 = $PRE.offHold_300s.truFalHol.toTrue.outPort.set ($RES_EVT_620) (282) [WHEN] (1)when $SEV_17 then (282) [----] onHold_150s.truFalHol.onDel2.t_next := onHold_150s.truFalHol.onDel2.t_past (282) [----] else when not onHold_150s.truFalHol.outputTrue.outerStatePort.localActive then (282) [----] onHold_150s.truFalHol.onDel2.t_next := onHold_150s.truFalHol.onDel2.t_past (282) [----] else when onHold_150s.truFalHol.outputTrue.outerStatePort.localActive then (282) [----] onHold_150s.truFalHol.onDel2.t_next := time + onHold_150s.truFalHol.onDel2.delayTime (282) [----] else when initial() then (282) [----] onHold_150s.truFalHol.onDel2.t_next := if not onHold_150s.truFalHol.onDel2.delayOnInit then onHold_150s.truFalHol.onDel2.t_past else time + onHold_150s.truFalHol.onDel2.delayTime (282) [----] end when; (283) [SCAL] (1) $TEV_26 = $PRE.offHold_300s.truFalHol.outputFalse.oldActive ($RES_EVT_621) (284) [WHEN] (1)when $SEV_17 then (284) [----] onHold_150s.truFalHol.onDel2.y := onHold_150s.truFalHol.outputTrue.outerStatePort.localActive (284) [----] else when not onHold_150s.truFalHol.outputTrue.outerStatePort.localActive then (284) [----] onHold_150s.truFalHol.onDel2.y := false (284) [----] else when onHold_150s.truFalHol.outputTrue.outerStatePort.localActive then (284) [----] onHold_150s.truFalHol.onDel2.y := not onHold_150s.truFalHol.onDel2.delayTime > 0.0 (284) [----] else when initial() then (284) [----] onHold_150s.truFalHol.onDel2.y := if not (onHold_150s.truFalHol.onDel2.delayOnInit and onHold_150s.truFalHol.onDel2.delayTime > 0.0) then onHold_150s.truFalHol.outputTrue.outerStatePort.localActive else false (284) [----] end when; (285) [SCAL] (1) $TEV_27 = $PRE.offHold_300s.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_622) (286) [WHEN] (1)when $SEV_18 then (286) [----] onHold_150s.truFalHol.onDel1.y := onHold_150s.truFalHol.outputFalse.outerStatePort.localActive (286) [----] else when not onHold_150s.truFalHol.outputFalse.outerStatePort.localActive then (286) [----] onHold_150s.truFalHol.onDel1.y := false (286) [----] else when onHold_150s.truFalHol.outputFalse.outerStatePort.localActive then (286) [----] onHold_150s.truFalHol.onDel1.y := not onHold_150s.truFalHol.onDel1.delayTime > 0.0 (286) [----] else when initial() then (286) [----] onHold_150s.truFalHol.onDel1.y := if not (onHold_150s.truFalHol.onDel1.delayOnInit and onHold_150s.truFalHol.onDel1.delayTime > 0.0) then onHold_150s.truFalHol.outputFalse.outerStatePort.localActive else false (286) [----] end when; (287) [SCAL] (1) $TEV_28 = $PRE.offHold_300s.truFalHol.outputFalse.newActive ($RES_EVT_623) (288) [WHEN] (1)when $SEV_18 then (288) [----] onHold_150s.truFalHol.onDel1.t_next := onHold_150s.truFalHol.onDel1.t_past (288) [----] else when not onHold_150s.truFalHol.outputFalse.outerStatePort.localActive then (288) [----] onHold_150s.truFalHol.onDel1.t_next := onHold_150s.truFalHol.onDel1.t_past (288) [----] else when onHold_150s.truFalHol.outputFalse.outerStatePort.localActive then (288) [----] onHold_150s.truFalHol.onDel1.t_next := time + onHold_150s.truFalHol.onDel1.delayTime (288) [----] else when initial() then (288) [----] onHold_150s.truFalHol.onDel1.t_next := if not onHold_150s.truFalHol.onDel1.delayOnInit then onHold_150s.truFalHol.onDel1.t_past else time + onHold_150s.truFalHol.onDel1.delayTime (288) [----] end when; (289) [SCAL] (1) $TEV_29 = $PRE.offHold_300s.truFalHol.onDel2.t_next ($RES_EVT_624) (290) [SCAL] (1) noHold.truFalHol.outputTrue.outPort[1].reset = false ($RES_SIM_329) (291) [SCAL] (1) onHold_150s.truFalHol.toTrue1.localCondition = $SEV_19 ($RES_SIM_154) (292) [SCAL] (1) $TEV_30 = $PRE.offHold_300s.truFalHol.onDel1.t_next ($RES_EVT_625) (293) [SCAL] (1) $TEV_31 = $PRE.offHold_300s.truFalHol.toTrue1.localCondition ($RES_EVT_626) (294) [SCAL] (1) $TEV_32 = $PRE.onHold_30s.truFalHol.toFalse1.outPort.set ($RES_EVT_627) (295) [SCAL] (1) offHold_300s.truFalHol.toFalse1.outPort.set = $SEV_20 ($RES_SIM_157) (296) [SCAL] (1) $TEV_33 = $PRE.onHold_30s.truFalHol.toTrue1.outPort.set ($RES_EVT_628) (297) [SCAL] (1) $TEV_34 = $PRE.onHold_30s.truFalHol.initialStep.oldActive ($RES_EVT_629) (298) [FOR-] (2) ($RES_EVT_710) (298) [----] for $i1 in 1:2 loop (298) [----] [SCAL] (1) $SEV_42[$i1] = onHold_30s.truFalHol.outputTrue.inPort[$i1 - 1].occupied or onHold_30s.truFalHol.outputTrue.inPort[$i1 - 1].set ($RES_EVT_711) (298) [----] end for; (299) [FOR-] (2) ($RES_SIM_240) (299) [----] for $i1 in 1:2 loop (299) [----] [SCAL] (1) onHold_30s.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_241) (299) [----] end for; (300) [SCAL] (1) $SEV_43 = $FUN_10 or onHold_30s.truFalHol.outputTrue.outerStatePort.localActive and not $FUN_11 ($RES_EVT_712) (301) [FOR-] (2) ($RES_SIM_242) (301) [----] for $i1 in 1:2 loop (301) [----] [SCAL] (1) onHold_30s.truFalHol.initialStep.outPort[$i1].available = if $SEV_6[$i1] then onHold_30s.truFalHol.initialStep.outerStatePort.localActive else $SEV_37[$i1] ($RES_SIM_243) (301) [----] end for; (302) [SCAL] (1) $SEV_44 = (onHold_30s.truFalHol.toTrue.localCondition and onHold_30s.truFalHol.toTrue.inPort.available) and not onHold_30s.truFalHol.toTrue.outPort.occupied ($RES_EVT_713) (303) [FOR-] (2) ($RES_EVT_714) (303) [----] for $i1 in 1:2 loop (303) [----] [SCAL] (1) $SEV_45[$i1] = onHold_30s.truFalHol.outputFalse.inPort[$i1 - 1].occupied or onHold_30s.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_715) (303) [----] end for; (304) [WHEN] (1)when false then (304) [----] onHold_30s.truFalHol.initialStep.oldActive := onHold_30s.truFalHol.initialStep.outerStatePort.localActive (304) [----] end when; (305) [SCAL] (1) onHold_30s.truFalHol.initialStep.newActive = $SEV_38 ($RES_SIM_245) (306) [SCAL] (1) $SEV_46 = $FUN_8 or onHold_30s.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_9 ($RES_EVT_716) (307) [SCAL] (1) onHold_30s.truFalHol.initialStep.outerStatePort.localActive = $TEV_36 ($RES_SIM_246) (308) [SCAL] (1) $SEV_47 = time >= $PRE.onHold_30s.truFalHol.onDel2.t_next ($RES_EVT_717) (309) [SCAL] (1) $SEV_48 = time >= $PRE.onHold_30s.truFalHol.onDel1.t_next ($RES_EVT_718) (310) [SCAL] (1) onHold_30s.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if onHold_30s.truFalHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_248) (311) [SCAL] (1) $SEV_49 = not $PRE.onHold_30s.truFalHol.toTrue1.localCondition and onHold_150s.u > onHold_30s.hysteresis.uHigh or $PRE.onHold_30s.truFalHol.toTrue1.localCondition and onHold_150s.u >= onHold_30s.hysteresis.uLow ($RES_EVT_719) (312) [SCAL] (1) onHold_30s.truFalHol.toTrue.localCondition = $SEV_39 ($RES_SIM_249) (313) [SCAL] (1) noHold.truFalHol.initialStep.outPort[2].reset = noHold.truFalHol.toFalse1.outPort.set ($RES_SIM_502) (314) [SCAL] (1) noHold.truFalHol.initialStep.outPort[2].available = noHold.truFalHol.toFalse1.inPort.available ($RES_SIM_503) (315) [SCAL] (1) noHold.truFalHol.initialStep.outPort[1].reset = noHold.truFalHol.toTrue1.outPort.set ($RES_SIM_504) (316) [SCAL] (1) noHold.truFalHol.initialStep.outPort[1].available = noHold.truFalHol.toTrue1.inPort.available ($RES_SIM_505) (317) [FOR-] (2) ($RES_SIM_330) (317) [----] for $i1 in 1:2 loop (317) [----] [SCAL] (1) noHold.truFalHol.outputTrue.inPort[$i1].set = false ($RES_SIM_331) (317) [----] end for; (318) [SCAL] (1) noHold.truFalHol.toFalse1.outPort.set = noHold.truFalHol.outputFalse.inPort[2].set ($RES_SIM_506) (319) [SCAL] (1) noHold.truFalHol.toFalse1.outPort.occupied = noHold.truFalHol.outputFalse.inPort[2].occupied ($RES_SIM_507) (320) [SCAL] (1) noHold.truFalHol.outputTrue.outPort[1].available = noHold.truFalHol.outputTrue.outerStatePort.localActive ($RES_SIM_332) (321) [SCAL] (1) noHold.truFalHol.toTrue.outPort.set = noHold.truFalHol.outputTrue.inPort[2].set ($RES_SIM_508) (322) [FOR-] (2) ($RES_SIM_333) (322) [----] for $i1 in 1:2 loop (322) [----] [SCAL] (1) noHold.truFalHol.outputTrue.inPort[$i1].occupied = if $SEV_6[$i1] then noHold.truFalHol.outputTrue.outerStatePort.localActive else $SEV_57[$i1] ($RES_SIM_334) (322) [----] end for; (323) [SCAL] (1) noHold.truFalHol.toTrue.outPort.occupied = noHold.truFalHol.outputTrue.inPort[2].occupied ($RES_SIM_509) (324) [SCAL] (1) $TEV_35 = $PRE.onHold_30s.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_630) (325) [WHEN] (1)when false then (325) [----] noHold.truFalHol.outputTrue.oldActive := noHold.truFalHol.outputTrue.outerStatePort.localActive (325) [----] end when; (326) [SCAL] (1) $TEV_36 = $PRE.onHold_30s.truFalHol.initialStep.newActive ($RES_EVT_631) (327) [SCAL] (1) noHold.truFalHol.outputTrue.newActive = $SEV_58 ($RES_SIM_336) (328) [SCAL] (1) $TEV_37 = $PRE.onHold_30s.truFalHol.toFalse.outPort.set ($RES_EVT_632) (329) [SCAL] (1) noHold.truFalHol.outputTrue.outerStatePort.localActive = $TEV_56 ($RES_SIM_337) (330) [SCAL] (1) $TEV_38 = $PRE.onHold_30s.truFalHol.outputTrue.oldActive ($RES_EVT_633) (331) [SCAL] (1) $TEV_39 = $PRE.onHold_30s.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_634) (332) [SCAL] (1) noHold.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if noHold.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_339) (333) [SCAL] (1) offHold_300s.truFalHol.toTrue1.outPort.set = $SEV_21 ($RES_SIM_164) (334) [SCAL] (1) $TEV_40 = $PRE.onHold_30s.truFalHol.outputTrue.newActive ($RES_EVT_635) (335) [SCAL] (1) $TEV_41 = $PRE.onHold_30s.truFalHol.toTrue.outPort.set ($RES_EVT_636) (336) [SCAL] (1) $TEV_42 = $PRE.onHold_30s.truFalHol.outputFalse.oldActive ($RES_EVT_637) (337) [SCAL] (1) $TEV_43 = $PRE.onHold_30s.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_638) (338) [SCAL] (1) $TEV_44 = $PRE.onHold_30s.truFalHol.outputFalse.newActive ($RES_EVT_639) (339) [FOR-] (2) ($RES_SIM_169) (339) [----] for $i1 in 1:2 loop (339) [----] [SCAL] (1) offHold_300s.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_170) (339) [----] end for; (340) [SCAL] (1) offHold_300s.truFalHol.initialStep.outPort[2].reset = offHold_300s.truFalHol.toFalse1.outPort.set ($RES_SIM_422) (341) [SCAL] (1) offHold_300s.truFalHol.initialStep.outPort[2].available = offHold_300s.truFalHol.toFalse1.inPort.available ($RES_SIM_423) (342) [SCAL] (1) offHold_300s.truFalHol.initialStep.outPort[1].reset = offHold_300s.truFalHol.toTrue1.outPort.set ($RES_SIM_424) (343) [SCAL] (1) $SEV_50 = (not noHold.truFalHol.toTrue1.localCondition and noHold.truFalHol.toFalse1.inPort.available) and not noHold.truFalHol.toFalse1.outPort.occupied ($RES_EVT_720) (344) [SCAL] (1) offHold_300s.truFalHol.initialStep.outPort[1].available = offHold_300s.truFalHol.toTrue1.inPort.available ($RES_SIM_425) (345) [SCAL] (1) onHold_30s.truFalHol.toFalse.localCondition = $SEV_40 ($RES_SIM_250) (346) [SCAL] (1) $SEV_51 = (noHold.truFalHol.toTrue1.localCondition and noHold.truFalHol.toTrue1.inPort.available) and not noHold.truFalHol.toTrue1.outPort.occupied ($RES_EVT_721) (347) [SCAL] (1) offHold_300s.truFalHol.toFalse1.outPort.set = offHold_300s.truFalHol.outputFalse.inPort[2].set ($RES_SIM_426) (348) [FOR-] (2) ($RES_EVT_722) (348) [----] for $i1 in 1:2 loop (348) [----] [SCAL] (1) $SEV_52[$i1] = noHold.truFalHol.initialStep.outPort[$i1 - 1].available and not noHold.truFalHol.initialStep.outPort[$i1 - 1].reset ($RES_EVT_723) (348) [----] end for; (349) [SCAL] (1) offHold_300s.truFalHol.toFalse1.outPort.occupied = offHold_300s.truFalHol.outputFalse.inPort[2].occupied ($RES_SIM_427) (350) [SCAL] (1) offHold_300s.truFalHol.toTrue.outPort.set = offHold_300s.truFalHol.outputTrue.inPort[2].set ($RES_SIM_428) (351) [SCAL] (1) onHold_30s.truFalHol.toFalse.outPort.set = $SEV_41 ($RES_SIM_253) (352) [SCAL] (1) $SEV_53 = noHold.truFalHol.initialStep.outerStatePort.localActive and not $FUN_7 ($RES_EVT_724) =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 113 var 2 --> eqn 55 var 3 --> eqn 34 var 4 --> eqn 225 var 5 --> eqn 217 var 6 --> eqn 110 var 7 --> eqn 111 var 8 --> eqn 109 var 9 --> eqn 138 var 10 --> eqn 238 var 11 --> eqn 324 var 12 --> eqn 116 var 13 --> eqn 232 var 14 --> eqn 233 var 15 --> eqn 353 var 16 --> eqn 284 var 17 --> eqn 39 var 18 --> eqn 40 var 19 --> eqn 73 var 20 --> eqn 170 var 21 --> eqn 364 var 22 --> eqn 362 var 23 --> eqn 136 var 24 --> eqn 335 var 25 --> eqn 336 var 26 --> eqn 236 var 27 --> eqn 75 var 28 --> eqn 76 var 29 --> eqn 208 var 30 --> eqn 377 var 31 --> eqn 1 var 32 --> eqn 97 var 33 --> eqn 206 var 34 --> eqn 35 var 35 --> eqn 255 var 36 --> eqn 256 var 37 --> eqn 347 var 38 --> eqn 68 var 39 --> eqn 140 var 40 --> eqn 98 var 41 --> eqn 234 var 42 --> eqn 214 var 43 --> eqn 15 var 44 --> eqn 16 var 45 --> eqn 240 var 46 --> eqn 230 var 47 --> eqn 134 var 48 --> eqn 46 var 49 --> eqn 308 var 50 --> eqn 253 var 51 --> eqn 141 var 52 --> eqn 118 var 53 --> eqn 62 var 54 --> eqn 247 var 55 --> eqn 86 var 56 --> eqn 87 var 57 --> eqn 5 var 58 --> eqn 6 var 59 --> eqn 337 var 60 --> eqn 249 var 61 --> eqn 250 var 62 --> eqn 195 var 63 --> eqn 196 var 64 --> eqn 177 var 65 --> eqn 178 var 66 --> eqn 181 var 67 --> eqn 245 var 68 --> eqn 244 var 69 --> eqn 243 var 70 --> eqn 307 var 71 --> eqn 241 var 72 --> eqn 239 var 73 --> eqn 269 var 74 --> eqn 270 var 75 --> eqn 148 var 76 --> eqn 147 var 77 --> eqn 53 var 78 --> eqn 146 var 79 --> eqn 145 var 80 --> eqn 144 var 81 --> eqn 127 var 82 --> eqn 128 var 83 --> eqn 31 var 84 --> eqn 320 var 85 --> eqn 56 var 86 --> eqn 267 var 87 --> eqn 268 var 88 --> eqn 114 var 89 --> eqn 133 var 90 --> eqn 82 var 91 --> eqn 184 var 92 --> eqn 168 var 93 --> eqn 48 var 94 --> eqn 298 var 95 --> eqn 90 var 96 --> eqn 327 var 97 --> eqn 328 var 98 --> eqn 278 var 99 --> eqn 348 var 100 --> eqn 85 var 101 --> eqn 9 var 102 --> eqn 10 var 103 --> eqn 229 var 104 --> eqn 7 var 105 --> eqn 91 var 106 --> eqn 173 var 107 --> eqn 174 var 108 --> eqn 332 var 109 --> eqn 333 var 110 --> eqn 280 var 111 --> eqn 50 var 112 --> eqn 79 var 113 --> eqn 96 var 114 --> eqn 261 var 115 --> eqn 258 var 116 --> eqn 199 var 117 --> eqn 41 var 118 --> eqn 42 var 119 --> eqn 112 var 120 --> eqn 343 var 121 --> eqn 291 var 122 --> eqn 22 var 123 --> eqn 23 var 124 --> eqn 277 var 125 --> eqn 81 var 126 --> eqn 386 var 127 --> eqn 315 var 128 --> eqn 95 var 129 --> eqn 20 var 130 --> eqn 29 var 131 --> eqn 161 var 132 --> eqn 115 var 133 --> eqn 153 var 134 --> eqn 262 var 135 --> eqn 120 var 136 --> eqn 119 var 137 --> eqn 103 var 138 --> eqn 155 var 139 --> eqn 102 var 140 --> eqn 99 var 141 --> eqn 360 var 142 --> eqn 260 var 143 --> eqn 123 var 144 --> eqn 124 var 145 --> eqn 345 var 146 --> eqn 54 var 147 --> eqn 100 var 148 --> eqn 231 var 149 --> eqn 313 var 150 --> eqn 274 var 151 --> eqn 380 var 152 --> eqn 186 var 153 --> eqn 49 var 154 --> eqn 157 var 155 --> eqn 47 var 156 --> eqn 45 var 157 --> eqn 8 var 158 --> eqn 351 var 159 --> eqn 43 var 160 --> eqn 263 var 161 --> eqn 346 var 162 --> eqn 64 var 163 --> eqn 290 var 164 --> eqn 44 var 165 --> eqn 58 var 166 --> eqn 59 var 167 --> eqn 12 var 168 --> eqn 36 var 169 --> eqn 60 var 170 --> eqn 4 var 171 --> eqn 3 var 172 --> eqn 2 var 173 --> eqn 389 var 174 --> eqn 242 var 175 --> eqn 143 var 176 --> eqn 384 var 177 --> eqn 385 var 178 --> eqn 338 var 179 --> eqn 77 var 180 --> eqn 74 var 181 --> eqn 72 var 182 --> eqn 340 var 183 --> eqn 203 var 184 --> eqn 71 var 185 --> eqn 70 var 186 --> eqn 300 var 187 --> eqn 301 var 188 --> eqn 356 var 189 --> eqn 357 var 190 --> eqn 344 var 191 --> eqn 342 var 192 --> eqn 341 var 193 --> eqn 339 var 194 --> eqn 221 var 195 --> eqn 334 var 196 --> eqn 331 var 197 --> eqn 51 var 198 --> eqn 374 var 199 --> eqn 375 var 200 --> eqn 257 var 201 --> eqn 306 var 202 --> eqn 305 var 203 --> eqn 69 var 204 --> eqn 67 var 205 --> eqn 142 var 206 --> eqn 65 var 207 --> eqn 63 var 208 --> eqn 61 var 209 --> eqn 57 var 210 --> eqn 32 var 211 --> eqn 30 var 212 --> eqn 93 var 213 --> eqn 94 var 214 --> eqn 194 var 215 --> eqn 28 var 216 --> eqn 19 var 217 --> eqn 193 var 218 --> eqn 27 var 219 --> eqn 192 var 220 --> eqn 25 var 221 --> eqn 101 var 222 --> eqn 191 var 223 --> eqn 190 var 224 --> eqn 216 var 225 --> eqn 189 var 226 --> eqn 215 var 227 --> eqn 188 var 228 --> eqn 282 var 229 --> eqn 213 var 230 --> eqn 187 var 231 --> eqn 135 var 232 --> eqn 88 var 233 --> eqn 293 var 234 --> eqn 304 var 235 --> eqn 303 var 236 --> eqn 299 var 237 --> eqn 354 var 238 --> eqn 266 var 239 --> eqn 117 var 240 --> eqn 295 var 241 --> eqn 294 var 242 --> eqn 38 var 243 --> eqn 180 var 244 --> eqn 179 var 245 --> eqn 83 var 246 --> eqn 235 var 247 --> eqn 21 var 248 --> eqn 18 var 249 --> eqn 106 var 250 --> eqn 17 var 251 --> eqn 14 var 252 --> eqn 13 var 253 --> eqn 373 var 254 --> eqn 212 var 255 --> eqn 372 var 256 --> eqn 211 var 257 --> eqn 371 var 258 --> eqn 210 var 259 --> eqn 370 var 260 --> eqn 209 var 261 --> eqn 369 var 262 --> eqn 205 var 263 --> eqn 204 var 264 --> eqn 202 var 265 --> eqn 200 var 266 --> eqn 198 var 267 --> eqn 197 var 268 --> eqn 228 var 269 --> eqn 151 var 270 --> eqn 149 var 271 --> eqn 317 var 272 --> eqn 176 var 273 --> eqn 163 var 274 --> eqn 164 var 275 --> eqn 175 var 276 --> eqn 66 var 277 --> eqn 171 var 278 --> eqn 166 var 279 --> eqn 165 var 280 --> eqn 162 var 281 --> eqn 160 var 282 --> eqn 366 var 283 --> eqn 365 var 284 --> eqn 207 var 285 --> eqn 363 var 286 --> eqn 361 var 287 --> eqn 349 var 288 --> eqn 359 var 289 --> eqn 326 var 290 --> eqn 325 var 291 --> eqn 323 var 292 --> eqn 322 var 293 --> eqn 167 var 294 --> eqn 321 var 295 --> eqn 26 var 296 --> eqn 130 var 297 --> eqn 220 var 298 --> eqn 182 var 299 --> eqn 158 var 300 --> eqn 156 var 301 --> eqn 358 var 302 --> eqn 154 var 303 --> eqn 152 var 304 --> eqn 169 var 305 --> eqn 126 var 306 --> eqn 52 var 307 --> eqn 125 var 308 --> eqn 122 var 309 --> eqn 121 var 310 --> eqn 318 var 311 --> eqn 316 var 312 --> eqn 381 var 313 --> eqn 89 var 314 --> eqn 24 var 315 --> eqn 314 var 316 --> eqn 312 var 317 --> eqn 310 var 318 --> eqn 288 var 319 --> eqn 139 var 320 --> eqn 287 var 321 --> eqn 286 var 322 --> eqn 285 var 323 --> eqn 107 var 324 --> eqn 108 var 325 --> eqn 283 var 326 --> eqn 80 var 327 --> eqn 132 var 328 --> eqn 33 var 329 --> eqn 78 var 330 --> eqn 224 var 331 --> eqn 311 var 332 --> eqn 275 var 333 --> eqn 367 var 334 --> eqn 281 var 335 --> eqn 279 var 336 --> eqn 11 var 337 --> eqn 276 var 338 --> eqn 273 var 339 --> eqn 271 var 340 --> eqn 254 var 341 --> eqn 252 var 342 --> eqn 131 var 343 --> eqn 129 var 344 --> eqn 251 var 345 --> eqn 248 var 346 --> eqn 246 var 347 --> eqn 272 var 348 --> eqn 150 var 349 --> eqn 84 var 350 --> eqn 92 var 351 --> eqn 104 var 352 --> eqn 105 var 353 --> eqn 226 var 354 --> eqn 227 var 355 --> eqn 201 var 356 --> eqn 218 var 357 --> eqn 159 equation to variable ********************** eqn 1 --> var 31 eqn 2 --> var 172 eqn 3 --> var 171 eqn 4 --> var 170 eqn 5 --> var 57 eqn 6 --> var 58 eqn 7 --> var 104 eqn 8 --> var 157 eqn 9 --> var 101 eqn 10 --> var 102 eqn 11 --> var 336 eqn 12 --> var 167 eqn 13 --> var 252 eqn 14 --> var 251 eqn 15 --> var 43 eqn 16 --> var 44 eqn 17 --> var 250 eqn 18 --> var 248 eqn 19 --> var 216 eqn 20 --> var 129 eqn 21 --> var 247 eqn 22 --> var 122 eqn 23 --> var 123 eqn 24 --> var 314 eqn 25 --> var 220 eqn 26 --> var 295 eqn 27 --> var 218 eqn 28 --> var 215 eqn 29 --> var 130 eqn 30 --> var 211 eqn 31 --> var 83 eqn 32 --> var 210 eqn 33 --> var 328 eqn 34 --> var 3 eqn 35 --> var 34 eqn 36 --> var 168 eqn 37 --> var -1 eqn 38 --> var 242 eqn 39 --> var 17 eqn 40 --> var 18 eqn 41 --> var 117 eqn 42 --> var 118 eqn 43 --> var 159 eqn 44 --> var 164 eqn 45 --> var 156 eqn 46 --> var 48 eqn 47 --> var 155 eqn 48 --> var 93 eqn 49 --> var 153 eqn 50 --> var 111 eqn 51 --> var 197 eqn 52 --> var 306 eqn 53 --> var 77 eqn 54 --> var 146 eqn 55 --> var 2 eqn 56 --> var 85 eqn 57 --> var 209 eqn 58 --> var 165 eqn 59 --> var 166 eqn 60 --> var 169 eqn 61 --> var 208 eqn 62 --> var 53 eqn 63 --> var 207 eqn 64 --> var 162 eqn 65 --> var 206 eqn 66 --> var 276 eqn 67 --> var 204 eqn 68 --> var 38 eqn 69 --> var 203 eqn 70 --> var 185 eqn 71 --> var 184 eqn 72 --> var 181 eqn 73 --> var 19 eqn 74 --> var 180 eqn 75 --> var 27 eqn 76 --> var 28 eqn 77 --> var 179 eqn 78 --> var 329 eqn 79 --> var 112 eqn 80 --> var 326 eqn 81 --> var 125 eqn 82 --> var 90 eqn 83 --> var 245 eqn 84 --> var 349 eqn 85 --> var 100 eqn 86 --> var 55 eqn 87 --> var 56 eqn 88 --> var 232 eqn 89 --> var 313 eqn 90 --> var 95 eqn 91 --> var 105 eqn 92 --> var 350 eqn 93 --> var 212 eqn 94 --> var 213 eqn 95 --> var 128 eqn 96 --> var 113 eqn 97 --> var 32 eqn 98 --> var 40 eqn 99 --> var 140 eqn 100 --> var 147 eqn 101 --> var 221 eqn 102 --> var 139 eqn 103 --> var 137 eqn 104 --> var 351 eqn 105 --> var 352 eqn 106 --> var 249 eqn 107 --> var 323 eqn 108 --> var 324 eqn 109 --> var 8 eqn 110 --> var 6 eqn 111 --> var 7 eqn 112 --> var 119 eqn 113 --> var 1 eqn 114 --> var 88 eqn 115 --> var 132 eqn 116 --> var 12 eqn 117 --> var 239 eqn 118 --> var 52 eqn 119 --> var 136 eqn 120 --> var 135 eqn 121 --> var 309 eqn 122 --> var 308 eqn 123 --> var 143 eqn 124 --> var 144 eqn 125 --> var 307 eqn 126 --> var 305 eqn 127 --> var 81 eqn 128 --> var 82 eqn 129 --> var 343 eqn 130 --> var 296 eqn 131 --> var 342 eqn 132 --> var 327 eqn 133 --> var 89 eqn 134 --> var 47 eqn 135 --> var 231 eqn 136 --> var 23 eqn 137 --> var -1 eqn 138 --> var 9 eqn 139 --> var 319 eqn 140 --> var 39 eqn 141 --> var 51 eqn 142 --> var 205 eqn 143 --> var 175 eqn 144 --> var 80 eqn 145 --> var 79 eqn 146 --> var 78 eqn 147 --> var 76 eqn 148 --> var 75 eqn 149 --> var 270 eqn 150 --> var 348 eqn 151 --> var 269 eqn 152 --> var 303 eqn 153 --> var 133 eqn 154 --> var 302 eqn 155 --> var 138 eqn 156 --> var 300 eqn 157 --> var 154 eqn 158 --> var 299 eqn 159 --> var 357 eqn 160 --> var 281 eqn 161 --> var 131 eqn 162 --> var 280 eqn 163 --> var 273 eqn 164 --> var 274 eqn 165 --> var 279 eqn 166 --> var 278 eqn 167 --> var 293 eqn 168 --> var 92 eqn 169 --> var 304 eqn 170 --> var 20 eqn 171 --> var 277 eqn 172 --> var -1 eqn 173 --> var 106 eqn 174 --> var 107 eqn 175 --> var 275 eqn 176 --> var 272 eqn 177 --> var 64 eqn 178 --> var 65 eqn 179 --> var 244 eqn 180 --> var 243 eqn 181 --> var 66 eqn 182 --> var 298 eqn 183 --> var -1 eqn 184 --> var 91 eqn 185 --> var -1 eqn 186 --> var 152 eqn 187 --> var 230 eqn 188 --> var 227 eqn 189 --> var 225 eqn 190 --> var 223 eqn 191 --> var 222 eqn 192 --> var 219 eqn 193 --> var 217 eqn 194 --> var 214 eqn 195 --> var 62 eqn 196 --> var 63 eqn 197 --> var 267 eqn 198 --> var 266 eqn 199 --> var 116 eqn 200 --> var 265 eqn 201 --> var 355 eqn 202 --> var 264 eqn 203 --> var 183 eqn 204 --> var 263 eqn 205 --> var 262 eqn 206 --> var 33 eqn 207 --> var 284 eqn 208 --> var 29 eqn 209 --> var 260 eqn 210 --> var 258 eqn 211 --> var 256 eqn 212 --> var 254 eqn 213 --> var 229 eqn 214 --> var 42 eqn 215 --> var 226 eqn 216 --> var 224 eqn 217 --> var 5 eqn 218 --> var 356 eqn 219 --> var -1 eqn 220 --> var 297 eqn 221 --> var 194 eqn 222 --> var -1 eqn 223 --> var -1 eqn 224 --> var 330 eqn 225 --> var 4 eqn 226 --> var 353 eqn 227 --> var 354 eqn 228 --> var 268 eqn 229 --> var 103 eqn 230 --> var 46 eqn 231 --> var 148 eqn 232 --> var 13 eqn 233 --> var 14 eqn 234 --> var 41 eqn 235 --> var 246 eqn 236 --> var 26 eqn 237 --> var -1 eqn 238 --> var 10 eqn 239 --> var 72 eqn 240 --> var 45 eqn 241 --> var 71 eqn 242 --> var 174 eqn 243 --> var 69 eqn 244 --> var 68 eqn 245 --> var 67 eqn 246 --> var 346 eqn 247 --> var 54 eqn 248 --> var 345 eqn 249 --> var 60 eqn 250 --> var 61 eqn 251 --> var 344 eqn 252 --> var 341 eqn 253 --> var 50 eqn 254 --> var 340 eqn 255 --> var 35 eqn 256 --> var 36 eqn 257 --> var 200 eqn 258 --> var 115 eqn 259 --> var -1 eqn 260 --> var 142 eqn 261 --> var 114 eqn 262 --> var 134 eqn 263 --> var 160 eqn 264 --> var -1 eqn 265 --> var -1 eqn 266 --> var 238 eqn 267 --> var 86 eqn 268 --> var 87 eqn 269 --> var 73 eqn 270 --> var 74 eqn 271 --> var 339 eqn 272 --> var 347 eqn 273 --> var 338 eqn 274 --> var 150 eqn 275 --> var 332 eqn 276 --> var 337 eqn 277 --> var 124 eqn 278 --> var 98 eqn 279 --> var 335 eqn 280 --> var 110 eqn 281 --> var 334 eqn 282 --> var 228 eqn 283 --> var 325 eqn 284 --> var 16 eqn 285 --> var 322 eqn 286 --> var 321 eqn 287 --> var 320 eqn 288 --> var 318 eqn 289 --> var -1 eqn 290 --> var 163 eqn 291 --> var 121 eqn 292 --> var -1 eqn 293 --> var 233 eqn 294 --> var 241 eqn 295 --> var 240 eqn 296 --> var -1 eqn 297 --> var -1 eqn 298 --> var 94 eqn 299 --> var 236 eqn 300 --> var 186 eqn 301 --> var 187 eqn 302 --> var -1 eqn 303 --> var 235 eqn 304 --> var 234 eqn 305 --> var 202 eqn 306 --> var 201 eqn 307 --> var 70 eqn 308 --> var 49 eqn 309 --> var -1 eqn 310 --> var 317 eqn 311 --> var 331 eqn 312 --> var 316 eqn 313 --> var 149 eqn 314 --> var 315 eqn 315 --> var 127 eqn 316 --> var 311 eqn 317 --> var 271 eqn 318 --> var 310 eqn 319 --> var -1 eqn 320 --> var 84 eqn 321 --> var 294 eqn 322 --> var 292 eqn 323 --> var 291 eqn 324 --> var 11 eqn 325 --> var 290 eqn 326 --> var 289 eqn 327 --> var 96 eqn 328 --> var 97 eqn 329 --> var -1 eqn 330 --> var -1 eqn 331 --> var 196 eqn 332 --> var 108 eqn 333 --> var 109 eqn 334 --> var 195 eqn 335 --> var 24 eqn 336 --> var 25 eqn 337 --> var 59 eqn 338 --> var 178 eqn 339 --> var 193 eqn 340 --> var 182 eqn 341 --> var 192 eqn 342 --> var 191 eqn 343 --> var 120 eqn 344 --> var 190 eqn 345 --> var 145 eqn 346 --> var 161 eqn 347 --> var 37 eqn 348 --> var 99 eqn 349 --> var 287 eqn 350 --> var -1 eqn 351 --> var 158 eqn 352 --> var -1 eqn 353 --> var 15 eqn 354 --> var 237 eqn 355 --> var -1 eqn 356 --> var 188 eqn 357 --> var 189 eqn 358 --> var 301 eqn 359 --> var 288 eqn 360 --> var 141 eqn 361 --> var 286 eqn 362 --> var 22 eqn 363 --> var 285 eqn 364 --> var 21 eqn 365 --> var 283 eqn 366 --> var 282 eqn 367 --> var 333 eqn 368 --> var -1 eqn 369 --> var 261 eqn 370 --> var 259 eqn 371 --> var 257 eqn 372 --> var 255 eqn 373 --> var 253 eqn 374 --> var 198 eqn 375 --> var 199 eqn 376 --> var -1 eqn 377 --> var 30 eqn 378 --> var -1 eqn 379 --> var -1 eqn 380 --> var 151 eqn 381 --> var 312 eqn 382 --> var -1 eqn 383 --> var -1 eqn 384 --> var 176 eqn 385 --> var 177 eqn 386 --> var 126 eqn 387 --> var -1 eqn 388 --> var -1 eqn 389 --> var 173