Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_latest_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.0.1-master/package.mo", uses=false) Using package Buildings with version 11.0.1 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.1-master/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_latest_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_latest_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.001733/0.001733, allocations: 113.1 kB / 16.43 MB, free: 6.52 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.001748/0.001748, allocations: 185.5 kB / 17.36 MB, free: 5.727 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.098/1.098, allocations: 222.9 MB / 241 MB, free: 15.1 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.1-master/package.mo): time 2.099/2.099, allocations: 461.9 MB / 0.7354 GB, free: 11.12 MB / 0.6075 GB Notification: Performance of FrontEnd - Absyn->SCode: time 1.371e-05/1.372e-05, allocations: 2.281 kB / 1.055 GB, free: 7.832 MB / 0.8262 GB Notification: Performance of NFInst.instantiate(Buildings.Templates.Plants.Controls.StagingRotation.Validation.StageCompletion): time 0.003124/0.003147, allocations: 2.734 MB / 1.057 GB, free: 5.086 MB / 0.8262 GB Notification: Performance of NFInst.instExpressions: time 0.002166/0.005324, allocations: 1.531 MB / 1.059 GB, free: 3.551 MB / 0.8262 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.0002688/0.005604, allocations: 15.94 kB / 1.059 GB, free: 3.535 MB / 0.8262 GB Notification: Performance of NFTyping.typeComponents: time 0.0005271/0.006137, allocations: 310.4 kB / 1.059 GB, free: 3.23 MB / 0.8262 GB Notification: Performance of NFTyping.typeBindings: time 0.0002405/0.006387, allocations: 167 kB / 1.059 GB, free: 3.066 MB / 0.8262 GB Notification: Performance of NFTyping.typeClassSections: time 0.001278/0.007678, allocations: 0.7099 MB / 1.06 GB, free: 2.359 MB / 0.8262 GB Notification: Performance of NFFlatten.flatten: time 0.00121/0.008895, allocations: 1.432 MB / 1.061 GB, free: 0.9258 MB / 0.8262 GB Notification: Performance of NFFlatten.resolveConnections: time 0.001104/0.01001, allocations: 1.076 MB / 1.062 GB, free: 15.82 MB / 0.8419 GB Notification: Performance of NFEvalConstants.evaluate: time 0.000565/0.01058, allocations: 0.6002 MB / 1.063 GB, free: 15.22 MB / 0.8419 GB Notification: Performance of NFSimplifyModel.simplify: time 0.0005755/0.01116, allocations: 0.5722 MB / 1.064 GB, free: 14.65 MB / 0.8419 GB Notification: Performance of NFPackage.collectConstants: time 0.0002122/0.01138, allocations: 164 kB / 1.064 GB, free: 14.49 MB / 0.8419 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0002801/0.01167, allocations: 212 kB / 1.064 GB, free: 14.28 MB / 0.8419 GB Notification: Performance of combineBinaries: time 0.00085/0.01253, allocations: 1.435 MB / 1.065 GB, free: 12.83 MB / 0.8419 GB Notification: Performance of replaceArrayConstructors: time 0.0003754/0.01291, allocations: 0.785 MB / 1.066 GB, free: 12.04 MB / 0.8419 GB Notification: Performance of NFVerifyModel.verify: time 0.0001856/0.0131, allocations: 163.5 kB / 1.066 GB, free: 11.88 MB / 0.8419 GB Notification: Performance of FrontEnd: time 0.0001552/0.01326, allocations: 107.3 kB / 1.066 GB, free: 11.77 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.00366/0.01693, allocations: 4.416 MB / 1.071 GB, free: 7.188 MB / 0.8419 GB Notification: Performance of FunctionAlias: time 0.0004281/0.01736, allocations: 440.5 kB / 1.071 GB, free: 6.754 MB / 0.8419 GB Notification: Performance of Early Inline: time 0.00339/0.02076, allocations: 3.987 MB / 1.075 GB, free: 2.719 MB / 0.8419 GB Notification: Performance of simplify1: time 0.0002643/0.02103, allocations: 203.7 kB / 1.075 GB, free: 2.52 MB / 0.8419 GB Notification: Performance of Alias: time 0.3581/0.3792, allocations: 5.191 MB / 1.08 GB, free: 21.8 MB / 0.8419 GB Notification: Performance of simplify2: time 0.0002716/0.3795, allocations: 162.8 kB / 1.08 GB, free: 21.8 MB / 0.8419 GB Notification: Performance of Events: time 0.001089/0.3806, allocations: 1.026 MB / 1.081 GB, free: 21.59 MB / 0.8419 GB Notification: Performance of Detect States: time 0.001372/0.382, allocations: 1.54 MB / 1.083 GB, free: 21.45 MB / 0.8419 GB Notification: Performance of Partitioning: time 0.001241/0.3832, allocations: 1.341 MB / 1.084 GB, free: 21.08 MB / 0.8419 GB Error: Internal error NBSorting.SuperNode.getEqnIndices failed because elements should not be accessed, only their parents: [218] scalar element of (255) Error: Internal error NBSorting.tarjan failed to sort system: system vars Variables (171/217) ********************************* (1) [DISS] (1) protected Boolean comSta.holAnyCha.initialStep.oldActive (2) [DISC] (1) protected Boolean comSta.holAnyCha.toFalse.outPort.occupied (3) [DISC] (1) Boolean $SEV_28 (4) [DISC] (1) Boolean $SEV_27 (5) [DISC] (2) protected Boolean[2] comSta.holAnyCha.outputFalse.inPort.set (6) [DISC] (1) protected Boolean y1ComSta.outputTrue.newActive (7) [DISC] (1) Boolean $SEV_26 (8) [DISC] (1) Boolean $SEV_25 (9) [DISC] (1) protected Boolean[1] y1ComSta.outputTrue.inPort.set (10) [DISC] (1) Boolean $SEV_22 (11) [DISC] (1) Boolean $SEV_21 (12) [DISC] (1) Boolean $SEV_20 (13) [DISC] (1) Boolean $TEV_9 (14) [DISC] (1) protected Boolean[1] y1ComSta.initialStep.inPort.occupied (15) [DISC] (1) Boolean $TEV_8 (16) [DISC] (1) Boolean $TEV_7 (17) [DISC] (1) Boolean $TEV_6 (18) [DISC] (1) Boolean $TEV_5 (19) [DISC] (1) Boolean $TEV_4 (20) [DISC] (1) Boolean $TEV_2 (21) [DISC] (1) Boolean $TEV_0 (22) [DISC] (1) protected Boolean[1] y1ComSta.initialStep.outPort.available (23) [DISC] (2) Boolean[2] comSta.u1 (24) [DISC] (1) protected Boolean y1ComSta.initialStep.outerStatePort.localActive = y1ComSta.initialStep.outerStatePort.localActive (25) [DISC] (2) Boolean[2] $TEV_31[$i1] (26) [DISC] (2) Boolean[2] comSta.u1_actual (27) [DISC] (1) Boolean $TEV_32 (28) [DISC] (1) Boolean $TEV_30 (29) [DISS] (1) protected Boolean y1ComSta.outputTrue.oldActive (30) [DISC] (1) Boolean $SEV_19 (31) [DISC] (1) Boolean $SEV_18 (32) [DISC] (1) Boolean $SEV_17 (33) [DISC] (1) protected Boolean comSta.holAnyCha.outputFalse.outerStatePort.localActive = comSta.holAnyCha.outputFalse.outerStatePort.localActive (34) [DISC] (2) Boolean[2] comSta.onOrOff.u1 (35) [DISC] (1) Boolean $SEV_15 (36) [DISC] (2) protected Boolean[2] comSta.holAnyCha.outputTrue.inPort.set (37) [DISC] (2) Boolean[2] comSta.onOrOff.u2 (38) [DISC] (1) Boolean $SEV_14 (39) [DISC] (1) Boolean $SEV_13 (40) [DISC] (1) Boolean $SEV_12 (41) [DISC] (1) Boolean $SEV_11 (42) [DISC] (1) protected Boolean y1ComSta.toInitial.outPort.set (43) [DISC] (1) Boolean $SEV_10 (44) [ALGB] (1) protected flow Real y1ComSta.initialStep.outerStatePort.subgraphStatePort.activeSteps (45) [DISC] (2) protected Boolean[2] comSta.allTru.uTemp (46) [DISS] (1) protected Integer booTimTab.intTimTab.idx (fixed = false) (47) [DISS] (1) protected Boolean comSta.holAnyCha.onDel1.y (48) [DISC] (2) Boolean[2] comSta.disAndOff.u2 (49) [DISC] (2) Boolean[2] comSta.disAndOff.u1 (50) [DISC] (1) Boolean $TEV_29 (51) [DISC] (1) Boolean $TEV_28 (52) [DISC] (1) Boolean $TEV_27 (53) [DISC] (1) protected Boolean y1ComSta.toInitial.inPort.available (54) [DISC] (1) Boolean $TEV_26 (55) [DISC] (1) Boolean $TEV_24 (56) [DISC] (1) Boolean $TEV_23 (57) [DISC] (1) Boolean $TEV_22 (58) [DISC] (1) Boolean $TEV_21 (59) [DISC] (2) protected Boolean[2] comSta.holAnyCha.outputFalse.inPort.occupied (60) [DISC] (1) protected Boolean comSta.holAnyCha.toTrue.outPort.set (61) [DISC] (1) protected Boolean[1] y1ComSta.outputTrue.inPort.occupied (62) [DISS] (1) protected Real comSta.holAnyCha.onDel1.t_next (63) [DISC] (1) Boolean comSta.chaSta.up (64) [DISC] (1) protected Boolean y1ComSta.outputTrue.outerStatePort.localActive = y1ComSta.outputTrue.outerStatePort.localActive (65) [DISC] (2) Boolean[2] comSta.enaAndOn.u2 (66) [DISC] (2) Boolean[2] comSta.enaAndOn.u1 (67) [DISC] (1) protected Boolean comSta.holAnyCha.initialStep.outerStatePort.localActive = comSta.holAnyCha.initialStep.outerStatePort.localActive (68) [DISC] (1) Boolean $FUN_9 (69) [DISC] (1) protected Boolean comSta.holAnyCha.toTrue.inPort.available (70) [DISC] (1) Boolean $FUN_8 (71) [DISC] (2) Boolean[2] $SEV_29[$i1] (72) [DISC] (1) Boolean $FUN_7 (73) [DISS] (1) Integer[1] idxSta.y (74) [DISC] (1) Boolean $FUN_6 (75) [ALGB] (1) protected flow Real comSta.holAnyCha.outputTrue.outerStatePort.subgraphStatePort.activeSteps (76) [DISC] (1) protected Boolean comSta.holAnyCha.outputFalse.newActive (77) [DISC] (1) Boolean $FUN_4 (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) Boolean $TEV_16 (85) [DISC] (2) Boolean[2] $SEV_24[$i1] (86) [DISC] (1) Boolean $TEV_14 (87) [DISC] (1) protected Boolean comSta.holAnyCha.toTrue1.outPort.occupied (88) [DISC] (2) Boolean[2] $SEV_41[$i1] (89) [DISC] (1) Boolean $TEV_12 (90) [DISC] (1) Boolean $TEV_11 (91) [DISC] (1) Boolean $TEV_10 (92) [DISC] (1) protected Boolean[1] comSta.holAnyCha.outputTrue.outPort.reset (93) [DISC] (2) Boolean[2] comSta.allTru.u (94) [DISS] (4) protected Integer[4] booTimTab.intTimTab.y (95) [DISS] (1) protected Integer idxSta.idx (fixed = false) (96) [DISC] (1) Boolean comSta.allTru.y (97) [DISC] (1) protected final Boolean y1ComSta.toOutputTrue.localCondition = y1ComSta.toOutputTrue.localCondition (98) [ALGB] (1) protected flow Real y1ComSta.outputTrue.outerStatePort.subgraphStatePort.activeSteps (99) [DISC] (1) protected Boolean y1ComSta.toInitial.outPort.occupied (100) [DISS] (1) protected Real y1ComSta.onDelay.t_next (101) [DISS] (1) protected Boolean comSta.holAnyCha.onDel2.y (102) [ALGB] (1) protected flow Real y1ComSta.stateGraphRoot.subgraphStatePort.activeSteps (103) [DISC] (1) protected Boolean comSta.holAnyCha.toFalse.outPort.set (104) [DISS] (1) protected Boolean comSta.holAnyCha.outputFalse.oldActive (105) [DISC] (1) Boolean $FUN_10 (106) [DISC] (2) Boolean[2] comSta.cha.u (107) [DISC] (1) protected Boolean comSta.holAnyCha.toTrue1.inPort.available (108) [DISS] (1) protected Boolean comSta.holAnyCha.outputTrue.oldActive (109) [DISC] (1) Boolean $SEV_9 (110) [DISC] (2) Boolean[2] comSta.cha.y (111) [DISC] (1) protected final Boolean comSta.holAnyCha.toTrue.localCondition = comSta.holAnyCha.toTrue.localCondition (112) [DISC] (2) Boolean[2] $SEV_23[$i1] (113) [DISC] (2) Boolean[2] $SEV_40[$i1] (114) [DISC] (1) protected Boolean[1] comSta.holAnyCha.outputFalse.outPort.reset (115) [DISC] (2) Boolean[2] comSta.onOrOff.y (116) [DISC] (1) protected Integer y1ComSta.stateGraphRoot.activeSteps (117) [DISC] (1) protected Boolean comSta.holAnyCha.outputTrue.outerStatePort.localActive = comSta.holAnyCha.outputTrue.outerStatePort.localActive (118) [DISC] (1) protected Boolean comSta.holAnyCha.toFalse1.outPort.set (119) [DISC] (1) protected Boolean comSta.endStaPro.not_u = not (not comSta.endStaPro.not_u) (120) [DISC] (4) Boolean[4] booTimTab.y (121) [DISC] (1) protected Boolean comSta.holAnyCha.outputTrue.newActive (122) [DISC] (2) protected Boolean[2] comSta.holAnyCha.initialStep.outPort.available (123) [DISC] (1) Boolean comSta.lckChaSta.u (124) [DISC] (1) protected Boolean comSta.holAnyCha.toTrue1.outPort.set (125) [DISC] (1) protected Boolean[1] comSta.holAnyCha.outputTrue.outPort.available (126) [ALGB] (1) protected flow Real comSta.holAnyCha.outputFalse.outerStatePort.subgraphStatePort.activeSteps (127) [DISC] (1) protected Boolean[1] comSta.holAnyCha.outputFalse.outPort.available (128) [DISC] (2) Boolean[2] comSta.enaAndOn.y (129) [DISC] (1) protected Boolean y1ComSta.initialStep.newActive (130) [DISS] (1) protected Real comSta.holAnyCha.onDel2.t_next (131) [DISC] (2) Boolean[2] $SEV_38[$i1] (132) [DISC] (1) protected Boolean comSta.holAnyCha.toFalse1.inPort.available (133) [DISC] (4) Boolean[4] $SEV_16[$i1] (134) [DISC] (2) protected Boolean[2] comSta.holAnyCha.outputTrue.inPort.occupied (135) [DISC] (1) protected final Boolean comSta.holAnyCha.toFalse.localCondition = comSta.holAnyCha.toFalse.localCondition (136) [DISC] (1) protected Boolean[1] y1ComSta.outputTrue.outPort.reset (137) [DISC] (1) protected Boolean[1] y1ComSta.initialStep.inPort.set (138) [DISC] (1) protected final Boolean comSta.holAnyCha.toTrue1.localCondition = comSta.holAnyCha.toTrue1.localCondition (139) [DISS] (1) protected Boolean y1ComSta.initialStep.oldActive (140) [DISC] (1) Boolean comSta.chaSta.down (141) [DISC] (1) Integer comSta.uSta (142) [DISC] (4) protected Boolean[4] booTimTab.intGreThr.y (143) [DISC] (1) protected Boolean comSta.holAnyCha.toTrue.outPort.occupied (144) [DISC] (2) protected Boolean[2] comSta.holAnyCha.initialStep.outPort.reset (145) [ALGB] (1) protected flow Real comSta.holAnyCha.stateGraphRoot.subgraphStatePort.activeSteps (146) [DISC] (1) protected Boolean comSta.holAnyCha.toFalse.inPort.available (147) [DISC] (4) protected Integer[4] booTimTab.intGreThr.u (148) [DISS] (1) protected final Boolean y1ComSta.toInitial.localCondition = y1ComSta.toInitial.localCondition (149) [DISC] (1) protected Boolean[1] y1ComSta.initialStep.outPort.reset (150) [ALGB] (1) protected flow Real comSta.holAnyCha.initialStep.outerStatePort.subgraphStatePort.activeSteps (151) [DISC] (1) Boolean $SEV_39 (152) [DISC] (2) Boolean[2] comSta.anyCha.u (153) [DISC] (1) protected Boolean comSta.holAnyCha.toFalse1.outPort.occupied (154) [DISC] (1) Boolean $SEV_37 (155) [DISC] (1) protected Boolean comSta.holAnyCha.initialStep.newActive (156) [DISC] (1) Boolean $SEV_36 (157) [DISS] (1) Boolean comSta.lckAnyCha.y (158) [DISC] (1) Boolean $SEV_35 (159) [DISC] (1) Boolean $SEV_34 (160) [DISC] (1) protected Integer comSta.holAnyCha.stateGraphRoot.activeSteps (161) [DISC] (1) Boolean $SEV_33 (162) [DISC] (1) Boolean $SEV_31 (163) [DISC] (1) Boolean $SEV_30 (164) [DISC] (1) protected Boolean y1ComSta.toOutputTrue.outPort.occupied (165) [DISC] (1) protected Boolean y1ComSta.toOutputTrue.inPort.available (166) [DISC] (2) protected Boolean[2] comSta.anyCha.uTemp (167) [DISC] (1) protected Boolean[1] y1ComSta.outputTrue.outPort.available (168) [DISC] (1) protected Boolean y1ComSta.toOutputTrue.outPort.set (169) [DISC] (2) Boolean[2] $SEV_32[$i1] (170) [DISC] (1) Boolean comSta.chaAndMat.y (171) [DISC] (2) Boolean[2] comSta.disAndOff.y system eqns Equations (192/229) ********************************* (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) [WHEN] (1)when false then (5) [----] comSta.holAnyCha.initialStep.oldActive := comSta.holAnyCha.initialStep.outerStatePort.localActive (5) [----] end when; (6) [SCAL] (1) y1ComSta.initialStep.inPort[1].set = false ($RES_SIM_82) (7) [SCAL] (1) comSta.holAnyCha.initialStep.newActive = $SEV_25 ($RES_SIM_122) (8) [SCAL] (1) y1ComSta.initialStep.outPort[1].available = y1ComSta.initialStep.outerStatePort.localActive ($RES_SIM_83) (9) [SCAL] (1) comSta.holAnyCha.initialStep.outerStatePort.localActive = $TEV_18 ($RES_SIM_123) (10) [SCAL] (1) y1ComSta.initialStep.outPort[1].reset = y1ComSta.toOutputTrue.outPort.set ($RES_SIM_209) (11) [SCAL] (1) y1ComSta.initialStep.inPort[1].occupied = y1ComSta.initialStep.outerStatePort.localActive ($RES_SIM_84) (12) [WHEN] (1)when false then (12) [----] y1ComSta.initialStep.oldActive := y1ComSta.initialStep.outerStatePort.localActive (12) [----] end when; (13) [SCAL] (1) comSta.holAnyCha.initialStep.outerStatePort.subgraphStatePort.activeSteps = if comSta.holAnyCha.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_125) (14) [SCAL] (1) y1ComSta.initialStep.newActive = $SEV_14 ($RES_SIM_86) (15) [SCAL] (1) comSta.holAnyCha.toTrue.localCondition = $SEV_26 ($RES_SIM_126) (16) [SCAL] (1) y1ComSta.initialStep.outerStatePort.localActive = $TEV_9 ($RES_SIM_87) (17) [SCAL] (1) comSta.holAnyCha.toFalse.localCondition = $SEV_27 ($RES_SIM_127) (18) [SCAL] (1) y1ComSta.initialStep.outerStatePort.subgraphStatePort.activeSteps = if y1ComSta.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_89) (19) [FOR-] (2) ($RES_EVT_370) (19) [----] for $i1 in 1:2 loop (19) [----] [SCAL] (1) $SEV_23[$i1] = $i1 == 1 ($RES_EVT_371) (19) [----] end for; (20) [FOR-] (2) ($RES_EVT_372) (20) [----] for $i1 in 1:2 loop (20) [----] [SCAL] (1) $SEV_24[$i1] = comSta.holAnyCha.initialStep.outPort[$i1 - 1].available and not comSta.holAnyCha.initialStep.outPort[$i1 - 1].reset ($RES_EVT_373) (20) [----] end for; (21) [SCAL] (1) $SEV_25 = comSta.holAnyCha.initialStep.outerStatePort.localActive and not $FUN_6 ($RES_EVT_374) (22) [SCAL] (1) $SEV_26 = comSta.holAnyCha.onDel1.y and comSta.holAnyCha.toTrue1.localCondition ($RES_EVT_375) (23) [SCAL] (1) $SEV_27 = comSta.holAnyCha.onDel2.y and not comSta.holAnyCha.toTrue1.localCondition ($RES_EVT_376) (24) [SCAL] (1) $SEV_28 = (comSta.holAnyCha.toFalse.localCondition and comSta.holAnyCha.toFalse.inPort.available) and not comSta.holAnyCha.toFalse.outPort.occupied ($RES_EVT_377) (25) [FOR-] (2) ($RES_EVT_378) (25) [----] for $i1 in 1:2 loop (25) [----] [SCAL] (1) $SEV_29[$i1] = comSta.holAnyCha.outputTrue.inPort[$i1 - 1].occupied or comSta.holAnyCha.outputTrue.inPort[$i1 - 1].set ($RES_EVT_379) (25) [----] end for; (26) [SCAL] (1) y1ComSta.initialStep.outPort[1].available = y1ComSta.toOutputTrue.inPort.available ($RES_SIM_210) (27) [SCAL] (1) comSta.holAnyCha.toFalse.outPort.set = $SEV_28 ($RES_SIM_130) (28) [WHEN] (1)when $SEV_15 then (28) [----] y1ComSta.toInitial.localCondition := y1ComSta.outputTrue.outerStatePort.localActive (28) [----] else when not y1ComSta.outputTrue.outerStatePort.localActive then (28) [----] y1ComSta.toInitial.localCondition := false (28) [----] else when y1ComSta.outputTrue.outerStatePort.localActive then (28) [----] y1ComSta.toInitial.localCondition := not y1ComSta.onDelay.delayTime > 0.0 (28) [----] else when initial() then (28) [----] y1ComSta.toInitial.localCondition := if not (y1ComSta.onDelay.delayOnInit and y1ComSta.onDelay.delayTime > 0.0) then y1ComSta.outputTrue.outerStatePort.localActive else false (28) [----] end when; (29) [WHEN] (1)when $SEV_15 then (29) [----] y1ComSta.onDelay.t_next := y1ComSta.onDelay.t_past (29) [----] else when not y1ComSta.outputTrue.outerStatePort.localActive then (29) [----] y1ComSta.onDelay.t_next := y1ComSta.onDelay.t_past (29) [----] else when y1ComSta.outputTrue.outerStatePort.localActive then (29) [----] y1ComSta.onDelay.t_next := time + y1ComSta.onDelay.delayTime (29) [----] else when initial() then (29) [----] y1ComSta.onDelay.t_next := if not y1ComSta.onDelay.delayOnInit then y1ComSta.onDelay.t_past else time + y1ComSta.onDelay.delayTime (29) [----] end when; (30) [ARRY] (4) booTimTab.intGreThr.y = booTimTab.y ($RES_SIM_217) (31) [ARRY] (4) booTimTab.intTimTab.y = booTimTab.intGreThr.u ($RES_SIM_218) (32) [SCAL] (1) y1ComSta.stateGraphRoot.activeSteps = -integer(y1ComSta.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_95) (33) [SCAL] (1) comSta.holAnyCha.outputTrue.outPort[1].reset = false ($RES_SIM_135) (34) [FOR-] (4) ($RES_SIM_96) (34) [----] for $i1 in 1:4 loop (34) [----] [SCAL] (1) booTimTab.intGreThr[$i1].y = $SEV_16[$i1] ($RES_SIM_97) (34) [----] end for; (35) [FOR-] (2) ($RES_SIM_136) (35) [----] for $i1 in 1:2 loop (35) [----] [SCAL] (1) comSta.holAnyCha.outputTrue.inPort[$i1].set = false ($RES_SIM_137) (35) [----] end for; (36) [WHEN] (4)when {$SEV_17 for i in 1:7} then (36) [----] booTimTab.intTimTab.y[:] := booTimTab.intTimTab.val[booTimTab.intTimTab.idx, :] (36) [----] end when; (37) [SCAL] (1) comSta.holAnyCha.outputTrue.outPort[1].available = comSta.holAnyCha.outputTrue.outerStatePort.localActive ($RES_SIM_138) (38) [WHEN] (1)when {$SEV_18 for i in 1:7} then (38) [----] booTimTab.intTimTab.idx := Buildings.Templates.Plants.Controls.StagingRotation.Validation.StageCompletion.booTimTab.intTimTab.getIndex(time, booTimTab.intTimTab.period, booTimTab.intTimTab.timeStamps) (38) [----] end when; (39) [FOR-] (2) ($RES_SIM_139) (39) [----] for $i1 in 1:2 loop (39) [----] [SCAL] (1) comSta.holAnyCha.outputTrue.inPort[$i1].occupied = if $SEV_23[$i1] then comSta.holAnyCha.outputTrue.outerStatePort.localActive else $SEV_29[$i1] ($RES_SIM_140) (39) [----] end for; (40) [SCAL] (1) $SEV_30 = $FUN_3 or comSta.holAnyCha.outputTrue.outerStatePort.localActive and not $FUN_4 ($RES_EVT_380) (41) [SCAL] (1) $SEV_31 = (comSta.holAnyCha.toTrue.localCondition and comSta.holAnyCha.toTrue.inPort.available) and not comSta.holAnyCha.toTrue.outPort.occupied ($RES_EVT_381) (42) [FOR-] (2) ($RES_EVT_382) (42) [----] for $i1 in 1:2 loop (42) [----] [SCAL] (1) $SEV_32[$i1] = comSta.holAnyCha.outputFalse.inPort[$i1 - 1].occupied or comSta.holAnyCha.outputFalse.inPort[$i1 - 1].set ($RES_EVT_383) (42) [----] end for; (43) [SCAL] (1) $TEV_0 = $PRE.y1ComSta.toInitial.outPort.set ($RES_EVT_309) (44) [SCAL] (1) $SEV_33 = $FUN_1 or comSta.holAnyCha.outputFalse.outerStatePort.localActive and not $FUN_2 ($RES_EVT_384) (45) [SCAL] (1) $SEV_34 = time >= $PRE.comSta.holAnyCha.onDel2.t_next ($RES_EVT_385) (46) [SCAL] (1) $SEV_35 = time >= $PRE.comSta.holAnyCha.onDel1.t_next ($RES_EVT_386) (47) [SCAL] (1) $SEV_36 = comSta.lckAnyCha.y and comSta.allTru.y ($RES_EVT_387) (48) [SCAL] (1) $SEV_37 = comSta.anyCha.u[2] or comSta.anyCha.uTemp[1] ($RES_EVT_388) (49) [FOR-] (2) ($RES_EVT_389) (49) [----] for $i1 in 1:2 loop (49) [----] [SCAL] (1) $SEV_38[$i1] = comSta.onOrOff[$i1].u1 or comSta.onOrOff[$i1].u2 ($RES_EVT_390) (49) [----] end for; (50) [ARRY] (2) comSta.onOrOff.y = comSta.allTru.u ($RES_SIM_225) (51) [ARRY] (2) comSta.disAndOff.y = comSta.onOrOff.u2 ($RES_SIM_226) (52) [WHEN] (1)when false then (52) [----] comSta.holAnyCha.outputTrue.oldActive := comSta.holAnyCha.outputTrue.outerStatePort.localActive (52) [----] end when; (53) [ARRY] (2) comSta.enaAndOn.y = comSta.onOrOff.u1 ($RES_SIM_227) (54) [SCAL] (1) comSta.holAnyCha.outputTrue.newActive = $SEV_30 ($RES_SIM_142) (55) [SCAL] (1) comSta.holAnyCha.outputTrue.outerStatePort.localActive = $TEV_23 ($RES_SIM_143) (56) [SCAL] (1) comSta.holAnyCha.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if comSta.holAnyCha.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_145) (57) [SCAL] (1) comSta.holAnyCha.toTrue.outPort.set = $SEV_31 ($RES_SIM_149) (58) [SCAL] (1) $TEV_2 = $PRE.y1ComSta.toOutputTrue.outPort.set ($RES_EVT_311) (59) [SCAL] (1) $TEV_4 = $PRE.y1ComSta.outputTrue.oldActive ($RES_EVT_313) (60) [SCAL] (1) $TEV_5 = $PRE.y1ComSta.outputTrue.outerStatePort.localActive ($RES_EVT_314) (61) [SCAL] (1) $TEV_6 = $PRE.y1ComSta.outputTrue.newActive ($RES_EVT_315) (62) [SCAL] (1) $TEV_7 = $PRE.y1ComSta.initialStep.oldActive ($RES_EVT_316) (63) [SCAL] (1) $TEV_8 = $PRE.y1ComSta.initialStep.outerStatePort.localActive ($RES_EVT_317) (64) [SCAL] (1) $SEV_39 = comSta.allTru.u[2] and comSta.allTru.uTemp[1] ($RES_EVT_391) (65) [SCAL] (1) $TEV_9 = $PRE.y1ComSta.initialStep.newActive ($RES_EVT_318) (66) [FOR-] (2) ($RES_EVT_392) (66) [----] for $i1 in 1:2 loop (66) [----] [SCAL] (1) $SEV_40[$i1] = comSta.disAndOff[$i1].u1 or comSta.disAndOff[$i1].u2 ($RES_EVT_393) (66) [----] end for; (67) [SCAL] (1) $TEV_10 = $PRE.y1ComSta.onDelay.t_next ($RES_EVT_319) (68) [FOR-] (2) ($RES_EVT_394) (68) [----] for $i1 in 1:2 loop (68) [----] [SCAL] (1) $SEV_41[$i1] = comSta.enaAndOn[$i1].u1 and comSta.enaAndOn[$i1].u2 ($RES_EVT_395) (68) [----] end for; (69) [SCAL] (1) comSta.u1[2] = comSta.cha[2].u ($RES_SIM_230) (70) [SCAL] (1) comSta.u1[2] = comSta.enaAndOn[2].u1 ($RES_SIM_231) (71) [SCAL] (1) comSta.u1[2] = comSta.disAndOff[2].u1 ($RES_SIM_232) (72) [SCAL] (1) comSta.u1[1] = comSta.cha[1].u ($RES_SIM_233) (73) [SCAL] (1) comSta.u1[1] = comSta.enaAndOn[1].u1 ($RES_SIM_234) (74) [SCAL] (1) comSta.u1[1] = comSta.disAndOff[1].u1 ($RES_SIM_235) (75) [ARRY] (2) comSta.cha.y = comSta.anyCha.u ($RES_SIM_236) (76) [SCAL] (1) comSta.holAnyCha.outputFalse.outPort[1].reset = false ($RES_SIM_154) (77) [FOR-] (2) ($RES_SIM_155) (77) [----] for $i1 in 1:2 loop (77) [----] [SCAL] (1) comSta.holAnyCha.outputFalse.inPort[$i1].set = false ($RES_SIM_156) (77) [----] end for; (78) [SCAL] (1) comSta.holAnyCha.outputFalse.outPort[1].available = comSta.holAnyCha.outputFalse.outerStatePort.localActive ($RES_SIM_157) (79) [FOR-] (2) ($RES_SIM_158) (79) [----] for $i1 in 1:2 loop (79) [----] [SCAL] (1) comSta.holAnyCha.outputFalse.inPort[$i1].occupied = if $SEV_23[$i1] then comSta.holAnyCha.outputFalse.outerStatePort.localActive else $SEV_32[$i1] ($RES_SIM_159) (79) [----] end for; (80) [SCAL] (1) $TEV_11 = $PRE.comSta.uSta ($RES_EVT_320) (81) [SCAL] (1) $TEV_12 = $PRE.comSta.holAnyCha.toFalse1.outPort.set ($RES_EVT_321) (82) [SCAL] (1) $TEV_14 = $PRE.comSta.holAnyCha.toTrue1.outPort.set ($RES_EVT_323) (83) [SCAL] (1) $TEV_16 = $PRE.comSta.holAnyCha.initialStep.oldActive ($RES_EVT_325) (84) [SCAL] (1) $TEV_17 = $PRE.comSta.holAnyCha.initialStep.outerStatePort.localActive ($RES_EVT_326) (85) [SCAL] (1) $TEV_18 = $PRE.comSta.holAnyCha.initialStep.newActive ($RES_EVT_327) (86) [SCAL] (1) $TEV_19 = $PRE.comSta.holAnyCha.toFalse.outPort.set ($RES_EVT_328) (87) [SCAL] (1) comSta.u1_actual[2] = comSta.disAndOff[2].u2 ($RES_SIM_240) (88) [SCAL] (1) comSta.u1_actual[2] = comSta.enaAndOn[2].u2 ($RES_SIM_241) (89) [SCAL] (1) comSta.u1_actual[1] = comSta.disAndOff[1].u2 ($RES_SIM_242) (90) [SCAL] (1) comSta.u1_actual[1] = comSta.enaAndOn[1].u2 ($RES_SIM_243) (91) [WHEN] (1)when false then (91) [----] comSta.holAnyCha.outputFalse.oldActive := comSta.holAnyCha.outputFalse.outerStatePort.localActive (91) [----] end when; (92) [SCAL] (1) comSta.holAnyCha.initialStep.outPort[2].reset = comSta.holAnyCha.toFalse1.outPort.set ($RES_SIM_246) (93) [SCAL] (1) comSta.holAnyCha.outputFalse.newActive = $SEV_33 ($RES_SIM_161) (94) [SCAL] (1) comSta.holAnyCha.initialStep.outPort[2].available = comSta.holAnyCha.toFalse1.inPort.available ($RES_SIM_247) (95) [SCAL] (1) comSta.holAnyCha.outputFalse.outerStatePort.localActive = $TEV_28 ($RES_SIM_162) (96) [SCAL] (1) comSta.holAnyCha.initialStep.outPort[1].reset = comSta.holAnyCha.toTrue1.outPort.set ($RES_SIM_248) (97) [SCAL] (1) comSta.holAnyCha.initialStep.outPort[1].available = comSta.holAnyCha.toTrue1.inPort.available ($RES_SIM_249) (98) [SCAL] (1) comSta.holAnyCha.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if comSta.holAnyCha.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_164) (99) [SCAL] (1) comSta.holAnyCha.stateGraphRoot.activeSteps = -integer(comSta.holAnyCha.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_168) (100) [WHEN] (1)when $SEV_34 then (100) [----] comSta.holAnyCha.onDel2.y := comSta.holAnyCha.outputTrue.outerStatePort.localActive (100) [----] else when not comSta.holAnyCha.outputTrue.outerStatePort.localActive then (100) [----] comSta.holAnyCha.onDel2.y := false (100) [----] else when comSta.holAnyCha.outputTrue.outerStatePort.localActive then (100) [----] comSta.holAnyCha.onDel2.y := not comSta.holAnyCha.onDel2.delayTime > 0.0 (100) [----] else when initial() then (100) [----] 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 (100) [----] end when; (101) [SCAL] (1) $TEV_21 = $PRE.comSta.holAnyCha.outputTrue.oldActive ($RES_EVT_330) (102) [SCAL] (1) $TEV_22 = $PRE.comSta.holAnyCha.outputTrue.outerStatePort.localActive ($RES_EVT_331) (103) [SCAL] (1) $TEV_23 = $PRE.comSta.holAnyCha.outputTrue.newActive ($RES_EVT_332) (104) [SCAL] (1) $TEV_24 = $PRE.comSta.holAnyCha.toTrue.outPort.set ($RES_EVT_333) (105) [SCAL] (1) $TEV_26 = $PRE.comSta.holAnyCha.outputFalse.oldActive ($RES_EVT_335) (106) [SCAL] (1) $TEV_27 = $PRE.comSta.holAnyCha.outputFalse.outerStatePort.localActive ($RES_EVT_336) (107) [SCAL] (1) $TEV_28 = $PRE.comSta.holAnyCha.outputFalse.newActive ($RES_EVT_337) (108) [SCAL] (1) $TEV_29 = $PRE.comSta.holAnyCha.onDel2.t_next ($RES_EVT_338) (109) [SCAL] (1) $TEV_30 = $PRE.comSta.holAnyCha.onDel1.t_next ($RES_EVT_339) (110) [SCAL] (1) comSta.holAnyCha.toFalse1.outPort.set = comSta.holAnyCha.outputFalse.inPort[2].set ($RES_SIM_250) (111) [SCAL] (1) comSta.holAnyCha.toFalse1.outPort.occupied = comSta.holAnyCha.outputFalse.inPort[2].occupied ($RES_SIM_251) (112) [SCAL] (1) comSta.holAnyCha.toTrue.outPort.set = comSta.holAnyCha.outputTrue.inPort[2].set ($RES_SIM_252) (113) [SCAL] (1) comSta.holAnyCha.toTrue.outPort.occupied = comSta.holAnyCha.outputTrue.inPort[2].occupied ($RES_SIM_253) (114) [SCAL] (1) comSta.holAnyCha.toTrue1.outPort.set = comSta.holAnyCha.outputTrue.inPort[1].set ($RES_SIM_254) (115) [WHEN] (1)when {$SEV_9 for i in 1:3} then (115) [----] idxSta.y[:] := idxSta.val[idxSta.idx, :] (115) [----] end when; (116) [SCAL] (1) comSta.holAnyCha.toTrue1.outPort.occupied = comSta.holAnyCha.outputTrue.inPort[1].occupied ($RES_SIM_255) (117) [WHEN] (1)when {$SEV_10 for i in 1:3} then (117) [----] idxSta.idx := Buildings.Templates.Plants.Controls.StagingRotation.Validation.StageCompletion.idxSta.getIndex(time, idxSta.period, idxSta.timeStamps) (117) [----] end when; (118) [WHEN] (1)when $SEV_34 then (118) [----] comSta.holAnyCha.onDel2.t_next := comSta.holAnyCha.onDel2.t_past (118) [----] else when not comSta.holAnyCha.outputTrue.outerStatePort.localActive then (118) [----] comSta.holAnyCha.onDel2.t_next := comSta.holAnyCha.onDel2.t_past (118) [----] else when comSta.holAnyCha.outputTrue.outerStatePort.localActive then (118) [----] comSta.holAnyCha.onDel2.t_next := time + comSta.holAnyCha.onDel2.delayTime (118) [----] else when initial() then (118) [----] comSta.holAnyCha.onDel2.t_next := if not comSta.holAnyCha.onDel2.delayOnInit then comSta.holAnyCha.onDel2.t_past else time + comSta.holAnyCha.onDel2.delayTime (118) [----] end when; (119) [WHEN] (1)when $SEV_35 then (119) [----] comSta.holAnyCha.onDel1.y := comSta.holAnyCha.outputFalse.outerStatePort.localActive (119) [----] else when not comSta.holAnyCha.outputFalse.outerStatePort.localActive then (119) [----] comSta.holAnyCha.onDel1.y := false (119) [----] else when comSta.holAnyCha.outputFalse.outerStatePort.localActive then (119) [----] comSta.holAnyCha.onDel1.y := not comSta.holAnyCha.onDel1.delayTime > 0.0 (119) [----] else when initial() then (119) [----] 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 (119) [----] end when; (120) [WHEN] (1)when $SEV_35 then (120) [----] comSta.holAnyCha.onDel1.t_next := comSta.holAnyCha.onDel1.t_past (120) [----] else when not comSta.holAnyCha.outputFalse.outerStatePort.localActive then (120) [----] comSta.holAnyCha.onDel1.t_next := comSta.holAnyCha.onDel1.t_past (120) [----] else when comSta.holAnyCha.outputFalse.outerStatePort.localActive then (120) [----] comSta.holAnyCha.onDel1.t_next := time + comSta.holAnyCha.onDel1.delayTime (120) [----] else when initial() then (120) [----] comSta.holAnyCha.onDel1.t_next := if not comSta.holAnyCha.onDel1.delayOnInit then comSta.holAnyCha.onDel1.t_past else time + comSta.holAnyCha.onDel1.delayTime (120) [----] end when; (121) [SCAL] (1) comSta.chaAndMat.y = $SEV_36 ($RES_SIM_173) (122) [SCAL] (1) comSta.holAnyCha.toTrue1.localCondition = comSta.anyCha.uTemp[2] ($RES_SIM_174) (123) [SCAL] (1) comSta.anyCha.uTemp[2] = $SEV_37 ($RES_SIM_175) (124) [SCAL] (1) comSta.anyCha.uTemp[1] = comSta.anyCha.u[1] ($RES_SIM_176) (125) [WHEN] (1)when {comSta.lckChaSta.u, comSta.holAnyCha.outputTrue.outerStatePort.localActive} then (125) [----] comSta.lckAnyCha.y := not comSta.lckChaSta.u and comSta.holAnyCha.outputTrue.outerStatePort.localActive (125) [----] else when initial() then (125) [----] comSta.lckAnyCha.y := not comSta.lckChaSta.u and comSta.holAnyCha.outputTrue.outerStatePort.localActive (125) [----] end when; (126) [FOR-] (2) ($RES_SIM_178) (126) [----] for $i1 in 1:2 loop (126) [----] [SCAL] (1) comSta.cha[$i1].y = change(comSta.cha[$i1].u) ($RES_SIM_179) (126) [----] end for; (127) [FOR-] (2) ($RES_EVT_340) (127) [----] for $i1 in 1:2 loop (127) [----] [SCAL] (1) $TEV_31[$i1] = $PRE.comSta.cha[$i1].u ($RES_EVT_341) (127) [----] end for; (128) [SCAL] (1) $TEV_32 = $PRE.comSta.endStaPro.not_u ($RES_EVT_342) (129) [SCAL] (1) y1ComSta.toInitial.outPort.set = $SEV_11 ($RES_SIM_60) (130) [SCAL] (1) comSta.chaSta.down = $SEV_19 ($RES_SIM_100) (131) [SCAL] (1) comSta.chaSta.up = $SEV_20 ($RES_SIM_101) (132) [SCAL] (1) comSta.lckChaSta.u = change(comSta.uSta) ($RES_SIM_102) (133) [SCAL] (1) comSta.holAnyCha.toFalse1.outPort.set = $SEV_21 ($RES_SIM_105) (134) [SCAL] (1) comSta.holAnyCha.toFalse.outPort.set = comSta.holAnyCha.outputFalse.inPort[1].set ($RES_SIM_264) (135) [SCAL] (1) comSta.holAnyCha.toFalse.outPort.occupied = comSta.holAnyCha.outputFalse.inPort[1].occupied ($RES_SIM_265) (136) [SCAL] (1) y1ComSta.toOutputTrue.outPort.set = $SEV_12 ($RES_SIM_67) (137) [WHEN] (1)when {comSta.chaAndMat.y, comSta.lckChaSta.u} then (137) [----] not comSta.endStaPro.not_u := not comSta.chaAndMat.y and comSta.lckChaSta.u (137) [----] else when initial() then (137) [----] not comSta.endStaPro.not_u := not comSta.chaAndMat.y and comSta.lckChaSta.u (137) [----] end when; (138) [SCAL] (1) comSta.holAnyCha.outputFalse.outPort[1].reset = comSta.holAnyCha.toTrue.outPort.set ($RES_SIM_266) (139) [SCAL] (1) y1ComSta.toOutputTrue.localCondition = edge(comSta.endStaPro.not_u) ($RES_SIM_181) (140) [SCAL] (1) comSta.holAnyCha.outputFalse.outPort[1].available = comSta.holAnyCha.toTrue.inPort.available ($RES_SIM_267) (141) [FOR-] (2) ($RES_SIM_182) (141) [----] for $i1 in 1:2 loop (141) [----] [SCAL] (1) comSta.onOrOff[$i1].y = $SEV_38[$i1] ($RES_SIM_183) (141) [----] end for; (142) [SCAL] (1) comSta.allTru.y = comSta.allTru.uTemp[2] ($RES_SIM_184) (143) [SCAL] (1) comSta.allTru.uTemp[2] = $SEV_39 ($RES_SIM_185) (144) [SCAL] (1) comSta.allTru.uTemp[1] = comSta.allTru.u[1] ($RES_SIM_186) (145) [FOR-] (2) ($RES_SIM_187) (145) [----] for $i1 in 1:2 loop (145) [----] [SCAL] (1) comSta.disAndOff[$i1].y = not $SEV_40[$i1] ($RES_SIM_188) (145) [----] end for; (146) [FOR-] (2) ($RES_SIM_189) (146) [----] for $i1 in 1:2 loop (146) [----] [SCAL] (1) comSta.enaAndOn[$i1].y = $SEV_41[$i1] ($RES_SIM_190) (146) [----] end for; (147) [SCAL] (1) $FUN_1 = Modelica.Math.BooleanVectors.anyTrue(comSta.holAnyCha.outputFalse.inPort.set) ($RES_$AUX_306) (148) [SCAL] (1) $FUN_2 = Modelica.Math.BooleanVectors.anyTrue(comSta.holAnyCha.outputFalse.outPort.reset) ($RES_$AUX_305) (149) [SCAL] (1) $FUN_3 = Modelica.Math.BooleanVectors.anyTrue(comSta.holAnyCha.outputTrue.inPort.set) ($RES_$AUX_304) (150) [SCAL] (1) $FUN_4 = Modelica.Math.BooleanVectors.anyTrue(comSta.holAnyCha.outputTrue.outPort.reset) ($RES_$AUX_303) (151) [SCAL] (1) $SEV_9 = sample(1, idxSta.t0 + idxSta.timeStamps[i], idxSta.period) ($RES_EVT_355) (152) [SCAL] (1) $FUN_6 = Modelica.Math.BooleanVectors.anyTrue(comSta.holAnyCha.initialStep.outPort.reset) ($RES_$AUX_301) (153) [SCAL] (1) $SEV_10 = sample(2, idxSta.t0 + idxSta.timeStamps[i], idxSta.period) ($RES_EVT_356) (154) [SCAL] (1) $FUN_7 = Modelica.Math.BooleanVectors.anyTrue(y1ComSta.initialStep.inPort.set) ($RES_$AUX_300) (155) [SCAL] (1) $SEV_11 = (y1ComSta.toInitial.localCondition and y1ComSta.toInitial.inPort.available) and not y1ComSta.toInitial.outPort.occupied ($RES_EVT_357) (156) [SCAL] (1) $SEV_12 = (y1ComSta.toOutputTrue.localCondition and y1ComSta.toOutputTrue.inPort.available) and not y1ComSta.toOutputTrue.outPort.occupied ($RES_EVT_358) (157) [SCAL] (1) $SEV_13 = $FUN_9 or y1ComSta.outputTrue.outerStatePort.localActive and not $FUN_10 ($RES_EVT_359) (158) [SCAL] (1) comSta.holAnyCha.outputTrue.outPort[1].reset = comSta.holAnyCha.toFalse.outPort.set ($RES_SIM_270) (159) [SCAL] (1) y1ComSta.outputTrue.outPort[1].reset = false ($RES_SIM_72) (160) [SCAL] (1) comSta.holAnyCha.toTrue1.outPort.set = $SEV_22 ($RES_SIM_112) (161) [SCAL] (1) $FUN_8 = Modelica.Math.BooleanVectors.anyTrue(y1ComSta.initialStep.outPort.reset) ($RES_$AUX_299) (162) [SCAL] (1) comSta.holAnyCha.outputTrue.outPort[1].available = comSta.holAnyCha.toFalse.inPort.available ($RES_SIM_271) (163) [SCAL] (1) y1ComSta.outputTrue.inPort[1].set = false ($RES_SIM_73) (164) [SCAL] (1) $FUN_9 = Modelica.Math.BooleanVectors.anyTrue(y1ComSta.outputTrue.inPort.set) ($RES_$AUX_298) (165) [SCAL] (1) y1ComSta.outputTrue.outPort[1].available = y1ComSta.outputTrue.outerStatePort.localActive ($RES_SIM_74) (166) [SCAL] (1) $FUN_10 = Modelica.Math.BooleanVectors.anyTrue(y1ComSta.outputTrue.outPort.reset) ($RES_$AUX_297) (167) [SCAL] (1) y1ComSta.outputTrue.inPort[1].occupied = y1ComSta.outputTrue.outerStatePort.localActive ($RES_SIM_75) (168) [WHEN] (1)when false then (168) [----] y1ComSta.outputTrue.oldActive := y1ComSta.outputTrue.outerStatePort.localActive (168) [----] end when; (169) [SCAL] (1) y1ComSta.outputTrue.newActive = $SEV_13 ($RES_SIM_77) (170) [FOR-] (2) ($RES_SIM_117) (170) [----] for $i1 in 1:2 loop (170) [----] [SCAL] (1) comSta.holAnyCha.initialStep.outPort[$i1].reset = false ($RES_SIM_118) (170) [----] end for; (171) [SCAL] (1) y1ComSta.outputTrue.outerStatePort.localActive = $TEV_6 ($RES_SIM_78) (172) [SCAL] (1) y1ComSta.initialStep.outerStatePort.subgraphStatePort.activeSteps + y1ComSta.outputTrue.outerStatePort.subgraphStatePort.activeSteps + y1ComSta.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_191) (173) [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) (174) [FOR-] (2) ($RES_SIM_119) (174) [----] for $i1 in 1:2 loop (174) [----] [SCAL] (1) comSta.holAnyCha.initialStep.outPort[$i1].available = if $SEV_23[$i1] then comSta.holAnyCha.initialStep.outerStatePort.localActive else $SEV_24[$i1] ($RES_SIM_120) (174) [----] end for; (175) [SCAL] (1) idxSta.y[1] = comSta.uSta ($RES_SIM_193) (176) [SCAL] (1) booTimTab.y[4] = comSta.u1_actual[2] ($RES_SIM_194) (177) [SCAL] (1) booTimTab.y[3] = comSta.u1_actual[1] ($RES_SIM_195) (178) [SCAL] (1) booTimTab.y[2] = comSta.u1[2] ($RES_SIM_196) (179) [SCAL] (1) booTimTab.y[1] = comSta.u1[1] ($RES_SIM_197) (180) [SCAL] (1) $SEV_14 = $FUN_7 or y1ComSta.initialStep.outerStatePort.localActive and not $FUN_8 ($RES_EVT_360) (181) [SCAL] (1) $SEV_15 = time >= $PRE.y1ComSta.onDelay.t_next ($RES_EVT_361) (182) [FOR-] (4) ($RES_EVT_362) (182) [----] for $i1 in 1:4 loop (182) [----] [SCAL] (1) $SEV_16[$i1] = booTimTab.intGreThr[$i1].u > booTimTab.intGreThr[$i1].t ($RES_EVT_363) (182) [----] end for; (183) [SCAL] (1) $SEV_17 = sample(2, booTimTab.intTimTab.t0 + booTimTab.intTimTab.timeStamps[i], booTimTab.intTimTab.period) ($RES_EVT_364) (184) [SCAL] (1) $SEV_18 = sample(3, booTimTab.intTimTab.t0 + booTimTab.intTimTab.timeStamps[i], booTimTab.intTimTab.period) ($RES_EVT_365) (185) [SCAL] (1) $SEV_19 = comSta.uSta < $PRE.comSta.uSta ($RES_EVT_366) (186) [SCAL] (1) $SEV_20 = comSta.uSta > $PRE.comSta.uSta ($RES_EVT_367) (187) [SCAL] (1) $SEV_21 = (not comSta.holAnyCha.toTrue1.localCondition and comSta.holAnyCha.toFalse1.inPort.available) and not comSta.holAnyCha.toFalse1.outPort.occupied ($RES_EVT_368) (188) [SCAL] (1) $SEV_22 = (comSta.holAnyCha.toTrue1.localCondition and comSta.holAnyCha.toTrue1.inPort.available) and not comSta.holAnyCha.toTrue1.outPort.occupied ($RES_EVT_369) (189) [SCAL] (1) y1ComSta.outputTrue.outPort[1].reset = y1ComSta.toInitial.outPort.set ($RES_SIM_200) (190) [SCAL] (1) y1ComSta.outputTrue.outPort[1].available = y1ComSta.toInitial.inPort.available ($RES_SIM_201) (191) [SCAL] (1) y1ComSta.toOutputTrue.outPort.set = y1ComSta.outputTrue.inPort[1].set ($RES_SIM_202) (192) [SCAL] (1) y1ComSta.toOutputTrue.outPort.occupied = y1ComSta.outputTrue.inPort[1].occupied ($RES_SIM_203) =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 5 var 2 --> eqn 164 var 3 --> eqn 26 var 4 --> eqn 25 var 5 --> eqn 102 var 6 --> eqn 103 var 7 --> eqn 201 var 8 --> eqn 24 var 9 --> eqn 23 var 10 --> eqn 195 var 11 --> eqn 192 var 12 --> eqn 162 var 13 --> eqn 223 var 14 --> eqn 87 var 15 --> eqn 11 var 16 --> eqn 85 var 17 --> eqn 84 var 18 --> eqn 83 var 19 --> eqn 82 var 20 --> eqn 81 var 21 --> eqn 80 var 22 --> eqn 61 var 23 --> eqn 8 var 24 --> eqn 213 var 25 --> eqn 212 var 26 --> eqn 16 var 27 --> eqn 155 var 28 --> eqn 156 var 29 --> eqn 211 var 30 --> eqn 210 var 31 --> eqn 157 var 32 --> eqn 136 var 33 --> eqn 200 var 34 --> eqn 222 var 35 --> eqn 221 var 36 --> eqn 220 var 37 --> eqn 122 var 38 --> eqn 74 var 39 --> eqn 75 var 40 --> eqn 215 var 41 --> eqn 47 var 42 --> eqn 48 var 43 --> eqn 71 var 44 --> eqn 72 var 45 --> eqn 214 var 46 --> eqn 189 var 47 --> eqn 165 var 48 --> eqn 158 var 49 --> eqn 226 var 50 --> eqn 185 var 51 --> eqn 18 var 52 --> eqn 174 var 53 --> eqn 173 var 54 --> eqn 54 var 55 --> eqn 146 var 56 --> eqn 116 var 57 --> eqn 114 var 58 --> eqn 98 var 59 --> eqn 95 var 60 --> eqn 135 var 61 --> eqn 134 var 62 --> eqn 133 var 63 --> eqn 227 var 64 --> eqn 132 var 65 --> eqn 131 var 66 --> eqn 130 var 67 --> eqn 129 var 68 --> eqn 128 var 69 --> eqn 105 var 70 --> eqn 106 var 71 --> eqn 79 var 72 --> eqn 199 var 73 --> eqn 147 var 74 --> eqn 160 var 75 --> eqn 204 var 76 --> eqn 117 var 77 --> eqn 115 var 78 --> eqn 97 var 79 --> eqn 94 var 80 --> eqn 9 var 81 --> eqn 196 var 82 --> eqn 169 var 83 --> eqn 193 var 84 --> eqn 27 var 85 --> eqn 28 var 86 --> eqn 186 var 87 --> eqn 142 var 88 --> eqn 184 var 89 --> eqn 78 var 90 --> eqn 120 var 91 --> eqn 182 var 92 --> eqn 181 var 93 --> eqn 113 var 94 --> eqn 180 var 95 --> eqn 112 var 96 --> eqn 179 var 97 --> eqn 111 var 98 --> eqn 110 var 99 --> eqn 21 var 100 --> eqn 22 var 101 --> eqn 109 var 102 --> eqn 143 var 103 --> eqn 91 var 104 --> eqn 92 var 105 --> eqn 108 var 106 --> eqn 107 var 107 --> eqn 90 var 108 --> eqn 42 var 109 --> eqn 69 var 110 --> eqn 70 var 111 --> eqn 49 var 112 --> eqn 50 var 113 --> eqn 51 var 114 --> eqn 52 var 115 --> eqn 144 var 116 --> eqn 172 var 117 --> eqn 168 var 118 --> eqn 3 var 119 --> eqn 2 var 120 --> eqn 32 var 121 --> eqn 127 var 122 --> eqn 205 var 123 --> eqn 30 var 124 --> eqn 118 var 125 --> eqn 198 var 126 --> eqn 96 var 127 --> eqn 93 var 128 --> eqn 124 var 129 --> eqn 73 var 130 --> eqn 183 var 131 --> eqn 153 var 132 --> eqn 154 var 133 --> eqn 15 var 134 --> eqn 19 var 135 --> eqn 20 var 136 --> eqn 88 var 137 --> eqn 89 var 138 --> eqn 101 var 139 --> eqn 170 var 140 --> eqn 171 var 141 --> eqn 41 var 142 --> eqn 77 var 143 --> eqn 137 var 144 --> eqn 166 var 145 --> eqn 33 var 146 --> eqn 34 var 147 --> eqn 35 var 148 --> eqn 36 var 149 --> eqn 76 var 150 --> eqn 207 var 151 --> eqn 208 var 152 --> eqn 161 var 153 --> eqn 123 var 154 --> eqn 53 var 155 --> eqn 125 var 156 --> eqn 104 var 157 --> eqn 177 var 158 --> eqn 178 var 159 --> eqn 14 var 160 --> eqn 145 var 161 --> eqn 67 var 162 --> eqn 68 var 163 --> eqn 121 var 164 --> eqn 216 var 165 --> eqn 217 var 166 --> eqn 218 var 167 --> eqn 219 var 168 --> eqn 55 var 169 --> eqn 56 var 170 --> eqn 17 var 171 --> eqn 191 var 172 --> eqn 1 var 173 --> eqn 149 var 174 --> eqn 12 var 175 --> eqn 159 var 176 --> eqn 209 var 177 --> eqn 43 var 178 --> eqn 44 var 179 --> eqn 45 var 180 --> eqn 46 var 181 --> eqn 140 var 182 --> eqn 202 var 183 --> eqn 119 var 184 --> eqn 206 var 185 --> eqn 194 var 186 --> eqn 37 var 187 --> eqn 38 var 188 --> eqn 39 var 189 --> eqn 40 var 190 --> eqn 31 var 191 --> eqn 4 var 192 --> eqn 13 var 193 --> eqn 86 var 194 --> eqn 99 var 195 --> eqn 100 var 196 --> eqn 138 var 197 --> eqn 66 var 198 --> eqn 7 var 199 --> eqn 65 var 200 --> eqn 152 var 201 --> eqn 64 var 202 --> eqn 63 var 203 --> eqn 126 var 204 --> eqn 62 var 205 --> eqn 58 var 206 --> eqn 57 var 207 --> eqn 229 var 208 --> eqn 29 var 209 --> eqn 151 var 210 --> eqn 150 var 211 --> eqn 197 var 212 --> eqn 10 var 213 --> eqn 59 var 214 --> eqn 60 var 215 --> eqn 148 var 216 --> eqn 175 var 217 --> eqn 176 equation to variable ********************** eqn 1 --> var 172 eqn 2 --> var 119 eqn 3 --> var 118 eqn 4 --> var 191 eqn 5 --> var 1 eqn 6 --> var -1 eqn 7 --> var 198 eqn 8 --> var 23 eqn 9 --> var 80 eqn 10 --> var 212 eqn 11 --> var 15 eqn 12 --> var 174 eqn 13 --> var 192 eqn 14 --> var 159 eqn 15 --> var 133 eqn 16 --> var 26 eqn 17 --> var 170 eqn 18 --> var 51 eqn 19 --> var 134 eqn 20 --> var 135 eqn 21 --> var 99 eqn 22 --> var 100 eqn 23 --> var 9 eqn 24 --> var 8 eqn 25 --> var 4 eqn 26 --> var 3 eqn 27 --> var 84 eqn 28 --> var 85 eqn 29 --> var 208 eqn 30 --> var 123 eqn 31 --> var 190 eqn 32 --> var 120 eqn 33 --> var 145 eqn 34 --> var 146 eqn 35 --> var 147 eqn 36 --> var 148 eqn 37 --> var 186 eqn 38 --> var 187 eqn 39 --> var 188 eqn 40 --> var 189 eqn 41 --> var 141 eqn 42 --> var 108 eqn 43 --> var 177 eqn 44 --> var 178 eqn 45 --> var 179 eqn 46 --> var 180 eqn 47 --> var 41 eqn 48 --> var 42 eqn 49 --> var 111 eqn 50 --> var 112 eqn 51 --> var 113 eqn 52 --> var 114 eqn 53 --> var 154 eqn 54 --> var 54 eqn 55 --> var 168 eqn 56 --> var 169 eqn 57 --> var 206 eqn 58 --> var 205 eqn 59 --> var 213 eqn 60 --> var 214 eqn 61 --> var 22 eqn 62 --> var 204 eqn 63 --> var 202 eqn 64 --> var 201 eqn 65 --> var 199 eqn 66 --> var 197 eqn 67 --> var 161 eqn 68 --> var 162 eqn 69 --> var 109 eqn 70 --> var 110 eqn 71 --> var 43 eqn 72 --> var 44 eqn 73 --> var 129 eqn 74 --> var 38 eqn 75 --> var 39 eqn 76 --> var 149 eqn 77 --> var 142 eqn 78 --> var 89 eqn 79 --> var 71 eqn 80 --> var 21 eqn 81 --> var 20 eqn 82 --> var 19 eqn 83 --> var 18 eqn 84 --> var 17 eqn 85 --> var 16 eqn 86 --> var 193 eqn 87 --> var 14 eqn 88 --> var 136 eqn 89 --> var 137 eqn 90 --> var 107 eqn 91 --> var 103 eqn 92 --> var 104 eqn 93 --> var 127 eqn 94 --> var 79 eqn 95 --> var 59 eqn 96 --> var 126 eqn 97 --> var 78 eqn 98 --> var 58 eqn 99 --> var 194 eqn 100 --> var 195 eqn 101 --> var 138 eqn 102 --> var 5 eqn 103 --> var 6 eqn 104 --> var 156 eqn 105 --> var 69 eqn 106 --> var 70 eqn 107 --> var 106 eqn 108 --> var 105 eqn 109 --> var 101 eqn 110 --> var 98 eqn 111 --> var 97 eqn 112 --> var 95 eqn 113 --> var 93 eqn 114 --> var 57 eqn 115 --> var 77 eqn 116 --> var 56 eqn 117 --> var 76 eqn 118 --> var 124 eqn 119 --> var 183 eqn 120 --> var 90 eqn 121 --> var 163 eqn 122 --> var 37 eqn 123 --> var 153 eqn 124 --> var 128 eqn 125 --> var 155 eqn 126 --> var 203 eqn 127 --> var 121 eqn 128 --> var 68 eqn 129 --> var 67 eqn 130 --> var 66 eqn 131 --> var 65 eqn 132 --> var 64 eqn 133 --> var 62 eqn 134 --> var 61 eqn 135 --> var 60 eqn 136 --> var 32 eqn 137 --> var 143 eqn 138 --> var 196 eqn 139 --> var -1 eqn 140 --> var 181 eqn 141 --> var -1 eqn 142 --> var 87 eqn 143 --> var 102 eqn 144 --> var 115 eqn 145 --> var 160 eqn 146 --> var 55 eqn 147 --> var 73 eqn 148 --> var 215 eqn 149 --> var 173 eqn 150 --> var 210 eqn 151 --> var 209 eqn 152 --> var 200 eqn 153 --> var 131 eqn 154 --> var 132 eqn 155 --> var 27 eqn 156 --> var 28 eqn 157 --> var 31 eqn 158 --> var 48 eqn 159 --> var 175 eqn 160 --> var 74 eqn 161 --> var 152 eqn 162 --> var 12 eqn 163 --> var -1 eqn 164 --> var 2 eqn 165 --> var 47 eqn 166 --> var 144 eqn 167 --> var -1 eqn 168 --> var 117 eqn 169 --> var 82 eqn 170 --> var 139 eqn 171 --> var 140 eqn 172 --> var 116 eqn 173 --> var 53 eqn 174 --> var 52 eqn 175 --> var 216 eqn 176 --> var 217 eqn 177 --> var 157 eqn 178 --> var 158 eqn 179 --> var 96 eqn 180 --> var 94 eqn 181 --> var 92 eqn 182 --> var 91 eqn 183 --> var 130 eqn 184 --> var 88 eqn 185 --> var 50 eqn 186 --> var 86 eqn 187 --> var -1 eqn 188 --> var -1 eqn 189 --> var 46 eqn 190 --> var -1 eqn 191 --> var 171 eqn 192 --> var 11 eqn 193 --> var 83 eqn 194 --> var 185 eqn 195 --> var 10 eqn 196 --> var 81 eqn 197 --> var 211 eqn 198 --> var 125 eqn 199 --> var 72 eqn 200 --> var 33 eqn 201 --> var 7 eqn 202 --> var 182 eqn 203 --> var -1 eqn 204 --> var 75 eqn 205 --> var 122 eqn 206 --> var 184 eqn 207 --> var 150 eqn 208 --> var 151 eqn 209 --> var 176 eqn 210 --> var 30 eqn 211 --> var 29 eqn 212 --> var 25 eqn 213 --> var 24 eqn 214 --> var 45 eqn 215 --> var 40 eqn 216 --> var 164 eqn 217 --> var 165 eqn 218 --> var 166 eqn 219 --> var 167 eqn 220 --> var 36 eqn 221 --> var 35 eqn 222 --> var 34 eqn 223 --> var 13 eqn 224 --> var -1 eqn 225 --> var -1 eqn 226 --> var 49 eqn 227 --> var 63 eqn 228 --> var -1 eqn 229 --> var 207