Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_latest_Buildings.Fluid.CHPs.BaseClasses.Validation.CoolDown.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.Fluid.CHPs.BaseClasses.Validation.CoolDown,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|actMod|runSig.y|cooDowOpt.y",fileNamePrefix="Buildings_latest_Buildings.Fluid.CHPs.BaseClasses.Validation.CoolDown") translateModel(Buildings.Fluid.CHPs.BaseClasses.Validation.CoolDown,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|actMod|runSig.y|cooDowOpt.y",fileNamePrefix="Buildings_latest_Buildings.Fluid.CHPs.BaseClasses.Validation.CoolDown") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001131/0.001131, allocations: 105.6 kB / 16.42 MB, free: 6.414 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.001081/0.001081, allocations: 187.7 kB / 17.36 MB, free: 5.684 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.16/1.16, allocations: 222.9 MB / 241 MB, free: 15.07 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.1-master/package.mo): time 2.243/2.243, allocations: 461.9 MB / 0.7354 GB, free: 11.04 MB / 0.6075 GB Notification: Performance of FrontEnd - Absyn->SCode: time 1.623e-05/1.626e-05, allocations: 2.281 kB / 1.055 GB, free: 7.707 MB / 0.8262 GB Notification: Performance of NFInst.instantiate(Buildings.Fluid.CHPs.BaseClasses.Validation.CoolDown): time 0.00335/0.003374, allocations: 2.796 MB / 1.057 GB, free: 4.902 MB / 0.8262 GB Notification: Performance of NFInst.instExpressions: time 0.002146/0.00553, allocations: 1.677 MB / 1.059 GB, free: 3.219 MB / 0.8262 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.000133/0.005674, allocations: 7.938 kB / 1.059 GB, free: 3.211 MB / 0.8262 GB Notification: Performance of NFTyping.typeComponents: time 0.000737/0.006417, allocations: 314.7 kB / 1.059 GB, free: 2.902 MB / 0.8262 GB Notification: Performance of NFTyping.typeBindings: time 0.0003352/0.006768, allocations: 178.9 kB / 1.06 GB, free: 2.727 MB / 0.8262 GB Notification: Performance of NFTyping.typeClassSections: time 0.0006496/0.007427, allocations: 372.7 kB / 1.06 GB, free: 2.363 MB / 0.8262 GB Notification: Performance of NFFlatten.flatten: time 0.0005662/0.008003, allocations: 0.6979 MB / 1.061 GB, free: 1.664 MB / 0.8262 GB Notification: Performance of NFFlatten.resolveConnections: time 0.0004437/0.008454, allocations: 466.9 kB / 1.061 GB, free: 1.203 MB / 0.8262 GB Notification: Performance of NFEvalConstants.evaluate: time 0.000257/0.00872, allocations: 310.9 kB / 1.061 GB, free: 0.8984 MB / 0.8262 GB Notification: Performance of NFSimplifyModel.simplify: time 0.000269/0.008997, allocations: 302.7 kB / 1.062 GB, free: 0.6016 MB / 0.8262 GB Notification: Performance of NFPackage.collectConstants: time 8.047e-05/0.009084, allocations: 56 kB / 1.062 GB, free: 0.5469 MB / 0.8262 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0002473/0.009337, allocations: 163.8 kB / 1.062 GB, free: 396 kB / 0.8262 GB Notification: Performance of combineBinaries: time 0.0004848/0.009831, allocations: 0.8881 MB / 1.063 GB, free: 15.49 MB / 0.8419 GB Notification: Performance of replaceArrayConstructors: time 0.0002534/0.01009, allocations: 0.5502 MB / 1.063 GB, free: 14.93 MB / 0.8419 GB Notification: Performance of NFVerifyModel.verify: time 9.64e-05/0.01019, allocations: 83.75 kB / 1.063 GB, free: 14.85 MB / 0.8419 GB Notification: Performance of FrontEnd: time 0.0001011/0.0103, allocations: 75.53 kB / 1.063 GB, free: 14.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: 137 (129) * Number of variables: 127 (119) Notification: Performance of Bindings: time 0.002061/0.01237, allocations: 2.603 MB / 1.066 GB, free: 12.04 MB / 0.8419 GB Notification: Performance of FunctionAlias: time 0.0001671/0.01254, allocations: 183.6 kB / 1.066 GB, free: 11.86 MB / 0.8419 GB Notification: Performance of Early Inline: time 0.001172/0.01372, allocations: 1.409 MB / 1.067 GB, free: 10.42 MB / 0.8419 GB Notification: Performance of simplify1: time 8.652e-05/0.01381, allocations: 99.84 kB / 1.068 GB, free: 10.32 MB / 0.8419 GB Notification: Performance of Alias: time 0.002429/0.01625, allocations: 2.512 MB / 1.07 GB, free: 7.562 MB / 0.8419 GB Notification: Performance of simplify2: time 6.551e-05/0.01633, allocations: 63.91 kB / 1.07 GB, free: 7.5 MB / 0.8419 GB Notification: Performance of Events: time 0.0004219/0.01675, allocations: 402.1 kB / 1.07 GB, free: 7.102 MB / 0.8419 GB Notification: Performance of Detect States: time 0.0005476/0.01731, allocations: 0.6365 MB / 1.071 GB, free: 6.457 MB / 0.8419 GB Notification: Performance of Partitioning: time 0.0005631/0.01788, allocations: 0.6093 MB / 1.072 GB, free: 5.785 MB / 0.8419 GB Error: Internal error NBSorting.tarjan failed to sort system: system vars Variables (91/104) ******************************** (1) [DISC] (1) protected Boolean transition4.outPort.occupied (2) [DISC] (1) protected Boolean transition4.inPort.available (3) [DISC] (1) protected Boolean[1] off.outPort.reset (4) [DISS] (1) protected discrete Real timer.entryTime (5) [DISC] (2) Boolean[2] cooDow.inPort.set (6) [ALGB] (1) protected flow Real stateGraphRoot.subgraphStatePort.activeSteps (7) [DISC] (1) protected Boolean[1] off.inPort.occupied (8) [DISS] (1) protected final Boolean transition2.localCondition = transition2.localCondition (9) [DISC] (2) Boolean[2] cooDow.outPort.reset (10) [DISC] (2) Boolean[2] $SEV_11[$i1] (11) [DISC] (1) protected Boolean transition3.outPort.occupied (12) [DISC] (1) protected Boolean transition5.outPort.occupied (13) [DISC] (2) Boolean[2] cooDow.inPort.occupied (14) [ALGB] (1) protected flow Real norm.outerStatePort.subgraphStatePort.activeSteps (15) [DISC] (1) protected final Boolean transition4.localCondition = transition4.localCondition (16) [DISC] (1) protected Boolean norm.outerStatePort.localActive = norm.outerStatePort.localActive (17) [DISC] (1) protected Boolean[1] off.inPort.set (18) [ALGB] (1) protected flow Real cooDow.outerStatePort.subgraphStatePort.activeSteps (19) [DISC] (1) Boolean $FUN_7 (20) [DISC] (1) Boolean $FUN_6 (21) [DISC] (1) Boolean $FUN_5 (22) [DISC] (1) Boolean $FUN_4 (23) [DISC] (1) Boolean $FUN_3 (24) [DISC] (1) Boolean $FUN_2 (25) [DISC] (2) Boolean[2] cooDow.outPort.available (26) [DISC] (1) protected Boolean cooDow.outerStatePort.localActive = cooDow.outerStatePort.localActive (27) [ALGB] (1) Real $FUN_1 (28) [DISC] (2) Boolean[2] $SEV_9[$i1] (29) [DISS] (1) protected discrete Real runSig.combiTimeTable.nextTimeEvent (fixed = true, start = 0.0) (30) [ALGB] (1) protected Real timer.y (31) [DISS] (1) protected Boolean norm.oldActive (32) [DISC] (1) protected Boolean transition2.outPort.occupied (33) [ALGB] (1) protected flow Real off.outerStatePort.subgraphStatePort.activeSteps (34) [DISC] (1) protected Integer stateGraphRoot.activeSteps (35) [DISC] (1) protected Boolean transition1.outPort.set (36) [DISC] (1) protected Boolean transition2.outPort.set (37) [DISC] (1) protected Boolean transition2.inPort.available (38) [DISC] (1) protected Boolean transition3.outPort.set (39) [DISC] (1) Boolean $SEV_17 (40) [DISC] (1) protected Boolean norm.newActive (41) [DISC] (1) Boolean $SEV_16 (42) [DISC] (1) protected Boolean transition4.outPort.set (43) [DISC] (1) protected Boolean transition5.outPort.set (44) [DISC] (1) Boolean $SEV_14 (45) [DISC] (1) Boolean $SEV_13 (46) [DISS] (1) protected Boolean cooDow.oldActive (47) [DISC] (1) protected final Boolean transition1.localCondition = transition1.localCondition (48) [DISC] (1) Boolean $SEV_10 (49) [ALGB] (1) Real runSig.realToBoolean.u (50) [DISC] (1) Boolean $TEV_21 (51) [ALGB] (1) Real[1] runSig.combiTimeTable.y (52) [DISC] (1) Boolean $TEV_20 (53) [DISC] (1) protected Boolean off.outerStatePort.localActive = off.outerStatePort.localActive (54) [DISS] (1) protected discrete Real runSig.combiTimeTable.nextTimeEventScaled (fixed = true, start = 0.0) (55) [DISS] (1) protected Boolean off.oldActive (56) [DISC] (1) protected Boolean cooDow.newActive (57) [DISC] (1) protected Boolean transition1.inPort.available (58) [DISC] (2) Boolean[2] $SEV_8[$i1] (59) [DISC] (2) protected Boolean[2] norm.outPort.available (60) [DISC] (1) protected Boolean transition1.outPort.occupied (61) [DISC] (1) protected Boolean transition5.inPort.available (62) [DISC] (1) Boolean $SEV_6 (63) [DISC] (1) Boolean $SEV_5 (64) [DISC] (2) protected Boolean[2] norm.inPort.set (65) [DISC] (1) enumeration Buildings.Fluid.CHPs.BaseClasses.Types.Mode(Off, StandBy, PumpOn, WarmUp, Normal, CoolDown) actMod = if norm.outerStatePort.localActive then Buildings.Fluid.CHPs.BaseClasses.Types.Mode.Normal else if cooDow.outerStatePort.localActive then Buildings.Fluid.CHPs.BaseClasses.Types.Mode.CoolDown else Buildings.Fluid.CHPs.BaseClasses.Types.Mode.Off (66) [DISC] (1) Boolean $SEV_4 (67) [DISC] (1) Boolean $TEV_9 (68) [DISC] (1) Boolean $SEV_3 (69) [DISC] (1) Boolean $TEV_8 (70) [DISC] (1) protected Boolean off.newActive (71) [DISC] (1) protected Boolean transition3.inPort.available (72) [DISC] (1) Boolean $SEV_2 (73) [DISC] (1) Boolean $TEV_7 (74) [DISC] (1) Boolean $SEV_1 (75) [DISC] (1) Boolean $TEV_6 (76) [DISC] (1) Boolean $TEV_4 (77) [DISC] (1) Boolean $TEV_2 (78) [DISC] (1) Boolean $TEV_1 (79) [DISC] (1) Boolean $TEV_19 (80) [DISC] (1) Boolean $TEV_0 (81) [DISC] (1) Boolean $TEV_18 (82) [DISC] (1) Boolean $TEV_17 (83) [DISC] (1) Boolean $TEV_16 (84) [DISC] (2) protected Boolean[2] norm.inPort.occupied (85) [DISC] (1) Boolean $TEV_15 (86) [DISC] (2) Boolean[2] $SEV_12[$i1] (87) [DISC] (1) Boolean $TEV_13 (88) [DISC] (1) Boolean $TEV_11 (89) [DISC] (2) protected Boolean[2] norm.outPort.reset (90) [DISC] (1) protected Boolean[1] off.outPort.available (91) [DISC] (2) Boolean[2] $SEV_7[$i1] system eqns Equations (101/114) ********************************* (1) [SCAL] (1) off.inPort[1].occupied = transition2.outPort.occupied ($RES_SIM_132) (2) [SCAL] (1) transition4.outPort.set = $SEV_4 ($RES_SIM_50) (3) [SCAL] (1) transition1.outPort.set = norm.outPort[1].reset ($RES_SIM_133) (4) [SCAL] (1) transition1.inPort.available = norm.outPort[1].available ($RES_SIM_134) (5) [SCAL] (1) transition4.outPort.set = norm.inPort[1].set ($RES_SIM_135) (6) [SCAL] (1) actMod = if norm.outerStatePort.localActive then Buildings.Fluid.CHPs.BaseClasses.Types.Mode.Normal else if cooDow.outerStatePort.localActive then Buildings.Fluid.CHPs.BaseClasses.Types.Mode.CoolDown else Buildings.Fluid.CHPs.BaseClasses.Types.Mode.Off ($RES_BND_148) (7) [SCAL] (1) transition4.outPort.occupied = norm.inPort[1].occupied ($RES_SIM_136) (8) [FOR-] (2) ($RES_SIM_90) (8) [----] for $i1 in 1:2 loop (8) [----] [SCAL] (1) cooDow.outPort[$i1].available = if $SEV_7[$i1] then cooDow.outerStatePort.localActive else $SEV_11[$i1] ($RES_SIM_91) (8) [----] end for; (9) [FOR-] (2) ($RES_SIM_92) (9) [----] for $i1 in 1:2 loop (9) [----] [SCAL] (1) cooDow.inPort[$i1].occupied = if $SEV_7[$i1] then cooDow.outerStatePort.localActive else $SEV_12[$i1] ($RES_SIM_93) (9) [----] end for; (10) [SCAL] (1) transition1.outPort.set = $SEV_5 ($RES_SIM_57) (11) [WHEN] (1)when false then (11) [----] cooDow.oldActive := cooDow.outerStatePort.localActive (11) [----] end when; (12) [SCAL] (1) cooDow.newActive = $SEV_13 ($RES_SIM_95) (13) [SCAL] (1) cooDow.outerStatePort.localActive = $TEV_20 ($RES_SIM_96) (14) [SCAL] (1) cooDow.outerStatePort.subgraphStatePort.activeSteps = if cooDow.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_98) (15) [SCAL] (1) $TEV_4 = $PRE.transition3.outPort.set ($RES_EVT_171) (16) [SCAL] (1) $SEV_16 = runSig.realToBoolean.u >= runSig.realToBoolean.threshold ($RES_EVT_210) (17) [SCAL] (1) $SEV_17 = time >= $PRE.runSig.combiTimeTable.nextTimeEvent ($RES_EVT_211) (18) [SCAL] (1) $TEV_6 = $PRE.off.oldActive ($RES_EVT_173) (19) [SCAL] (1) $TEV_7 = $PRE.off.outerStatePort.localActive ($RES_EVT_174) (20) [SCAL] (1) $TEV_8 = $PRE.off.newActive ($RES_EVT_175) (21) [SCAL] (1) $TEV_9 = $PRE.transition4.outPort.set ($RES_EVT_176) (22) [SCAL] (1) $TEV_11 = $PRE.transition1.outPort.set ($RES_EVT_178) (23) [SCAL] (1) transition4.localCondition = $SEV_14 ($RES_SIM_100) (24) [SCAL] (1) not transition1.localCondition = $SEV_16 ($RES_SIM_103) (25) [SCAL] (1) timer.y = if cooDow.outerStatePort.localActive then time - timer.entryTime else 0.0 ($RES_SIM_22) (26) [SCAL] (1) runSig.combiTimeTable.y[1] = runSig.combiTimeTable.p_offset[1] + $FUN_1 ($RES_SIM_104) (27) [WHEN] (1)when not cooDow.outerStatePort.localActive then (27) [----] timer.entryTime := $PRE.timer.entryTime (27) [----] else when $SEV_1 then (27) [----] timer.entryTime := $PRE.timer.entryTime (27) [----] else when cooDow.outerStatePort.localActive then (27) [----] timer.entryTime := time (27) [----] end when; (28) [WHEN] (1)when {$SEV_17, initial()} then (28) [----] runSig.combiTimeTable.nextTimeEventScaled := Modelica.Blocks.Tables.Internal.getNextTimeEvent(runSig.combiTimeTable.tableID, time) (28) [----] end when; (29) [WHEN] (1)when not cooDow.outerStatePort.localActive then (29) [----] transition2.localCondition := false (29) [----] else when $SEV_1 then (29) [----] transition2.localCondition := true (29) [----] else when cooDow.outerStatePort.localActive then (29) [----] transition2.localCondition := timer.t <= 0.0 (29) [----] end when; (30) [WHEN] (1)when {$SEV_17, initial()} then (30) [----] runSig.combiTimeTable.nextTimeEvent := if runSig.combiTimeTable.nextTimeEventScaled < 1e60 then runSig.combiTimeTable.nextTimeEventScaled else 1e60 (30) [----] end when; (31) [SCAL] (1) norm.outerStatePort.subgraphStatePort.activeSteps + stateGraphRoot.subgraphStatePort.activeSteps + off.outerStatePort.subgraphStatePort.activeSteps + cooDow.outerStatePort.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_108) (32) [SCAL] (1) transition5.outPort.set = false ($RES_SIM_27) (33) [SCAL] (1) transition2.outPort.set = $SEV_6 ($RES_SIM_64) (34) [SCAL] (1) runSig.combiTimeTable.y[1] = runSig.realToBoolean.u ($RES_SIM_147) (35) [SCAL] (1) $TEV_13 = $PRE.transition2.outPort.set ($RES_EVT_180) (36) [SCAL] (1) $TEV_15 = $PRE.norm.oldActive ($RES_EVT_182) (37) [SCAL] (1) $TEV_16 = $PRE.norm.outerStatePort.localActive ($RES_EVT_183) (38) [SCAL] (1) $TEV_17 = $PRE.norm.newActive ($RES_EVT_184) (39) [SCAL] (1) $TEV_18 = $PRE.cooDow.oldActive ($RES_EVT_185) (40) [SCAL] (1) $TEV_19 = $PRE.cooDow.outerStatePort.localActive ($RES_EVT_186) (41) [SCAL] (1) $TEV_20 = $PRE.cooDow.newActive ($RES_EVT_187) (42) [SCAL] (1) $TEV_21 = $PRE.runSig.combiTimeTable.nextTimeEventScaled ($RES_EVT_188) (43) [SCAL] (1) $FUN_1 = Modelica.Blocks.Tables.Internal.getTimeTableValueNoDer(runSig.combiTimeTable.tableID, 1, time, runSig.combiTimeTable.nextTimeEventScaled, $TEV_21) ($RES_$AUX_166) (44) [SCAL] (1) transition5.outPort.set = cooDow.inPort[2].set ($RES_SIM_111) (45) [SCAL] (1) $FUN_2 = Modelica.Math.BooleanVectors.anyTrue(cooDow.inPort.set) ($RES_$AUX_165) (46) [SCAL] (1) transition5.outPort.occupied = cooDow.inPort[2].occupied ($RES_SIM_112) (47) [SCAL] (1) $FUN_3 = Modelica.Math.BooleanVectors.anyTrue(cooDow.outPort.reset) ($RES_$AUX_164) (48) [SCAL] (1) transition1.outPort.set = cooDow.inPort[1].set ($RES_SIM_113) (49) [SCAL] (1) $FUN_4 = Modelica.Math.BooleanVectors.anyTrue(norm.inPort.set) ($RES_$AUX_163) (50) [SCAL] (1) transition1.outPort.occupied = cooDow.inPort[1].occupied ($RES_SIM_114) (51) [SCAL] (1) $FUN_5 = Modelica.Math.BooleanVectors.anyTrue(norm.outPort.reset) ($RES_$AUX_162) (52) [SCAL] (1) cooDow.outPort[2].reset = transition4.outPort.set ($RES_SIM_115) (53) [SCAL] (1) $FUN_6 = Modelica.Math.BooleanVectors.anyTrue(off.inPort.set) ($RES_$AUX_161) (54) [SCAL] (1) cooDow.outPort[2].available = transition4.inPort.available ($RES_SIM_116) (55) [SCAL] (1) transition3.outPort.set = $SEV_2 ($RES_SIM_34) (56) [SCAL] (1) $FUN_7 = Modelica.Math.BooleanVectors.anyTrue(off.outPort.reset) ($RES_$AUX_160) (57) [SCAL] (1) cooDow.outPort[1].reset = transition2.outPort.set ($RES_SIM_117) (58) [SCAL] (1) cooDow.outPort[1].available = transition2.inPort.available ($RES_SIM_118) (59) [SCAL] (1) stateGraphRoot.activeSteps = -integer(stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_72) (60) [FOR-] (2) ($RES_SIM_73) (60) [----] for $i1 in 1:2 loop (60) [----] [SCAL] (1) norm.outPort[$i1].reset = false ($RES_SIM_74) (60) [----] end for; (61) [SCAL] (1) off.outPort[1].reset = false ($RES_SIM_39) (62) [FOR-] (2) ($RES_SIM_75) (62) [----] for $i1 in 1:2 loop (62) [----] [SCAL] (1) norm.inPort[$i1].set = false ($RES_SIM_76) (62) [----] end for; (63) [FOR-] (2) ($RES_SIM_77) (63) [----] for $i1 in 1:2 loop (63) [----] [SCAL] (1) norm.outPort[$i1].available = if $SEV_7[$i1] then norm.outerStatePort.localActive else $SEV_8[$i1] ($RES_SIM_78) (63) [----] end for; (64) [FOR-] (2) ($RES_SIM_79) (64) [----] for $i1 in 1:2 loop (64) [----] [SCAL] (1) norm.inPort[$i1].occupied = if $SEV_7[$i1] then norm.outerStatePort.localActive else $SEV_9[$i1] ($RES_SIM_80) (64) [----] end for; (65) [SCAL] (1) $SEV_1 = cooDow.outerStatePort.localActive and time >= (timer.t + $PRE.timer.entryTime) ($RES_EVT_190) (66) [SCAL] (1) $SEV_2 = (not transition1.localCondition and transition3.inPort.available) and not transition3.outPort.occupied ($RES_EVT_191) (67) [SCAL] (1) $SEV_3 = $FUN_6 or off.outerStatePort.localActive and not $FUN_7 ($RES_EVT_192) (68) [SCAL] (1) $SEV_4 = (transition4.localCondition and transition4.inPort.available) and not transition4.outPort.occupied ($RES_EVT_193) (69) [SCAL] (1) $SEV_5 = (transition1.localCondition and transition1.inPort.available) and not transition1.outPort.occupied ($RES_EVT_194) (70) [SCAL] (1) $SEV_6 = (transition2.localCondition and transition2.inPort.available) and not transition2.outPort.occupied ($RES_EVT_195) (71) [FOR-] (2) ($RES_EVT_196) (71) [----] for $i1 in 1:2 loop (71) [----] [SCAL] (1) $SEV_7[$i1] = $i1 == 1 ($RES_EVT_197) (71) [----] end for; (72) [FOR-] (2) ($RES_EVT_198) (72) [----] for $i1 in 1:2 loop (72) [----] [SCAL] (1) $SEV_8[$i1] = norm.outPort[$i1 - 1].available and not norm.outPort[$i1 - 1].reset ($RES_EVT_199) (72) [----] end for; (73) [SCAL] (1) off.inPort[1].set = false ($RES_SIM_40) (74) [SCAL] (1) off.outPort[1].available = off.outerStatePort.localActive ($RES_SIM_41) (75) [SCAL] (1) off.inPort[1].occupied = off.outerStatePort.localActive ($RES_SIM_42) (76) [WHEN] (1)when false then (76) [----] off.oldActive := off.outerStatePort.localActive (76) [----] end when; (77) [SCAL] (1) transition5.outPort.set = norm.outPort[2].reset ($RES_SIM_125) (78) [SCAL] (1) off.newActive = $SEV_3 ($RES_SIM_44) (79) [SCAL] (1) transition5.inPort.available = norm.outPort[2].available ($RES_SIM_126) (80) [SCAL] (1) off.outerStatePort.localActive = $TEV_8 ($RES_SIM_45) (81) [SCAL] (1) transition3.outPort.set = norm.inPort[2].set ($RES_SIM_127) (82) [WHEN] (1)when false then (82) [----] norm.oldActive := norm.outerStatePort.localActive (82) [----] end when; (83) [SCAL] (1) transition3.outPort.occupied = norm.inPort[2].occupied ($RES_SIM_128) (84) [SCAL] (1) norm.newActive = $SEV_10 ($RES_SIM_82) (85) [SCAL] (1) off.outerStatePort.subgraphStatePort.activeSteps = if off.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_47) (86) [SCAL] (1) off.outPort[1].reset = transition3.outPort.set ($RES_SIM_129) (87) [SCAL] (1) norm.outerStatePort.localActive = $TEV_17 ($RES_SIM_83) (88) [SCAL] (1) norm.outerStatePort.subgraphStatePort.activeSteps = if norm.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_85) (89) [FOR-] (2) ($RES_SIM_86) (89) [----] for $i1 in 1:2 loop (89) [----] [SCAL] (1) cooDow.outPort[$i1].reset = false ($RES_SIM_87) (89) [----] end for; (90) [FOR-] (2) ($RES_SIM_88) (90) [----] for $i1 in 1:2 loop (90) [----] [SCAL] (1) cooDow.inPort[$i1].set = false ($RES_SIM_89) (90) [----] end for; (91) [FOR-] (2) ($RES_EVT_200) (91) [----] for $i1 in 1:2 loop (91) [----] [SCAL] (1) $SEV_9[$i1] = norm.inPort[$i1 - 1].occupied or norm.inPort[$i1 - 1].set ($RES_EVT_201) (91) [----] end for; (92) [SCAL] (1) $SEV_10 = $FUN_4 or norm.outerStatePort.localActive and not $FUN_5 ($RES_EVT_202) (93) [FOR-] (2) ($RES_EVT_203) (93) [----] for $i1 in 1:2 loop (93) [----] [SCAL] (1) $SEV_11[$i1] = cooDow.outPort[$i1 - 1].available and not cooDow.outPort[$i1 - 1].reset ($RES_EVT_204) (93) [----] end for; (94) [FOR-] (2) ($RES_EVT_205) (94) [----] for $i1 in 1:2 loop (94) [----] [SCAL] (1) $SEV_12[$i1] = cooDow.inPort[$i1 - 1].occupied or cooDow.inPort[$i1 - 1].set ($RES_EVT_206) (94) [----] end for; (95) [SCAL] (1) $TEV_0 = $PRE.transition2.localCondition ($RES_EVT_167) (96) [SCAL] (1) $TEV_1 = $PRE.timer.entryTime ($RES_EVT_168) (97) [SCAL] (1) $SEV_13 = $FUN_2 or cooDow.outerStatePort.localActive and not $FUN_3 ($RES_EVT_207) (98) [SCAL] (1) $TEV_2 = $PRE.transition5.outPort.set ($RES_EVT_169) (99) [SCAL] (1) $SEV_14 = cooDowOpt.k and not transition1.localCondition ($RES_EVT_208) (100) [SCAL] (1) off.outPort[1].available = transition3.inPort.available ($RES_SIM_130) (101) [SCAL] (1) off.inPort[1].set = transition2.outPort.set ($RES_SIM_131) =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 7 var 2 --> eqn 56 var 3 --> eqn 64 var 4 --> eqn 29 var 5 --> eqn 50 var 6 --> eqn 46 var 7 --> eqn 33 var 8 --> eqn 83 var 9 --> eqn 31 var 10 --> eqn 59 var 11 --> eqn 54 var 12 --> eqn 104 var 13 --> eqn 105 var 14 --> eqn 91 var 15 --> eqn 48 var 16 --> eqn 10 var 17 --> eqn 11 var 18 --> eqn 96 var 19 --> eqn 25 var 20 --> eqn 95 var 21 --> eqn 81 var 22 --> eqn 16 var 23 --> eqn 58 var 24 --> eqn 55 var 25 --> eqn 53 var 26 --> eqn 51 var 27 --> eqn 49 var 28 --> eqn 47 var 29 --> eqn 8 var 30 --> eqn 9 var 31 --> eqn 15 var 32 --> eqn 45 var 33 --> eqn 101 var 34 --> eqn 102 var 35 --> eqn 32 var 36 --> eqn 27 var 37 --> eqn 90 var 38 --> eqn 1 var 39 --> eqn 93 var 40 --> eqn 61 var 41 --> eqn 3 var 42 --> eqn 35 var 43 --> eqn 60 var 44 --> eqn 89 var 45 --> eqn 19 var 46 --> eqn 92 var 47 --> eqn 18 var 48 --> eqn 2 var 49 --> eqn 34 var 50 --> eqn 112 var 51 --> eqn 110 var 52 --> eqn 13 var 53 --> eqn 26 var 54 --> eqn 103 var 55 --> eqn 36 var 56 --> eqn 44 var 57 --> eqn 28 var 58 --> eqn 43 var 59 --> eqn 88 var 60 --> eqn 30 var 61 --> eqn 84 var 62 --> eqn 14 var 63 --> eqn 4 var 64 --> eqn 79 var 65 --> eqn 80 var 66 --> eqn 67 var 67 --> eqn 68 var 68 --> eqn 52 var 69 --> eqn 87 var 70 --> eqn 76 var 71 --> eqn 12 var 72 --> eqn 5 var 73 --> eqn 66 var 74 --> eqn 6 var 75 --> eqn 74 var 76 --> eqn 23 var 77 --> eqn 73 var 78 --> eqn 22 var 79 --> eqn 86 var 80 --> eqn 113 var 81 --> eqn 57 var 82 --> eqn 21 var 83 --> eqn 71 var 84 --> eqn 20 var 85 --> eqn 17 var 86 --> eqn 111 var 87 --> eqn 109 var 88 --> eqn 42 var 89 --> eqn 108 var 90 --> eqn 41 var 91 --> eqn 40 var 92 --> eqn 39 var 93 --> eqn 69 var 94 --> eqn 70 var 95 --> eqn 38 var 96 --> eqn 106 var 97 --> eqn 107 var 98 --> eqn 37 var 99 --> eqn 24 var 100 --> eqn 62 var 101 --> eqn 63 var 102 --> eqn 82 var 103 --> eqn 77 var 104 --> eqn 78 equation to variable ********************** eqn 1 --> var 38 eqn 2 --> var 48 eqn 3 --> var 41 eqn 4 --> var 63 eqn 5 --> var 72 eqn 6 --> var 74 eqn 7 --> var 1 eqn 8 --> var 29 eqn 9 --> var 30 eqn 10 --> var 16 eqn 11 --> var 17 eqn 12 --> var 71 eqn 13 --> var 52 eqn 14 --> var 62 eqn 15 --> var 31 eqn 16 --> var 22 eqn 17 --> var 85 eqn 18 --> var 47 eqn 19 --> var 45 eqn 20 --> var 84 eqn 21 --> var 82 eqn 22 --> var 78 eqn 23 --> var 76 eqn 24 --> var 99 eqn 25 --> var 19 eqn 26 --> var 53 eqn 27 --> var 36 eqn 28 --> var 57 eqn 29 --> var 4 eqn 30 --> var 60 eqn 31 --> var 9 eqn 32 --> var 35 eqn 33 --> var 7 eqn 34 --> var 49 eqn 35 --> var 42 eqn 36 --> var 55 eqn 37 --> var 98 eqn 38 --> var 95 eqn 39 --> var 92 eqn 40 --> var 91 eqn 41 --> var 90 eqn 42 --> var 88 eqn 43 --> var 58 eqn 44 --> var 56 eqn 45 --> var 32 eqn 46 --> var 6 eqn 47 --> var 28 eqn 48 --> var 15 eqn 49 --> var 27 eqn 50 --> var 5 eqn 51 --> var 26 eqn 52 --> var 68 eqn 53 --> var 25 eqn 54 --> var 11 eqn 55 --> var 24 eqn 56 --> var 2 eqn 57 --> var 81 eqn 58 --> var 23 eqn 59 --> var 10 eqn 60 --> var 43 eqn 61 --> var 40 eqn 62 --> var 100 eqn 63 --> var 101 eqn 64 --> var 3 eqn 65 --> var -1 eqn 66 --> var 73 eqn 67 --> var 66 eqn 68 --> var 67 eqn 69 --> var 93 eqn 70 --> var 94 eqn 71 --> var 83 eqn 72 --> var -1 eqn 73 --> var 77 eqn 74 --> var 75 eqn 75 --> var -1 eqn 76 --> var 70 eqn 77 --> var 103 eqn 78 --> var 104 eqn 79 --> var 64 eqn 80 --> var 65 eqn 81 --> var 21 eqn 82 --> var 102 eqn 83 --> var 8 eqn 84 --> var 61 eqn 85 --> var -1 eqn 86 --> var 79 eqn 87 --> var 69 eqn 88 --> var 59 eqn 89 --> var 44 eqn 90 --> var 37 eqn 91 --> var 14 eqn 92 --> var 46 eqn 93 --> var 39 eqn 94 --> var -1 eqn 95 --> var 20 eqn 96 --> var 18 eqn 97 --> var -1 eqn 98 --> var -1 eqn 99 --> var -1 eqn 100 --> var -1 eqn 101 --> var 33 eqn 102 --> var 34 eqn 103 --> var 54 eqn 104 --> var 12 eqn 105 --> var 13 eqn 106 --> var 96 eqn 107 --> var 97 eqn 108 --> var 89 eqn 109 --> var 87 eqn 110 --> var 51 eqn 111 --> var 86 eqn 112 --> var 50 eqn 113 --> var 80 eqn 114 --> var -1