Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_11_Buildings.Templates.Plants.Controls.StagingRotation.Validation.StageCompletion.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 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.1.0-maint.11.x/package.mo", uses=false) Using package Buildings with version 11.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.1.0-maint.11.x/package.mo) Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+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.Templates.Plants.Controls.StagingRotation.Validation.StageCompletion,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|comSta.uSta|comSta.u1.1.|comSta.u1.2.|comSta.u1_actual.1.|comSta.u1_actual.2.|y1ComSta.y|comSta.y1",fileNamePrefix="Buildings_11_Buildings.Templates.Plants.Controls.StagingRotation.Validation.StageCompletion") translateModel(Buildings.Templates.Plants.Controls.StagingRotation.Validation.StageCompletion,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|comSta.uSta|comSta.u1.1.|comSta.u1.2.|comSta.u1_actual.1.|comSta.u1_actual.2.|y1ComSta.y|comSta.y1",fileNamePrefix="Buildings_11_Buildings.Templates.Plants.Controls.StagingRotation.Validation.StageCompletion") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001149/0.001149, allocations: 110 kB / 16.42 MB, free: 6.445 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.001091/0.001091, allocations: 188.3 kB / 17.36 MB, free: 5.695 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.148/1.148, allocations: 222.9 MB / 241 MB, free: 15.14 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.1.0-maint.11.x/package.mo): time 2.223/2.223, allocations: 469.8 MB / 0.7431 GB, free: 3.332 MB / 0.6075 GB Notification: Performance of FrontEnd - Absyn->SCode: time 1.132e-05/1.133e-05, allocations: 2.281 kB / 1.066 GB, free: 13.62 MB / 0.8419 GB Notification: Performance of NFInst.instantiate(Buildings.Templates.Plants.Controls.StagingRotation.Validation.StageCompletion): time 0.003174/0.003195, allocations: 2.714 MB / 1.068 GB, free: 10.89 MB / 0.8419 GB Notification: Performance of NFInst.instExpressions: time 0.002074/0.00528, allocations: 1.531 MB / 1.07 GB, free: 9.352 MB / 0.8419 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.0001707/0.005469, allocations: 19.94 kB / 1.07 GB, free: 9.332 MB / 0.8419 GB Notification: Performance of NFTyping.typeComponents: time 0.0005049/0.00598, allocations: 298.4 kB / 1.07 GB, free: 9.039 MB / 0.8419 GB Notification: Performance of NFTyping.typeBindings: time 0.0002252/0.006215, allocations: 183 kB / 1.07 GB, free: 8.859 MB / 0.8419 GB Notification: Performance of NFTyping.typeClassSections: time 0.001122/0.007353, allocations: 0.7159 MB / 1.071 GB, free: 8.148 MB / 0.8419 GB Notification: Performance of NFFlatten.flatten: time 0.00109/0.00845, allocations: 1.425 MB / 1.072 GB, free: 6.723 MB / 0.8419 GB Notification: Performance of NFFlatten.resolveConnections: time 0.0008389/0.009296, allocations: 0.8497 MB / 1.073 GB, free: 5.844 MB / 0.8419 GB Notification: Performance of NFEvalConstants.evaluate: time 0.0004582/0.009763, allocations: 0.6041 MB / 1.074 GB, free: 5.238 MB / 0.8419 GB Notification: Performance of NFSimplifyModel.simplify: time 0.0004842/0.01025, allocations: 0.5761 MB / 1.074 GB, free: 4.66 MB / 0.8419 GB Notification: Performance of NFPackage.collectConstants: time 0.000186/0.01045, allocations: 164 kB / 1.075 GB, free: 4.5 MB / 0.8419 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0002658/0.01072, allocations: 219.9 kB / 1.075 GB, free: 4.285 MB / 0.8419 GB Notification: Performance of combineBinaries: time 0.0008695/0.0116, allocations: 1.427 MB / 1.076 GB, free: 2.844 MB / 0.8419 GB Notification: Performance of replaceArrayConstructors: time 0.0003788/0.01198, allocations: 0.7811 MB / 1.077 GB, free: 2.051 MB / 0.8419 GB Notification: Performance of NFVerifyModel.verify: time 0.0001354/0.01212, allocations: 155.5 kB / 1.077 GB, free: 1.898 MB / 0.8419 GB Notification: Performance of FrontEnd: time 0.0001288/0.01226, allocations: 115.3 kB / 1.077 GB, free: 1.785 MB / 0.8419 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 256 (230) * Number of variables: 244 (209) Notification: Performance of Bindings: time 0.406/0.4183, allocations: 2.953 MB / 1.08 GB, free: 15.5 MB / 0.8419 GB Notification: Performance of FunctionAlias: time 0.000334/0.4186, allocations: 321.9 kB / 1.08 GB, free: 15.49 MB / 0.8419 GB Notification: Performance of Early Inline: time 0.002446/0.4211, allocations: 2.855 MB / 1.083 GB, free: 14.85 MB / 0.8419 GB Notification: Performance of simplify1: time 0.0004574/0.4215, allocations: 357.2 kB / 1.084 GB, free: 14.65 MB / 0.8419 GB Notification: Performance of Alias: time 0.003126/0.4247, allocations: 3.07 MB / 1.087 GB, free: 12.97 MB / 0.8419 GB Notification: Performance of simplify2: time 0.0002615/0.4249, allocations: 256.4 kB / 1.087 GB, free: 12.82 MB / 0.8419 GB Notification: Performance of Detect States: time 0.0007286/0.4257, allocations: 0.8476 MB / 1.088 GB, free: 12.3 MB / 0.8419 GB Notification: Performance of Events: time 0.0009043/0.4266, allocations: 0.8565 MB / 1.088 GB, free: 11.85 MB / 0.8419 GB Notification: Performance of Partitioning: time 0.0008347/0.4274, allocations: 0.9098 MB / 1.089 GB, free: 11.18 MB / 0.8419 GB Error: Internal error NBSorting.SuperNode.getEqnIndices failed because elements should not be accessed, only their parents: [213] scalar element of (250) Error: Internal error NBSorting.tarjan failed to sort system: system vars Variables (164/211) ********************************* (1) [DISC] (1) protected Boolean y1ComSta.toInitial.outPort.occupied (2) [DISC] (4) protected Boolean[4] booTimTab.intGreThr.y (3) [DISC] (1) Boolean $SEV_29 (4) [DISC] (4) protected Integer[4] booTimTab.intGreThr.u (5) [DISC] (1) Boolean $SEV_28 (6) [DISC] (2) Boolean[2] comSta.enaAndOn.u1 (7) [DISC] (1) Boolean $SEV_27 (8) [DISC] (1) protected Boolean[1] y1ComSta.outputTrue.inPort.set (9) [ALGB] (1) protected flow Real comSta.holAnyCha.initialStep.outerStatePort.subgraphStatePort.activeSteps (10) [DISC] (1) Boolean $SEV_26 (11) [DISC] (1) protected Boolean y1ComSta.toInitial.outPort.set (12) [DISC] (1) Boolean $SEV_23 (13) [DISC] (1) Boolean $SEV_22 (14) [DISC] (1) Boolean $SEV_21 (15) [DISC] (1) protected Boolean comSta.holAnyCha.toTrue1.outPort.occupied (16) [DISC] (1) Boolean $SEV_20 (17) [DISC] (1) Boolean $TEV_9 (18) [DISC] (1) Boolean $TEV_8 (19) [DISC] (1) Boolean $TEV_6 (20) [DISC] (1) protected Boolean comSta.holAnyCha.outputFalse.newActive (21) [DISC] (1) Boolean $TEV_5 (22) [DISC] (2) Boolean[2] comSta.anyCha.u (23) [DISC] (1) Boolean $TEV_2 (24) [DISC] (1) protected Boolean y1ComSta.outputTrue.newActive (25) [DISS] (1) Integer[1] idxSta.y (26) [DISC] (1) protected Integer comSta.holAnyCha.stateGraphRoot.activeSteps (27) [DISC] (1) Boolean $TEV_0 (28) [DISC] (1) protected Boolean[1] y1ComSta.outputTrue.outPort.reset (29) [DISC] (1) Integer comSta.uSta (30) [DISC] (2) Boolean[2] $TEV_31[$i1] (31) [DISC] (1) Boolean comSta.chaSta.down (32) [DISC] (1) Boolean $TEV_32 (33) [DISC] (1) Real $TEV_30 (34) [ALGB] (1) protected flow Real y1ComSta.initialStep.outerStatePort.subgraphStatePort.activeSteps (35) [DISC] (1) Boolean $SEV_19 (36) [DISC] (2) Boolean[2] comSta.disAndOff.y (37) [DISC] (1) protected Boolean y1ComSta.toOutputTrue.inPort.available (38) [DISC] (1) Boolean $SEV_18 (39) [DISC] (1) Boolean $SEV_17 (40) [DISC] (1) protected Boolean[1] comSta.holAnyCha.outputFalse.outPort.reset (41) [DISS] (1) protected Boolean comSta.holAnyCha.onDel1.y (42) [DISC] (2) Boolean[2] $SEV_25[$i1] (43) [DISC] (1) protected Boolean comSta.holAnyCha.outputTrue.newActive (44) [DISC] (1) Boolean $SEV_15 (45) [DISC] (1) protected Boolean comSta.holAnyCha.toTrue.outPort.occupied (46) [DISC] (2) protected Boolean[2] comSta.holAnyCha.initialStep.outPort.available (47) [DISC] (1) Boolean $SEV_14 (48) [DISC] (1) Boolean $SEV_13 (49) [DISC] (1) Boolean $SEV_12 (50) [DISS] (1) Boolean comSta.lckAnyCha.y (51) [DISC] (1) Boolean $SEV_11 (52) [DISC] (1) Boolean $SEV_10 (53) [DISS] (1) protected Real comSta.holAnyCha.onDel2.t_next (54) [DISC] (1) Boolean comSta.chaSta.up (55) [DISC] (1) protected final Boolean comSta.holAnyCha.toTrue1.localCondition = comSta.holAnyCha.toTrue1.localCondition (56) [DISC] (1) protected final Boolean comSta.holAnyCha.toFalse.localCondition = comSta.holAnyCha.toFalse.localCondition (57) [DISC] (1) protected Boolean y1ComSta.toInitial.inPort.available (58) [DISC] (1) protected Boolean[1] comSta.holAnyCha.outputTrue.outPort.available (59) [DISC] (1) Real $TEV_29 (60) [DISC] (1) Boolean $TEV_28 (61) [DISC] (1) Boolean $TEV_27 (62) [DISC] (1) Boolean $TEV_24 (63) [DISC] (2) protected Boolean[2] comSta.allTru.uTemp (64) [DISC] (1) Boolean $TEV_23 (65) [DISC] (1) Boolean $TEV_22 (66) [DISC] (2) Boolean[2] comSta.cha.u (67) [DISC] (1) protected Boolean y1ComSta.toOutputTrue.outPort.set (68) [DISC] (1) protected Integer y1ComSta.stateGraphRoot.activeSteps (69) [DISC] (1) protected Boolean comSta.holAnyCha.toFalse1.outPort.occupied (70) [DISS] (4) protected Integer[4] booTimTab.intTimTab.y (71) [DISC] (1) Boolean $FUN_9 (72) [DISC] (1) Boolean $FUN_8 (73) [DISC] (1) Boolean $FUN_7 (74) [DISC] (2) Boolean[2] comSta.allTru.u (75) [DISC] (1) Boolean $FUN_6 (76) [DISC] (1) Boolean $FUN_4 (77) [ALGB] (1) protected flow Real comSta.holAnyCha.stateGraphRoot.subgraphStatePort.activeSteps (78) [DISC] (1) Boolean $FUN_3 (79) [DISC] (1) Boolean $TEV_19 (80) [DISC] (1) Boolean $FUN_2 (81) [DISC] (1) Boolean $TEV_18 (82) [DISC] (1) Boolean $FUN_1 (83) [DISC] (1) Boolean $TEV_17 (84) [DISC] (1) protected Boolean comSta.holAnyCha.outputFalse.outerStatePort.localActive = comSta.holAnyCha.outputFalse.outerStatePort.localActive (85) [DISC] (2) Boolean[2] $SEV_24[$i1] (86) [DISC] (1) Boolean $TEV_14 (87) [DISC] (2) Boolean[2] comSta.onOrOff.u1 (88) [DISC] (2) Boolean[2] $SEV_41[$i1] (89) [DISC] (2) Boolean[2] comSta.onOrOff.u2 (90) [DISC] (2) protected Boolean[2] comSta.holAnyCha.outputTrue.inPort.set (91) [DISC] (1) Boolean $TEV_12 (92) [DISC] (1) Integer $TEV_11 (93) [DISC] (2) Boolean[2] $SEV_30[$i1] (94) [DISC] (1) Real $TEV_10 (95) [DISC] (1) protected Boolean comSta.holAnyCha.toTrue.outPort.set (96) [DISC] (1) protected Boolean y1ComSta.outputTrue.outerStatePort.localActive = y1ComSta.outputTrue.outerStatePort.localActive (97) [DISC] (1) Boolean comSta.lckChaSta.u (98) [DISC] (1) protected Boolean[1] y1ComSta.outputTrue.outPort.available (99) [DISC] (2) protected Boolean[2] comSta.holAnyCha.outputTrue.inPort.occupied (100) [DISC] (2) protected Boolean[2] comSta.holAnyCha.initialStep.outPort.reset (101) [DISC] (2) Boolean[2] comSta.enaAndOn.u2 (102) [DISC] (1) Boolean $FUN_10 (103) [DISC] (2) protected Boolean[2] comSta.anyCha.uTemp (104) [DISC] (2) Boolean[2] $SEV_39[$i1] (105) [DISC] (1) Boolean $SEV_9 (106) [DISC] (1) protected Boolean comSta.holAnyCha.toTrue1.inPort.available (107) [DISC] (1) protected Boolean comSta.holAnyCha.toFalse.outPort.set (108) [DISC] (1) protected Boolean y1ComSta.initialStep.outerStatePort.localActive = y1ComSta.initialStep.outerStatePort.localActive (109) [DISC] (2) protected Boolean[2] comSta.holAnyCha.outputFalse.inPort.occupied (110) [ALGB] (1) protected flow Real y1ComSta.stateGraphRoot.subgraphStatePort.activeSteps (111) [DISC] (1) protected Boolean comSta.holAnyCha.toFalse.outPort.occupied (112) [DISS] (1) protected Integer idxSta.idx (fixed = false) (113) [DISC] (1) Boolean comSta.allTru.y (114) [DISS] (1) protected Boolean comSta.holAnyCha.onDel2.y (115) [DISS] (1) protected Real y1ComSta.onDelay.t_next (116) [DISC] (1) protected Boolean[1] y1ComSta.initialStep.outPort.available (117) [DISC] (1) protected Boolean y1ComSta.toOutputTrue.outPort.occupied (118) [DISS] (1) protected Integer booTimTab.intTimTab.idx (fixed = false) (119) [DISC] (1) protected Boolean[1] y1ComSta.initialStep.inPort.set (120) [ALGB] (1) protected flow Real y1ComSta.outputTrue.outerStatePort.subgraphStatePort.activeSteps (121) [ALGB] (1) protected flow Real comSta.holAnyCha.outputTrue.outerStatePort.subgraphStatePort.activeSteps (122) [DISC] (1) protected Boolean comSta.holAnyCha.toFalse1.inPort.available (123) [DISC] (2) Boolean[2] comSta.onOrOff.y (124) [DISC] (1) protected Boolean comSta.holAnyCha.toFalse1.outPort.set (125) [DISC] (1) protected Boolean[1] comSta.holAnyCha.outputFalse.outPort.available (126) [DISC] (2) Boolean[2] comSta.cha.y (127) [DISC] (1) protected Boolean[1] y1ComSta.initialStep.inPort.occupied (128) [DISC] (1) protected final Boolean y1ComSta.toOutputTrue.localCondition = y1ComSta.toOutputTrue.localCondition (129) [DISC] (2) Boolean[2] comSta.u1 (130) [DISC] (2) Boolean[2] comSta.enaAndOn.y (131) [DISC] (1) protected Boolean[1] comSta.holAnyCha.outputTrue.outPort.reset (132) [DISC] (2) protected Boolean[2] comSta.holAnyCha.outputFalse.inPort.set (133) [DISC] (2) Boolean[2] $SEV_44[$i1] (134) [DISS] (1) protected Real comSta.holAnyCha.onDel1.t_next (135) [DISC] (4) Boolean[4] $SEV_16[$i1] (136) [DISC] (2) Boolean[2] $SEV_33[$i1] (137) [DISC] (1) protected Boolean[1] y1ComSta.outputTrue.inPort.occupied (138) [DISC] (1) Boolean $SEV_42 (139) [DISC] (1) Boolean $SEV_40 (140) [DISC] (1) protected Boolean comSta.holAnyCha.initialStep.outerStatePort.localActive = comSta.holAnyCha.initialStep.outerStatePort.localActive (141) [DISC] (1) protected Boolean comSta.holAnyCha.toTrue.inPort.available (142) [DISC] (2) Boolean[2] comSta.u1_actual (143) [DISC] (1) protected final Boolean comSta.holAnyCha.toTrue.localCondition = comSta.holAnyCha.toTrue.localCondition (144) [DISC] (1) Boolean comSta.chaAndMat.y (145) [DISC] (1) protected Boolean comSta.holAnyCha.toTrue1.outPort.set (146) [DISC] (1) protected Boolean comSta.holAnyCha.toFalse.inPort.available (147) [DISC] (1) protected Boolean y1ComSta.initialStep.newActive (148) [DISC] (1) protected Boolean comSta.holAnyCha.initialStep.newActive (149) [DISC] (1) Boolean $SEV_38 (150) [DISC] (1) Boolean $SEV_37 (151) [DISC] (4) Boolean[4] booTimTab.y (152) [DISC] (1) Boolean $SEV_36 (153) [DISC] (1) Boolean $SEV_35 (154) [DISC] (1) Boolean $SEV_34 (155) [DISS] (1) protected final Boolean y1ComSta.toInitial.localCondition = y1ComSta.toInitial.localCondition (156) [DISC] (1) Boolean $SEV_32 (157) [DISC] (1) Boolean $SEV_31 (158) [ALGB] (1) protected flow Real comSta.holAnyCha.outputFalse.outerStatePort.subgraphStatePort.activeSteps (159) [DISC] (1) protected Boolean[1] y1ComSta.initialStep.outPort.reset (160) [DISC] (2) Boolean[2] $SEV_43[$i1] (161) [DISC] (2) Boolean[2] comSta.disAndOff.u1 (162) [DISC] (1) protected Boolean comSta.endStaPro.not_u = not (not comSta.endStaPro.not_u) (163) [DISC] (2) Boolean[2] comSta.disAndOff.u2 (164) [DISC] (1) protected Boolean comSta.holAnyCha.outputTrue.outerStatePort.localActive = comSta.holAnyCha.outputTrue.outerStatePort.localActive system eqns Equations (185/223) ********************************* (1) [SCAL] (1) y1ComSta.toInitial.outPort.set = y1ComSta.initialStep.inPort[1].set ($RES_SIM_204) (2) [SCAL] (1) y1ComSta.toInitial.outPort.occupied = y1ComSta.initialStep.inPort[1].occupied ($RES_SIM_205) (3) [SCAL] (1) y1ComSta.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if y1ComSta.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_80) (4) [SCAL] (1) y1ComSta.initialStep.outPort[1].reset = false ($RES_SIM_81) (5) [SCAL] (1) y1ComSta.initialStep.inPort[1].set = false ($RES_SIM_82) (6) [SCAL] (1) comSta.holAnyCha.initialStep.newActive = $SEV_26 ($RES_SIM_122) (7) [SCAL] (1) y1ComSta.initialStep.outPort[1].available = y1ComSta.initialStep.outerStatePort.localActive ($RES_SIM_83) (8) [SCAL] (1) comSta.holAnyCha.initialStep.outerStatePort.localActive = $TEV_18 ($RES_SIM_123) (9) [SCAL] (1) y1ComSta.initialStep.outPort[1].reset = y1ComSta.toOutputTrue.outPort.set ($RES_SIM_209) (10) [SCAL] (1) y1ComSta.initialStep.inPort[1].occupied = y1ComSta.initialStep.outerStatePort.localActive ($RES_SIM_84) (11) [SCAL] (1) comSta.holAnyCha.initialStep.outerStatePort.subgraphStatePort.activeSteps = if comSta.holAnyCha.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_125) (12) [SCAL] (1) y1ComSta.initialStep.newActive = $SEV_14 ($RES_SIM_86) (13) [SCAL] (1) comSta.holAnyCha.toTrue.localCondition = $SEV_27 ($RES_SIM_126) (14) [SCAL] (1) y1ComSta.initialStep.outerStatePort.localActive = $TEV_9 ($RES_SIM_87) (15) [SCAL] (1) comSta.holAnyCha.toFalse.localCondition = $SEV_28 ($RES_SIM_127) (16) [SCAL] (1) y1ComSta.initialStep.outerStatePort.subgraphStatePort.activeSteps = if y1ComSta.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_89) (17) [SCAL] (1) $SEV_23 = (comSta.holAnyCha.toTrue1.localCondition and comSta.holAnyCha.toTrue1.inPort.available) and not comSta.holAnyCha.toTrue1.outPort.occupied ($RES_EVT_370) (18) [FOR-] (2) ($RES_EVT_371) (18) [----] for $i1 in 1:2 loop (18) [----] [SCAL] (1) $SEV_24[$i1] = $i1 == 1 ($RES_EVT_372) (18) [----] end for; (19) [FOR-] (2) ($RES_EVT_373) (19) [----] for $i1 in 1:2 loop (19) [----] [SCAL] (1) $SEV_25[$i1] = comSta.holAnyCha.initialStep.outPort[$i1 - 1].available and not comSta.holAnyCha.initialStep.outPort[$i1 - 1].reset ($RES_EVT_374) (19) [----] end for; (20) [SCAL] (1) $SEV_26 = comSta.holAnyCha.initialStep.outerStatePort.localActive and not $FUN_6 ($RES_EVT_375) (21) [SCAL] (1) $SEV_27 = comSta.holAnyCha.onDel1.y and comSta.holAnyCha.toTrue1.localCondition ($RES_EVT_376) (22) [SCAL] (1) $SEV_28 = comSta.holAnyCha.onDel2.y and not comSta.holAnyCha.toTrue1.localCondition ($RES_EVT_377) (23) [SCAL] (1) $SEV_29 = (comSta.holAnyCha.toFalse.localCondition and comSta.holAnyCha.toFalse.inPort.available) and not comSta.holAnyCha.toFalse.outPort.occupied ($RES_EVT_378) (24) [FOR-] (2) ($RES_EVT_379) (24) [----] for $i1 in 1:2 loop (24) [----] [SCAL] (1) $SEV_30[$i1] = comSta.holAnyCha.outputTrue.inPort[$i1 - 1].occupied or comSta.holAnyCha.outputTrue.inPort[$i1 - 1].set ($RES_EVT_380) (24) [----] end for; (25) [SCAL] (1) y1ComSta.initialStep.outPort[1].available = y1ComSta.toOutputTrue.inPort.available ($RES_SIM_210) (26) [SCAL] (1) comSta.holAnyCha.toFalse.outPort.set = $SEV_29 ($RES_SIM_130) (27) [WHEN] (1) ($RES_SIM_90) (27) [----] when $SEV_15 then (27) [----] y1ComSta.toInitial.localCondition := y1ComSta.outputTrue.outerStatePort.localActive (27) [----] else when not y1ComSta.outputTrue.outerStatePort.localActive then (27) [----] y1ComSta.toInitial.localCondition := false (27) [----] else when y1ComSta.outputTrue.outerStatePort.localActive then (27) [----] y1ComSta.toInitial.localCondition := not y1ComSta.onDelay.delayTime > 0.0 (27) [----] else when initial() then (27) [----] y1ComSta.toInitial.localCondition := if not (y1ComSta.onDelay.delayOnInit and y1ComSta.onDelay.delayTime > 0.0) then y1ComSta.outputTrue.outerStatePort.localActive else false (27) [----] end when; (28) [WHEN] (1) ($RES_SIM_91) (28) [----] when $SEV_15 then (28) [----] y1ComSta.onDelay.t_next := y1ComSta.onDelay.t_past (28) [----] else when not y1ComSta.outputTrue.outerStatePort.localActive then (28) [----] y1ComSta.onDelay.t_next := y1ComSta.onDelay.t_past (28) [----] else when y1ComSta.outputTrue.outerStatePort.localActive then (28) [----] y1ComSta.onDelay.t_next := time + y1ComSta.onDelay.delayTime (28) [----] else when initial() then (28) [----] y1ComSta.onDelay.t_next := if not y1ComSta.onDelay.delayOnInit then y1ComSta.onDelay.t_past else time + y1ComSta.onDelay.delayTime (28) [----] end when; (29) [ARRY] (4) booTimTab.intGreThr.y = booTimTab.y ($RES_SIM_217) (30) [ARRY] (4) booTimTab.intTimTab.y = booTimTab.intGreThr.u ($RES_SIM_218) (31) [SCAL] (1) y1ComSta.stateGraphRoot.activeSteps = -integer(y1ComSta.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_95) (32) [SCAL] (1) comSta.holAnyCha.outputTrue.outPort[1].reset = false ($RES_SIM_135) (33) [FOR-] (4) ($RES_SIM_96) (33) [----] for $i1 in 1:4 loop (33) [----] [SCAL] (1) booTimTab.intGreThr[$i1].y = $SEV_16[$i1] ($RES_SIM_97) (33) [----] end for; (34) [FOR-] (2) ($RES_SIM_136) (34) [----] for $i1 in 1:2 loop (34) [----] [SCAL] (1) comSta.holAnyCha.outputTrue.inPort[$i1].set = false ($RES_SIM_137) (34) [----] end for; (35) [WHEN] (4) ($RES_SIM_98) (35) [----] when {$SEV_17 for i in 1:7} then (35) [----] booTimTab.intTimTab.y[:] := booTimTab.intTimTab.val[booTimTab.intTimTab.idx, :] (35) [----] end when; (36) [SCAL] (1) comSta.holAnyCha.outputTrue.outPort[1].available = comSta.holAnyCha.outputTrue.outerStatePort.localActive ($RES_SIM_138) (37) [WHEN] (1) ($RES_SIM_99) (37) [----] when {$SEV_18 for i in 1:7} then (37) [----] booTimTab.intTimTab.idx := Buildings.Templates.Plants.Controls.StagingRotation.Validation.StageCompletion.booTimTab.intTimTab.getIndex(time, booTimTab.intTimTab.period, booTimTab.intTimTab.timeStamps) (37) [----] end when; (38) [FOR-] (2) ($RES_SIM_139) (38) [----] for $i1 in 1:2 loop (38) [----] [SCAL] (1) comSta.holAnyCha.outputTrue.inPort[$i1].occupied = if $SEV_24[$i1] then comSta.holAnyCha.outputTrue.outerStatePort.localActive else $SEV_30[$i1] ($RES_SIM_140) (38) [----] end for; (39) [SCAL] (1) $SEV_31 = $FUN_3 or comSta.holAnyCha.outputTrue.outerStatePort.localActive and not $FUN_4 ($RES_EVT_381) (40) [SCAL] (1) $SEV_32 = (comSta.holAnyCha.toTrue.localCondition and comSta.holAnyCha.toTrue.inPort.available) and not comSta.holAnyCha.toTrue.outPort.occupied ($RES_EVT_382) (41) [SCAL] (1) $TEV_0 = $PRE.y1ComSta.toInitial.outPort.set ($RES_EVT_309) (42) [FOR-] (2) ($RES_EVT_383) (42) [----] for $i1 in 1:2 loop (42) [----] [SCAL] (1) $SEV_33[$i1] = comSta.holAnyCha.outputFalse.inPort[$i1 - 1].occupied or comSta.holAnyCha.outputFalse.inPort[$i1 - 1].set ($RES_EVT_384) (42) [----] end for; (43) [SCAL] (1) $SEV_34 = $FUN_1 or comSta.holAnyCha.outputFalse.outerStatePort.localActive and not $FUN_2 ($RES_EVT_385) (44) [SCAL] (1) $SEV_35 = time >= $PRE.comSta.holAnyCha.onDel2.t_next ($RES_EVT_386) (45) [SCAL] (1) $SEV_36 = time >= $PRE.comSta.holAnyCha.onDel1.t_next ($RES_EVT_387) (46) [SCAL] (1) $SEV_37 = comSta.lckAnyCha.y and comSta.allTru.y ($RES_EVT_388) (47) [SCAL] (1) $SEV_38 = comSta.anyCha.u[2] or comSta.anyCha.uTemp[1] ($RES_EVT_389) (48) [ARRY] (2) comSta.onOrOff.y = comSta.allTru.u ($RES_SIM_225) (49) [ARRY] (2) comSta.disAndOff.y = comSta.onOrOff.u2 ($RES_SIM_226) (50) [ARRY] (2) comSta.enaAndOn.y = comSta.onOrOff.u1 ($RES_SIM_227) (51) [SCAL] (1) comSta.holAnyCha.outputTrue.newActive = $SEV_31 ($RES_SIM_142) (52) [SCAL] (1) comSta.holAnyCha.outputTrue.outerStatePort.localActive = $TEV_23 ($RES_SIM_143) (53) [SCAL] (1) comSta.holAnyCha.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if comSta.holAnyCha.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_145) (54) [SCAL] (1) comSta.holAnyCha.toTrue.outPort.set = $SEV_32 ($RES_SIM_149) (55) [SCAL] (1) $TEV_2 = $PRE.y1ComSta.toOutputTrue.outPort.set ($RES_EVT_311) (56) [SCAL] (1) $TEV_5 = $PRE.y1ComSta.outputTrue.outerStatePort.localActive ($RES_EVT_314) (57) [SCAL] (1) $TEV_6 = $PRE.y1ComSta.outputTrue.newActive ($RES_EVT_315) (58) [FOR-] (2) ($RES_EVT_390) (58) [----] for $i1 in 1:2 loop (58) [----] [SCAL] (1) $SEV_39[$i1] = comSta.cha[$i1].u <> $TEV_31[$i1] ($RES_EVT_391) (58) [----] end for; (59) [SCAL] (1) $TEV_8 = $PRE.y1ComSta.initialStep.outerStatePort.localActive ($RES_EVT_317) (60) [SCAL] (1) $TEV_9 = $PRE.y1ComSta.initialStep.newActive ($RES_EVT_318) (61) [SCAL] (1) $SEV_40 = comSta.endStaPro.not_u and not $PRE.comSta.endStaPro.not_u ($RES_EVT_392) (62) [SCAL] (1) $TEV_10 = $PRE.y1ComSta.onDelay.t_next ($RES_EVT_319) (63) [FOR-] (2) ($RES_EVT_393) (63) [----] for $i1 in 1:2 loop (63) [----] [SCAL] (1) $SEV_41[$i1] = comSta.onOrOff[$i1].u1 or comSta.onOrOff[$i1].u2 ($RES_EVT_394) (63) [----] end for; (64) [SCAL] (1) $SEV_42 = comSta.allTru.u[2] and comSta.allTru.uTemp[1] ($RES_EVT_395) (65) [FOR-] (2) ($RES_EVT_396) (65) [----] for $i1 in 1:2 loop (65) [----] [SCAL] (1) $SEV_43[$i1] = comSta.disAndOff[$i1].u1 or comSta.disAndOff[$i1].u2 ($RES_EVT_397) (65) [----] end for; (66) [FOR-] (2) ($RES_EVT_398) (66) [----] for $i1 in 1:2 loop (66) [----] [SCAL] (1) $SEV_44[$i1] = comSta.enaAndOn[$i1].u1 and comSta.enaAndOn[$i1].u2 ($RES_EVT_399) (66) [----] end for; (67) [SCAL] (1) comSta.u1[2] = comSta.cha[2].u ($RES_SIM_230) (68) [SCAL] (1) comSta.u1[2] = comSta.enaAndOn[2].u1 ($RES_SIM_231) (69) [SCAL] (1) comSta.u1[2] = comSta.disAndOff[2].u1 ($RES_SIM_232) (70) [SCAL] (1) comSta.u1[1] = comSta.cha[1].u ($RES_SIM_233) (71) [SCAL] (1) comSta.u1[1] = comSta.enaAndOn[1].u1 ($RES_SIM_234) (72) [SCAL] (1) comSta.u1[1] = comSta.disAndOff[1].u1 ($RES_SIM_235) (73) [ARRY] (2) comSta.cha.y = comSta.anyCha.u ($RES_SIM_236) (74) [SCAL] (1) comSta.holAnyCha.outputFalse.outPort[1].reset = false ($RES_SIM_154) (75) [FOR-] (2) ($RES_SIM_155) (75) [----] for $i1 in 1:2 loop (75) [----] [SCAL] (1) comSta.holAnyCha.outputFalse.inPort[$i1].set = false ($RES_SIM_156) (75) [----] end for; (76) [SCAL] (1) comSta.holAnyCha.outputFalse.outPort[1].available = comSta.holAnyCha.outputFalse.outerStatePort.localActive ($RES_SIM_157) (77) [FOR-] (2) ($RES_SIM_158) (77) [----] for $i1 in 1:2 loop (77) [----] [SCAL] (1) comSta.holAnyCha.outputFalse.inPort[$i1].occupied = if $SEV_24[$i1] then comSta.holAnyCha.outputFalse.outerStatePort.localActive else $SEV_33[$i1] ($RES_SIM_159) (77) [----] end for; (78) [SCAL] (1) $TEV_11 = $PRE.comSta.uSta ($RES_EVT_320) (79) [SCAL] (1) $TEV_12 = $PRE.comSta.holAnyCha.toFalse1.outPort.set ($RES_EVT_321) (80) [SCAL] (1) $TEV_14 = $PRE.comSta.holAnyCha.toTrue1.outPort.set ($RES_EVT_323) (81) [SCAL] (1) $TEV_17 = $PRE.comSta.holAnyCha.initialStep.outerStatePort.localActive ($RES_EVT_326) (82) [SCAL] (1) $TEV_18 = $PRE.comSta.holAnyCha.initialStep.newActive ($RES_EVT_327) (83) [SCAL] (1) $TEV_19 = $PRE.comSta.holAnyCha.toFalse.outPort.set ($RES_EVT_328) (84) [SCAL] (1) comSta.u1_actual[2] = comSta.disAndOff[2].u2 ($RES_SIM_240) (85) [SCAL] (1) comSta.u1_actual[2] = comSta.enaAndOn[2].u2 ($RES_SIM_241) (86) [SCAL] (1) comSta.u1_actual[1] = comSta.disAndOff[1].u2 ($RES_SIM_242) (87) [SCAL] (1) comSta.u1_actual[1] = comSta.enaAndOn[1].u2 ($RES_SIM_243) (88) [SCAL] (1) comSta.holAnyCha.initialStep.outPort[2].reset = comSta.holAnyCha.toFalse1.outPort.set ($RES_SIM_246) (89) [SCAL] (1) comSta.holAnyCha.outputFalse.newActive = $SEV_34 ($RES_SIM_161) (90) [SCAL] (1) comSta.holAnyCha.initialStep.outPort[2].available = comSta.holAnyCha.toFalse1.inPort.available ($RES_SIM_247) (91) [SCAL] (1) comSta.holAnyCha.outputFalse.outerStatePort.localActive = $TEV_28 ($RES_SIM_162) (92) [SCAL] (1) comSta.holAnyCha.initialStep.outPort[1].reset = comSta.holAnyCha.toTrue1.outPort.set ($RES_SIM_248) (93) [SCAL] (1) comSta.holAnyCha.initialStep.outPort[1].available = comSta.holAnyCha.toTrue1.inPort.available ($RES_SIM_249) (94) [SCAL] (1) comSta.holAnyCha.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if comSta.holAnyCha.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_164) (95) [SCAL] (1) comSta.holAnyCha.stateGraphRoot.activeSteps = -integer(comSta.holAnyCha.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_168) (96) [WHEN] (1) ($RES_SIM_169) (96) [----] when $SEV_35 then (96) [----] comSta.holAnyCha.onDel2.y := comSta.holAnyCha.outputTrue.outerStatePort.localActive (96) [----] else when not comSta.holAnyCha.outputTrue.outerStatePort.localActive then (96) [----] comSta.holAnyCha.onDel2.y := false (96) [----] else when comSta.holAnyCha.outputTrue.outerStatePort.localActive then (96) [----] comSta.holAnyCha.onDel2.y := not comSta.holAnyCha.onDel2.delayTime > 0.0 (96) [----] else when initial() then (96) [----] comSta.holAnyCha.onDel2.y := if not (comSta.holAnyCha.onDel2.delayOnInit and comSta.holAnyCha.onDel2.delayTime > 0.0) then comSta.holAnyCha.outputTrue.outerStatePort.localActive else false (96) [----] end when; (97) [SCAL] (1) $TEV_22 = $PRE.comSta.holAnyCha.outputTrue.outerStatePort.localActive ($RES_EVT_331) (98) [SCAL] (1) $TEV_23 = $PRE.comSta.holAnyCha.outputTrue.newActive ($RES_EVT_332) (99) [SCAL] (1) $TEV_24 = $PRE.comSta.holAnyCha.toTrue.outPort.set ($RES_EVT_333) (100) [SCAL] (1) $TEV_27 = $PRE.comSta.holAnyCha.outputFalse.outerStatePort.localActive ($RES_EVT_336) (101) [SCAL] (1) $TEV_28 = $PRE.comSta.holAnyCha.outputFalse.newActive ($RES_EVT_337) (102) [SCAL] (1) $TEV_29 = $PRE.comSta.holAnyCha.onDel2.t_next ($RES_EVT_338) (103) [SCAL] (1) $TEV_30 = $PRE.comSta.holAnyCha.onDel1.t_next ($RES_EVT_339) (104) [SCAL] (1) comSta.holAnyCha.toFalse1.outPort.set = comSta.holAnyCha.outputFalse.inPort[2].set ($RES_SIM_250) (105) [SCAL] (1) comSta.holAnyCha.toFalse1.outPort.occupied = comSta.holAnyCha.outputFalse.inPort[2].occupied ($RES_SIM_251) (106) [SCAL] (1) comSta.holAnyCha.toTrue.outPort.set = comSta.holAnyCha.outputTrue.inPort[2].set ($RES_SIM_252) (107) [SCAL] (1) comSta.holAnyCha.toTrue.outPort.occupied = comSta.holAnyCha.outputTrue.inPort[2].occupied ($RES_SIM_253) (108) [SCAL] (1) comSta.holAnyCha.toTrue1.outPort.set = comSta.holAnyCha.outputTrue.inPort[1].set ($RES_SIM_254) (109) [WHEN] (1) ($RES_SIM_56) (109) [----] when {$SEV_9 for i in 1:3} then (109) [----] idxSta.y[:] := idxSta.val[idxSta.idx, :] (109) [----] end when; (110) [SCAL] (1) comSta.holAnyCha.toTrue1.outPort.occupied = comSta.holAnyCha.outputTrue.inPort[1].occupied ($RES_SIM_255) (111) [WHEN] (1) ($RES_SIM_57) (111) [----] when {$SEV_10 for i in 1:3} then (111) [----] idxSta.idx := Buildings.Templates.Plants.Controls.StagingRotation.Validation.StageCompletion.idxSta.getIndex(time, idxSta.period, idxSta.timeStamps) (111) [----] end when; (112) [WHEN] (1) ($RES_SIM_170) (112) [----] when $SEV_35 then (112) [----] comSta.holAnyCha.onDel2.t_next := comSta.holAnyCha.onDel2.t_past (112) [----] else when not comSta.holAnyCha.outputTrue.outerStatePort.localActive then (112) [----] comSta.holAnyCha.onDel2.t_next := comSta.holAnyCha.onDel2.t_past (112) [----] else when comSta.holAnyCha.outputTrue.outerStatePort.localActive then (112) [----] comSta.holAnyCha.onDel2.t_next := time + comSta.holAnyCha.onDel2.delayTime (112) [----] else when initial() then (112) [----] comSta.holAnyCha.onDel2.t_next := if not comSta.holAnyCha.onDel2.delayOnInit then comSta.holAnyCha.onDel2.t_past else time + comSta.holAnyCha.onDel2.delayTime (112) [----] end when; (113) [WHEN] (1) ($RES_SIM_171) (113) [----] when $SEV_36 then (113) [----] comSta.holAnyCha.onDel1.y := comSta.holAnyCha.outputFalse.outerStatePort.localActive (113) [----] else when not comSta.holAnyCha.outputFalse.outerStatePort.localActive then (113) [----] comSta.holAnyCha.onDel1.y := false (113) [----] else when comSta.holAnyCha.outputFalse.outerStatePort.localActive then (113) [----] comSta.holAnyCha.onDel1.y := not comSta.holAnyCha.onDel1.delayTime > 0.0 (113) [----] else when initial() then (113) [----] comSta.holAnyCha.onDel1.y := if not (comSta.holAnyCha.onDel1.delayOnInit and comSta.holAnyCha.onDel1.delayTime > 0.0) then comSta.holAnyCha.outputFalse.outerStatePort.localActive else false (113) [----] end when; (114) [WHEN] (1) ($RES_SIM_172) (114) [----] when $SEV_36 then (114) [----] comSta.holAnyCha.onDel1.t_next := comSta.holAnyCha.onDel1.t_past (114) [----] else when not comSta.holAnyCha.outputFalse.outerStatePort.localActive then (114) [----] comSta.holAnyCha.onDel1.t_next := comSta.holAnyCha.onDel1.t_past (114) [----] else when comSta.holAnyCha.outputFalse.outerStatePort.localActive then (114) [----] comSta.holAnyCha.onDel1.t_next := time + comSta.holAnyCha.onDel1.delayTime (114) [----] else when initial() then (114) [----] comSta.holAnyCha.onDel1.t_next := if not comSta.holAnyCha.onDel1.delayOnInit then comSta.holAnyCha.onDel1.t_past else time + comSta.holAnyCha.onDel1.delayTime (114) [----] end when; (115) [SCAL] (1) comSta.chaAndMat.y = $SEV_37 ($RES_SIM_173) (116) [SCAL] (1) comSta.holAnyCha.toTrue1.localCondition = comSta.anyCha.uTemp[2] ($RES_SIM_174) (117) [SCAL] (1) comSta.anyCha.uTemp[2] = $SEV_38 ($RES_SIM_175) (118) [SCAL] (1) comSta.anyCha.uTemp[1] = comSta.anyCha.u[1] ($RES_SIM_176) (119) [WHEN] (1) ($RES_SIM_177) (119) [----] when {comSta.lckChaSta.u, comSta.holAnyCha.outputTrue.outerStatePort.localActive} then (119) [----] comSta.lckAnyCha.y := not comSta.lckChaSta.u and comSta.holAnyCha.outputTrue.outerStatePort.localActive (119) [----] else when initial() then (119) [----] comSta.lckAnyCha.y := not comSta.lckChaSta.u and comSta.holAnyCha.outputTrue.outerStatePort.localActive (119) [----] end when; (120) [FOR-] (2) ($RES_SIM_178) (120) [----] for $i1 in 1:2 loop (120) [----] [SCAL] (1) comSta.cha[$i1].y = $SEV_39[$i1] ($RES_SIM_179) (120) [----] end for; (121) [FOR-] (2) ($RES_EVT_340) (121) [----] for $i1 in 1:2 loop (121) [----] [SCAL] (1) $TEV_31[$i1] = $PRE.comSta.cha[$i1].u ($RES_EVT_341) (121) [----] end for; (122) [SCAL] (1) $TEV_32 = $PRE.comSta.endStaPro.not_u ($RES_EVT_342) (123) [SCAL] (1) y1ComSta.toInitial.outPort.set = $SEV_11 ($RES_SIM_60) (124) [SCAL] (1) comSta.chaSta.down = $SEV_19 ($RES_SIM_100) (125) [SCAL] (1) comSta.chaSta.up = $SEV_20 ($RES_SIM_101) (126) [SCAL] (1) comSta.lckChaSta.u = $SEV_21 ($RES_SIM_102) (127) [SCAL] (1) comSta.holAnyCha.toFalse1.outPort.set = $SEV_22 ($RES_SIM_105) (128) [SCAL] (1) comSta.holAnyCha.toFalse.outPort.set = comSta.holAnyCha.outputFalse.inPort[1].set ($RES_SIM_264) (129) [SCAL] (1) comSta.holAnyCha.toFalse.outPort.occupied = comSta.holAnyCha.outputFalse.inPort[1].occupied ($RES_SIM_265) (130) [SCAL] (1) y1ComSta.toOutputTrue.outPort.set = $SEV_12 ($RES_SIM_67) (131) [WHEN] (1) ($RES_SIM_180) (131) [----] when {comSta.chaAndMat.y, comSta.lckChaSta.u} then (131) [----] not comSta.endStaPro.not_u := not comSta.chaAndMat.y and comSta.lckChaSta.u (131) [----] else when initial() then (131) [----] not comSta.endStaPro.not_u := not comSta.chaAndMat.y and comSta.lckChaSta.u (131) [----] end when; (132) [SCAL] (1) comSta.holAnyCha.outputFalse.outPort[1].reset = comSta.holAnyCha.toTrue.outPort.set ($RES_SIM_266) (133) [SCAL] (1) y1ComSta.toOutputTrue.localCondition = $SEV_40 ($RES_SIM_181) (134) [SCAL] (1) comSta.holAnyCha.outputFalse.outPort[1].available = comSta.holAnyCha.toTrue.inPort.available ($RES_SIM_267) (135) [FOR-] (2) ($RES_SIM_182) (135) [----] for $i1 in 1:2 loop (135) [----] [SCAL] (1) comSta.onOrOff[$i1].y = $SEV_41[$i1] ($RES_SIM_183) (135) [----] end for; (136) [SCAL] (1) comSta.allTru.y = comSta.allTru.uTemp[2] ($RES_SIM_184) (137) [SCAL] (1) comSta.allTru.uTemp[2] = $SEV_42 ($RES_SIM_185) (138) [SCAL] (1) comSta.allTru.uTemp[1] = comSta.allTru.u[1] ($RES_SIM_186) (139) [FOR-] (2) ($RES_SIM_187) (139) [----] for $i1 in 1:2 loop (139) [----] [SCAL] (1) comSta.disAndOff[$i1].y = not $SEV_43[$i1] ($RES_SIM_188) (139) [----] end for; (140) [FOR-] (2) ($RES_SIM_189) (140) [----] for $i1 in 1:2 loop (140) [----] [SCAL] (1) comSta.enaAndOn[$i1].y = $SEV_44[$i1] ($RES_SIM_190) (140) [----] end for; (141) [SCAL] (1) $FUN_1 = Modelica.Math.BooleanVectors.anyTrue(comSta.holAnyCha.outputFalse.inPort.set) ($RES_$AUX_306) (142) [SCAL] (1) $FUN_2 = Modelica.Math.BooleanVectors.anyTrue(comSta.holAnyCha.outputFalse.outPort.reset) ($RES_$AUX_305) (143) [SCAL] (1) $FUN_3 = Modelica.Math.BooleanVectors.anyTrue(comSta.holAnyCha.outputTrue.inPort.set) ($RES_$AUX_304) (144) [SCAL] (1) $FUN_4 = Modelica.Math.BooleanVectors.anyTrue(comSta.holAnyCha.outputTrue.outPort.reset) ($RES_$AUX_303) (145) [SCAL] (1) $SEV_9 = sample(1, idxSta.t0 + idxSta.timeStamps[i], idxSta.period) ($RES_EVT_355) (146) [SCAL] (1) $FUN_6 = Modelica.Math.BooleanVectors.anyTrue(comSta.holAnyCha.initialStep.outPort.reset) ($RES_$AUX_301) (147) [SCAL] (1) $SEV_10 = sample(2, idxSta.t0 + idxSta.timeStamps[i], idxSta.period) ($RES_EVT_356) (148) [SCAL] (1) $FUN_7 = Modelica.Math.BooleanVectors.anyTrue(y1ComSta.initialStep.inPort.set) ($RES_$AUX_300) (149) [SCAL] (1) $SEV_11 = (y1ComSta.toInitial.localCondition and y1ComSta.toInitial.inPort.available) and not y1ComSta.toInitial.outPort.occupied ($RES_EVT_357) (150) [SCAL] (1) $SEV_12 = (y1ComSta.toOutputTrue.localCondition and y1ComSta.toOutputTrue.inPort.available) and not y1ComSta.toOutputTrue.outPort.occupied ($RES_EVT_358) (151) [SCAL] (1) $SEV_13 = $FUN_9 or y1ComSta.outputTrue.outerStatePort.localActive and not $FUN_10 ($RES_EVT_359) (152) [SCAL] (1) comSta.holAnyCha.outputTrue.outPort[1].reset = comSta.holAnyCha.toFalse.outPort.set ($RES_SIM_270) (153) [SCAL] (1) y1ComSta.outputTrue.outPort[1].reset = false ($RES_SIM_72) (154) [SCAL] (1) comSta.holAnyCha.toTrue1.outPort.set = $SEV_23 ($RES_SIM_112) (155) [SCAL] (1) $FUN_8 = Modelica.Math.BooleanVectors.anyTrue(y1ComSta.initialStep.outPort.reset) ($RES_$AUX_299) (156) [SCAL] (1) comSta.holAnyCha.outputTrue.outPort[1].available = comSta.holAnyCha.toFalse.inPort.available ($RES_SIM_271) (157) [SCAL] (1) y1ComSta.outputTrue.inPort[1].set = false ($RES_SIM_73) (158) [SCAL] (1) $FUN_9 = Modelica.Math.BooleanVectors.anyTrue(y1ComSta.outputTrue.inPort.set) ($RES_$AUX_298) (159) [SCAL] (1) y1ComSta.outputTrue.outPort[1].available = y1ComSta.outputTrue.outerStatePort.localActive ($RES_SIM_74) (160) [SCAL] (1) $FUN_10 = Modelica.Math.BooleanVectors.anyTrue(y1ComSta.outputTrue.outPort.reset) ($RES_$AUX_297) (161) [SCAL] (1) y1ComSta.outputTrue.inPort[1].occupied = y1ComSta.outputTrue.outerStatePort.localActive ($RES_SIM_75) (162) [SCAL] (1) y1ComSta.outputTrue.newActive = $SEV_13 ($RES_SIM_77) (163) [FOR-] (2) ($RES_SIM_117) (163) [----] for $i1 in 1:2 loop (163) [----] [SCAL] (1) comSta.holAnyCha.initialStep.outPort[$i1].reset = false ($RES_SIM_118) (163) [----] end for; (164) [SCAL] (1) y1ComSta.outputTrue.outerStatePort.localActive = $TEV_6 ($RES_SIM_78) (165) [SCAL] (1) y1ComSta.initialStep.outerStatePort.subgraphStatePort.activeSteps + y1ComSta.outputTrue.outerStatePort.subgraphStatePort.activeSteps + y1ComSta.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_191) (166) [SCAL] (1) comSta.holAnyCha.outputFalse.outerStatePort.subgraphStatePort.activeSteps + comSta.holAnyCha.outputTrue.outerStatePort.subgraphStatePort.activeSteps + comSta.holAnyCha.initialStep.outerStatePort.subgraphStatePort.activeSteps + comSta.holAnyCha.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_192) (167) [FOR-] (2) ($RES_SIM_119) (167) [----] for $i1 in 1:2 loop (167) [----] [SCAL] (1) comSta.holAnyCha.initialStep.outPort[$i1].available = if $SEV_24[$i1] then comSta.holAnyCha.initialStep.outerStatePort.localActive else $SEV_25[$i1] ($RES_SIM_120) (167) [----] end for; (168) [SCAL] (1) idxSta.y[1] = comSta.uSta ($RES_SIM_193) (169) [SCAL] (1) booTimTab.y[4] = comSta.u1_actual[2] ($RES_SIM_194) (170) [SCAL] (1) booTimTab.y[3] = comSta.u1_actual[1] ($RES_SIM_195) (171) [SCAL] (1) booTimTab.y[2] = comSta.u1[2] ($RES_SIM_196) (172) [SCAL] (1) booTimTab.y[1] = comSta.u1[1] ($RES_SIM_197) (173) [SCAL] (1) $SEV_14 = $FUN_7 or y1ComSta.initialStep.outerStatePort.localActive and not $FUN_8 ($RES_EVT_360) (174) [SCAL] (1) $SEV_15 = time >= $PRE.y1ComSta.onDelay.t_next ($RES_EVT_361) (175) [FOR-] (4) ($RES_EVT_362) (175) [----] for $i1 in 1:4 loop (175) [----] [SCAL] (1) $SEV_16[$i1] = booTimTab.intGreThr[$i1].u > booTimTab.intGreThr[$i1].t ($RES_EVT_363) (175) [----] end for; (176) [SCAL] (1) $SEV_17 = sample(2, booTimTab.intTimTab.t0 + booTimTab.intTimTab.timeStamps[i], booTimTab.intTimTab.period) ($RES_EVT_364) (177) [SCAL] (1) $SEV_18 = sample(3, booTimTab.intTimTab.t0 + booTimTab.intTimTab.timeStamps[i], booTimTab.intTimTab.period) ($RES_EVT_365) (178) [SCAL] (1) $SEV_19 = comSta.uSta < $PRE.comSta.uSta ($RES_EVT_366) (179) [SCAL] (1) $SEV_20 = comSta.uSta > $PRE.comSta.uSta ($RES_EVT_367) (180) [SCAL] (1) $SEV_21 = comSta.uSta <> $PRE.comSta.uSta ($RES_EVT_368) (181) [SCAL] (1) $SEV_22 = (not comSta.holAnyCha.toTrue1.localCondition and comSta.holAnyCha.toFalse1.inPort.available) and not comSta.holAnyCha.toFalse1.outPort.occupied ($RES_EVT_369) (182) [SCAL] (1) y1ComSta.outputTrue.outPort[1].reset = y1ComSta.toInitial.outPort.set ($RES_SIM_200) (183) [SCAL] (1) y1ComSta.outputTrue.outPort[1].available = y1ComSta.toInitial.inPort.available ($RES_SIM_201) (184) [SCAL] (1) y1ComSta.toOutputTrue.outPort.set = y1ComSta.outputTrue.inPort[1].set ($RES_SIM_202) (185) [SCAL] (1) y1ComSta.toOutputTrue.outPort.occupied = y1ComSta.outputTrue.inPort[1].occupied ($RES_SIM_203) =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 2 var 2 --> eqn 42 var 3 --> eqn 43 var 4 --> eqn 44 var 5 --> eqn 45 var 6 --> eqn 25 var 7 --> eqn 36 var 8 --> eqn 37 var 9 --> eqn 38 var 10 --> eqn 39 var 11 --> eqn 24 var 12 --> eqn 96 var 13 --> eqn 93 var 14 --> eqn 23 var 15 --> eqn 190 var 16 --> eqn 11 var 17 --> eqn 22 var 18 --> eqn 220 var 19 --> eqn 17 var 20 --> eqn 157 var 21 --> eqn 218 var 22 --> eqn 138 var 23 --> eqn 217 var 24 --> eqn 82 var 25 --> eqn 81 var 26 --> eqn 78 var 27 --> eqn 117 var 28 --> eqn 77 var 29 --> eqn 98 var 30 --> eqn 99 var 31 --> eqn 76 var 32 --> eqn 195 var 33 --> eqn 137 var 34 --> eqn 123 var 35 --> eqn 58 var 36 --> eqn 186 var 37 --> eqn 203 var 38 --> eqn 150 var 39 --> eqn 151 var 40 --> eqn 154 var 41 --> eqn 152 var 42 --> eqn 131 var 43 --> eqn 16 var 44 --> eqn 216 var 45 --> eqn 170 var 46 --> eqn 171 var 47 --> eqn 28 var 48 --> eqn 215 var 49 --> eqn 214 var 50 --> eqn 100 var 51 --> eqn 141 var 52 --> eqn 20 var 53 --> eqn 21 var 54 --> eqn 72 var 55 --> eqn 209 var 56 --> eqn 135 var 57 --> eqn 201 var 58 --> eqn 202 var 59 --> eqn 208 var 60 --> eqn 184 var 61 --> eqn 160 var 62 --> eqn 147 var 63 --> eqn 153 var 64 --> eqn 180 var 65 --> eqn 140 var 66 --> eqn 155 var 67 --> eqn 144 var 68 --> eqn 15 var 69 --> eqn 221 var 70 --> eqn 52 var 71 --> eqn 130 var 72 --> eqn 129 var 73 --> eqn 128 var 74 --> eqn 127 var 75 --> eqn 169 var 76 --> eqn 168 var 77 --> eqn 126 var 78 --> eqn 125 var 79 --> eqn 95 var 80 --> eqn 92 var 81 --> eqn 9 var 82 --> eqn 40 var 83 --> eqn 133 var 84 --> eqn 48 var 85 --> eqn 49 var 86 --> eqn 50 var 87 --> eqn 51 var 88 --> eqn 191 var 89 --> eqn 188 var 90 --> eqn 181 var 91 --> eqn 66 var 92 --> eqn 67 var 93 --> eqn 179 var 94 --> eqn 177 var 95 --> eqn 200 var 96 --> eqn 176 var 97 --> eqn 111 var 98 --> eqn 175 var 99 --> eqn 110 var 100 --> eqn 174 var 101 --> eqn 109 var 102 --> eqn 119 var 103 --> eqn 18 var 104 --> eqn 19 var 105 --> eqn 108 var 106 --> eqn 70 var 107 --> eqn 71 var 108 --> eqn 85 var 109 --> eqn 86 var 110 --> eqn 68 var 111 --> eqn 69 var 112 --> eqn 46 var 113 --> eqn 47 var 114 --> eqn 107 var 115 --> eqn 106 var 116 --> eqn 26 var 117 --> eqn 27 var 118 --> eqn 84 var 119 --> eqn 75 var 120 --> eqn 198 var 121 --> eqn 156 var 122 --> eqn 192 var 123 --> eqn 54 var 124 --> eqn 55 var 125 --> eqn 196 var 126 --> eqn 116 var 127 --> eqn 115 var 128 --> eqn 113 var 129 --> eqn 193 var 130 --> eqn 146 var 131 --> eqn 145 var 132 --> eqn 79 var 133 --> eqn 80 var 134 --> eqn 178 var 135 --> eqn 121 var 136 --> eqn 29 var 137 --> eqn 14 var 138 --> eqn 104 var 139 --> eqn 105 var 140 --> eqn 199 var 141 --> eqn 159 var 142 --> eqn 139 var 143 --> eqn 167 var 144 --> eqn 124 var 145 --> eqn 31 var 146 --> eqn 7 var 147 --> eqn 223 var 148 --> eqn 53 var 149 --> eqn 1 var 150 --> eqn 3 var 151 --> eqn 74 var 152 --> eqn 118 var 153 --> eqn 165 var 154 --> eqn 166 var 155 --> eqn 132 var 156 --> eqn 103 var 157 --> eqn 148 var 158 --> eqn 149 var 159 --> eqn 10 var 160 --> eqn 163 var 161 --> eqn 207 var 162 --> eqn 206 var 163 --> eqn 172 var 164 --> eqn 173 var 165 --> eqn 41 var 166 --> eqn 101 var 167 --> eqn 102 var 168 --> eqn 90 var 169 --> eqn 91 var 170 --> eqn 142 var 171 --> eqn 210 var 172 --> eqn 211 var 173 --> eqn 212 var 174 --> eqn 213 var 175 --> eqn 59 var 176 --> eqn 60 var 177 --> eqn 194 var 178 --> eqn 87 var 179 --> eqn 83 var 180 --> eqn 8 var 181 --> eqn 164 var 182 --> eqn 205 var 183 --> eqn 204 var 184 --> eqn 13 var 185 --> eqn 143 var 186 --> eqn 120 var 187 --> eqn 189 var 188 --> eqn 12 var 189 --> eqn 6 var 190 --> eqn 65 var 191 --> eqn 64 var 192 --> eqn 32 var 193 --> eqn 33 var 194 --> eqn 34 var 195 --> eqn 35 var 196 --> eqn 63 var 197 --> eqn 62 var 198 --> eqn 61 var 199 --> eqn 30 var 200 --> eqn 57 var 201 --> eqn 56 var 202 --> eqn 122 var 203 --> eqn 4 var 204 --> eqn 88 var 205 --> eqn 89 var 206 --> eqn 97 var 207 --> eqn 94 var 208 --> eqn 161 var 209 --> eqn 114 var 210 --> eqn 112 var 211 --> eqn 73 equation to variable ********************** eqn 1 --> var 149 eqn 2 --> var 1 eqn 3 --> var 150 eqn 4 --> var 203 eqn 5 --> var -1 eqn 6 --> var 189 eqn 7 --> var 146 eqn 8 --> var 180 eqn 9 --> var 81 eqn 10 --> var 159 eqn 11 --> var 16 eqn 12 --> var 188 eqn 13 --> var 184 eqn 14 --> var 137 eqn 15 --> var 68 eqn 16 --> var 43 eqn 17 --> var 19 eqn 18 --> var 103 eqn 19 --> var 104 eqn 20 --> var 52 eqn 21 --> var 53 eqn 22 --> var 17 eqn 23 --> var 14 eqn 24 --> var 11 eqn 25 --> var 6 eqn 26 --> var 116 eqn 27 --> var 117 eqn 28 --> var 47 eqn 29 --> var 136 eqn 30 --> var 199 eqn 31 --> var 145 eqn 32 --> var 192 eqn 33 --> var 193 eqn 34 --> var 194 eqn 35 --> var 195 eqn 36 --> var 7 eqn 37 --> var 8 eqn 38 --> var 9 eqn 39 --> var 10 eqn 40 --> var 82 eqn 41 --> var 165 eqn 42 --> var 2 eqn 43 --> var 3 eqn 44 --> var 4 eqn 45 --> var 5 eqn 46 --> var 112 eqn 47 --> var 113 eqn 48 --> var 84 eqn 49 --> var 85 eqn 50 --> var 86 eqn 51 --> var 87 eqn 52 --> var 70 eqn 53 --> var 148 eqn 54 --> var 123 eqn 55 --> var 124 eqn 56 --> var 201 eqn 57 --> var 200 eqn 58 --> var 35 eqn 59 --> var 175 eqn 60 --> var 176 eqn 61 --> var 198 eqn 62 --> var 197 eqn 63 --> var 196 eqn 64 --> var 191 eqn 65 --> var 190 eqn 66 --> var 91 eqn 67 --> var 92 eqn 68 --> var 110 eqn 69 --> var 111 eqn 70 --> var 106 eqn 71 --> var 107 eqn 72 --> var 54 eqn 73 --> var 211 eqn 74 --> var 151 eqn 75 --> var 119 eqn 76 --> var 31 eqn 77 --> var 28 eqn 78 --> var 26 eqn 79 --> var 132 eqn 80 --> var 133 eqn 81 --> var 25 eqn 82 --> var 24 eqn 83 --> var 179 eqn 84 --> var 118 eqn 85 --> var 108 eqn 86 --> var 109 eqn 87 --> var 178 eqn 88 --> var 204 eqn 89 --> var 205 eqn 90 --> var 168 eqn 91 --> var 169 eqn 92 --> var 80 eqn 93 --> var 13 eqn 94 --> var 207 eqn 95 --> var 79 eqn 96 --> var 12 eqn 97 --> var 206 eqn 98 --> var 29 eqn 99 --> var 30 eqn 100 --> var 50 eqn 101 --> var 166 eqn 102 --> var 167 eqn 103 --> var 156 eqn 104 --> var 138 eqn 105 --> var 139 eqn 106 --> var 115 eqn 107 --> var 114 eqn 108 --> var 105 eqn 109 --> var 101 eqn 110 --> var 99 eqn 111 --> var 97 eqn 112 --> var 210 eqn 113 --> var 128 eqn 114 --> var 209 eqn 115 --> var 127 eqn 116 --> var 126 eqn 117 --> var 27 eqn 118 --> var 152 eqn 119 --> var 102 eqn 120 --> var 186 eqn 121 --> var 135 eqn 122 --> var 202 eqn 123 --> var 34 eqn 124 --> var 144 eqn 125 --> var 78 eqn 126 --> var 77 eqn 127 --> var 74 eqn 128 --> var 73 eqn 129 --> var 72 eqn 130 --> var 71 eqn 131 --> var 42 eqn 132 --> var 155 eqn 133 --> var 83 eqn 134 --> var -1 eqn 135 --> var 56 eqn 136 --> var -1 eqn 137 --> var 33 eqn 138 --> var 22 eqn 139 --> var 142 eqn 140 --> var 65 eqn 141 --> var 51 eqn 142 --> var 170 eqn 143 --> var 185 eqn 144 --> var 67 eqn 145 --> var 131 eqn 146 --> var 130 eqn 147 --> var 62 eqn 148 --> var 157 eqn 149 --> var 158 eqn 150 --> var 38 eqn 151 --> var 39 eqn 152 --> var 41 eqn 153 --> var 63 eqn 154 --> var 40 eqn 155 --> var 66 eqn 156 --> var 121 eqn 157 --> var 20 eqn 158 --> var -1 eqn 159 --> var 141 eqn 160 --> var 61 eqn 161 --> var 208 eqn 162 --> var -1 eqn 163 --> var 160 eqn 164 --> var 181 eqn 165 --> var 153 eqn 166 --> var 154 eqn 167 --> var 143 eqn 168 --> var 76 eqn 169 --> var 75 eqn 170 --> var 45 eqn 171 --> var 46 eqn 172 --> var 163 eqn 173 --> var 164 eqn 174 --> var 100 eqn 175 --> var 98 eqn 176 --> var 96 eqn 177 --> var 94 eqn 178 --> var 134 eqn 179 --> var 93 eqn 180 --> var 64 eqn 181 --> var 90 eqn 182 --> var -1 eqn 183 --> var -1 eqn 184 --> var 60 eqn 185 --> var -1 eqn 186 --> var 36 eqn 187 --> var -1 eqn 188 --> var 89 eqn 189 --> var 187 eqn 190 --> var 15 eqn 191 --> var 88 eqn 192 --> var 122 eqn 193 --> var 129 eqn 194 --> var 177 eqn 195 --> var 32 eqn 196 --> var 125 eqn 197 --> var -1 eqn 198 --> var 120 eqn 199 --> var 140 eqn 200 --> var 95 eqn 201 --> var 57 eqn 202 --> var 58 eqn 203 --> var 37 eqn 204 --> var 183 eqn 205 --> var 182 eqn 206 --> var 162 eqn 207 --> var 161 eqn 208 --> var 59 eqn 209 --> var 55 eqn 210 --> var 171 eqn 211 --> var 172 eqn 212 --> var 173 eqn 213 --> var 174 eqn 214 --> var 49 eqn 215 --> var 48 eqn 216 --> var 44 eqn 217 --> var 23 eqn 218 --> var 21 eqn 219 --> var -1 eqn 220 --> var 18 eqn 221 --> var 69 eqn 222 --> var -1 eqn 223 --> var 147