Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_9_Buildings.Controls.OBC.ASHRAE.G36_PR1.AHUs.SingleZone.VAV.Economizers.Subsequences.Validation.Enable_TOut_hOut.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 9.1.3-maint.9.1.x/package.mo", uses=false) Using package Buildings with version 9.1.3 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 9.1.3-maint.9.1.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.Controls.OBC.ASHRAE.G36_PR1.AHUs.SingleZone.VAV.Economizers.Subsequences.Validation.Enable_TOut_hOut,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|TOutCut.y|TOut.y|enaDis.truFalHol.y|enaDis.yRetDamPosMax|enaDis.yRetDamPosMin|enaDis.yOutDamPosMax|enaDis.uOutDamPosMin|hOutCut1.y|hOut.y|enaDis1.truFalHol.y|enaDis1.yRetDamPosMax|enaDis1.yRetDamPosMin|enaDis1.yOutDamPosMax|enaDis1.uOutDamPosMin|enaDis2.truFalHol.y|enaDis2.yRetDamPosMax|enaDis2.yRetDamPosMin|enaDis2.yOutDamPosMax|enaDis2.uOutDamPosMin",fileNamePrefix="Buildings_9_Buildings.Controls.OBC.ASHRAE.G36_PR1.AHUs.SingleZone.VAV.Economizers.Subsequences.Validation.Enable_TOut_hOut") translateModel(Buildings.Controls.OBC.ASHRAE.G36_PR1.AHUs.SingleZone.VAV.Economizers.Subsequences.Validation.Enable_TOut_hOut,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|TOutCut.y|TOut.y|enaDis.truFalHol.y|enaDis.yRetDamPosMax|enaDis.yRetDamPosMin|enaDis.yOutDamPosMax|enaDis.uOutDamPosMin|hOutCut1.y|hOut.y|enaDis1.truFalHol.y|enaDis1.yRetDamPosMax|enaDis1.yRetDamPosMin|enaDis1.yOutDamPosMax|enaDis1.uOutDamPosMin|enaDis2.truFalHol.y|enaDis2.yRetDamPosMax|enaDis2.yRetDamPosMin|enaDis2.yOutDamPosMax|enaDis2.uOutDamPosMin",fileNamePrefix="Buildings_9_Buildings.Controls.OBC.ASHRAE.G36_PR1.AHUs.SingleZone.VAV.Economizers.Subsequences.Validation.Enable_TOut_hOut") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001196/0.001196, allocations: 111.5 kB / 16.42 MB, free: 6.508 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.001205/0.001205, allocations: 192.2 kB / 17.35 MB, free: 5.754 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.188/1.188, allocations: 222.9 MB / 241 MB, free: 15.17 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 9.1.3-maint.9.1.x/package.mo): time 1.935/1.935, allocations: 390.2 MB / 0.6655 GB, free: 0.6445 MB / 0.5294 GB Notification: Performance of FrontEnd - Absyn->SCode: time 1.218e-05/1.218e-05, allocations: 2.281 kB / 0.9515 GB, free: 7.621 MB / 0.7325 GB Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.ASHRAE.G36_PR1.AHUs.SingleZone.VAV.Economizers.Subsequences.Validation.Enable_TOut_hOut): time 0.006623/0.006645, allocations: 6.481 MB / 0.9579 GB, free: 1.105 MB / 0.7325 GB Notification: Performance of NFInst.instExpressions: time 0.004381/0.01104, allocations: 3.548 MB / 0.9613 GB, free: 13.55 MB / 0.7481 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.0004738/0.01152, allocations: 47.88 kB / 0.9614 GB, free: 13.5 MB / 0.7481 GB Notification: Performance of NFTyping.typeComponents: time 0.0005515/0.01208, allocations: 343.9 kB / 0.9617 GB, free: 13.16 MB / 0.7481 GB Notification: Performance of NFTyping.typeBindings: time 0.0005418/0.01263, allocations: 348.7 kB / 0.962 GB, free: 12.82 MB / 0.7481 GB Notification: Performance of NFTyping.typeClassSections: time 0.002451/0.0151, allocations: 1.845 MB / 0.9638 GB, free: 10.98 MB / 0.7481 GB Notification: Performance of NFFlatten.flatten: time 0.002909/0.01802, allocations: 4.117 MB / 0.9679 GB, free: 6.852 MB / 0.7481 GB Notification: Performance of NFFlatten.resolveConnections: time 0.002755/0.02078, allocations: 3.087 MB / 0.9709 GB, free: 3.691 MB / 0.7481 GB Notification: Performance of NFEvalConstants.evaluate: time 0.001136/0.02193, allocations: 1.566 MB / 0.9724 GB, free: 2.121 MB / 0.7481 GB Notification: Performance of NFSimplifyModel.simplify: time 0.001089/0.02302, allocations: 1.541 MB / 0.9739 GB, free: 0.5742 MB / 0.7481 GB Notification: Performance of NFPackage.collectConstants: time 0.0004333/0.02347, allocations: 500 kB / 0.9744 GB, free: 88 kB / 0.7481 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0004644/0.02394, allocations: 0.5156 MB / 0.9749 GB, free: 15.57 MB / 0.7637 GB Notification: Performance of combineBinaries: time 0.002264/0.02621, allocations: 4.417 MB / 0.9792 GB, free: 11.11 MB / 0.7637 GB Notification: Performance of replaceArrayConstructors: time 0.001079/0.0273, allocations: 2.504 MB / 0.9817 GB, free: 8.562 MB / 0.7637 GB Notification: Performance of NFVerifyModel.verify: time 0.0004576/0.02776, allocations: 0.5264 MB / 0.9822 GB, free: 8.035 MB / 0.7637 GB Notification: Performance of FrontEnd: time 0.0004243/0.02819, allocations: 313.7 kB / 0.9825 GB, free: 7.727 MB / 0.7637 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 729 (705) * Number of variables: 697 (673) Notification: Performance of Bindings: time 0.01033/0.03853, allocations: 13.8 MB / 0.9959 GB, free: 9.617 MB / 0.7794 GB Notification: Performance of FunctionAlias: time 0.001238/0.03978, allocations: 1.728 MB / 0.9976 GB, free: 7.871 MB / 0.7794 GB Notification: Performance of Early Inline: time 0.009104/0.04889, allocations: 11.71 MB / 1.009 GB, free: 12.07 MB / 0.795 GB Notification: Performance of simplify1: time 0.0005239/0.04942, allocations: 0.5343 MB / 1.01 GB, free: 11.53 MB / 0.795 GB Notification: Performance of Alias: time 0.01732/0.06675, allocations: 18.62 MB / 1.028 GB, free: 7.465 MB / 0.8106 GB Notification: Performance of simplify2: time 0.0003368/0.06711, allocations: 343.5 kB / 1.028 GB, free: 7.129 MB / 0.8106 GB Notification: Performance of Detect States: time 0.003156/0.07028, allocations: 4.062 MB / 1.032 GB, free: 2.996 MB / 0.8106 GB Notification: Performance of Events: time 0.002857/0.07314, allocations: 2.842 MB / 1.035 GB, free: 96 kB / 0.8106 GB Notification: Performance of Partitioning: time 0.002813/0.07597, allocations: 3.111 MB / 1.038 GB, free: 12.77 MB / 0.8262 GB Error: Internal error NBSorting.SuperNode.getEqnIndices failed because elements should not be accessed, only their parents: [466] scalar element of (513) Error: Internal error NBSorting.tarjan failed to sort system: system vars Variables (415/452) ********************************* (1) [DISS] (1) protected discrete Real TRet.rate (2) [DISC] (2) protected Boolean[2] enaDis.truFalHol.outputTrue.inPort.occupied (3) [DISC] (1) protected final Boolean enaDis1.truFalHol.toTrue1.localCondition = enaDis1.truFalHol.toTrue1.localCondition (4) [DISC] (1) protected Boolean enaDis2.nor1.y (5) [ALGB] (1) protected Real enaDis4.outDamSwitch.y (6) [DISC] (1) Boolean $SEV_107 (7) [DISC] (1) Boolean $SEV_106 (8) [DISC] (1) Boolean $SEV_105 (9) [DISC] (1) Boolean $SEV_104 (10) [DISC] (1) Boolean $SEV_103 (11) [DISC] (1) Boolean $SEV_102 (12) [DISC] (1) protected final Boolean enaDis4.truFalHol.toFalse.localCondition = enaDis4.truFalHol.toFalse.localCondition (13) [DISC] (1) Boolean $SEV_100 (14) [DISC] (1) protected Boolean[1] enaDis4.truFalHol.outputFalse.outPort.available (15) [DISS] (1) protected Boolean enaDis2.truFalHol.initialStep.oldActive (16) [DISC] (1) protected Integer enaDis2.truFalHol.stateGraphRoot.activeSteps (17) [DISC] (1) protected Boolean enaDis1.and1.y (18) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.outputTrue.inPort.occupied (19) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse.inPort.available (20) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue1.outPort.set (21) [DISC] (1) protected Boolean enaDis2.truFalHol.toFalse.outPort.occupied (22) [DISC] (2) protected Boolean[2] enaDis2.truFalHol.outputFalse.inPort.occupied (23) [DISC] (1) protected Boolean enaDis2.truFalHol.outputTrue.outerStatePort.localActive = enaDis2.truFalHol.outputTrue.outerStatePort.localActive (24) [DISC] (1) protected Boolean[1] enaDis.truFalHol.outputTrue.outPort.available (25) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.initialStep.outPort.reset (26) [DISS] (1) protected Real enaDis4.truFalHol.onDel1.t_next (27) [DISC] (1) protected Boolean enaDis2.truFalHol.toFalse1.outPort.set (28) [DISC] (2) protected Boolean[2] enaDis.truFalHol.outputFalse.inPort.occupied (29) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse1.outPort.set (30) [DISC] (1) protected Boolean enaDis.hysOutTem.y (31) [DISC] (2) protected Boolean[2] enaDis4.truFalHol.outputTrue.inPort.set (32) [DISC] (1) protected Boolean enaDis4.truFalHol.outputTrue.outerStatePort.localActive = enaDis4.truFalHol.outputTrue.outerStatePort.localActive (33) [ALGB] (1) protected flow Real enaDis.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (34) [DISS] (1) protected discrete Real hOut.rate (35) [DISC] (1) protected Boolean enaDis2.truFalHol.toTrue1.inPort.available (36) [DISC] (1) protected Boolean[1] enaDis2.truFalHol.outputTrue.outPort.available (37) [ALGB] (1) protected flow Real enaDis1.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (38) [DISC] (1) protected Boolean[1] enaDis2.truFalHol.outputFalse.outPort.reset (39) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse.outPort.set (40) [ALGB] (1) protected Real enaDis.minRetDamSwitch.y (41) [DISC] (2) Boolean[2] $SEV_101[$i1] (42) [DISS] (1) protected Boolean enaDis4.truFalHol.outputFalse.oldActive (43) [DISC] (1) protected final Boolean enaDis2.truFalHol.toTrue.localCondition = enaDis2.truFalHol.toTrue.localCondition (44) [DISC] (1) protected Boolean enaDis.truFalHol.outputFalse.newActive (45) [DISC] (1) protected Boolean enaDis2.and1.y (46) [DISS] (1) protected Real enaDis2.truFalHol.onDel1.t_next (47) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue.outPort.occupied (48) [DISC] (1) protected Boolean enaDis2.truFalHol.toTrue.outPort.set (49) [DISC] (1) protected Boolean[1] enaDis4.truFalHol.outputFalse.outPort.reset (50) [DISC] (1) protected Boolean[1] enaDis1.truFalHol.outputFalse.outPort.available (51) [DISC] (2) Boolean[2] $SEV_57[$i1] (52) [DISC] (1) protected Boolean enaDis4.truFalHol.toTrue1.outPort.set (53) [DISS] (1) protected Real enaDis.truFalHol.onDel2.t_next (54) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse.inPort.available (55) [DISC] (1) protected Boolean enaDis4.truFalHol.initialStep.outerStatePort.localActive = enaDis4.truFalHol.initialStep.outerStatePort.localActive (56) [DISC] (1) protected Boolean enaDis4.hysCutTem.y (57) [ALGB] (1) protected flow Real enaDis.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (58) [DISC] (2) Boolean[2] $SEV_98[$i1] (59) [ALGB] (1) protected flow Real enaDis4.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (60) [DISC] (1) protected Boolean enaDis2.truFalHol.outputTrue.newActive (61) [DISC] (1) protected Boolean[1] enaDis.truFalHol.outputFalse.outPort.reset (62) [DISC] (2) Boolean[2] $SEV_71[$i1] (63) [DISC] (1) protected Boolean enaDis4.nor1.y (64) [DISS] (1) protected Boolean enaDis4.truFalHol.outputTrue.oldActive (65) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse1.outPort.set (66) [DISC] (1) protected final Boolean enaDis4.truFalHol.toTrue.localCondition = enaDis4.truFalHol.toTrue.localCondition (67) [DISS] (1) protected Boolean enaDis2.truFalHol.outputFalse.oldActive (68) [ALGB] (1) protected Real enaDis1.sub1.y (69) [DISS] (1) protected Real enaDis2.truFalHol.onDel2.t_next (70) [DISC] (1) protected Integer enaDis1.truFalHol.stateGraphRoot.activeSteps (71) [DISC] (2) Boolean[2] $SEV_28[$i1] (72) [ALGB] (1) protected flow Real enaDis4.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (73) [DISC] (1) protected Boolean[1] enaDis1.truFalHol.outputTrue.outPort.available (74) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue.outPort.set (75) [DISC] (1) protected Boolean enaDis.truFalHol.outputFalse.outerStatePort.localActive = enaDis.truFalHol.outputFalse.outerStatePort.localActive (76) [ALGB] (1) protected flow Real enaDis1.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (77) [DISS] (1) protected Boolean enaDis1.truFalHol.onDel1.y (78) [DISS] (1) protected discrete Real hOut.endValue (79) [DISS] (1) protected Real enaDis.truFalHol.onDel1.t_next (80) [DISC] (2) protected Boolean[2] enaDis2.truFalHol.outputTrue.inPort.set (81) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.initialStep.outPort.available (82) [DISS] (1) protected Boolean booPul2.y (83) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue.outPort.set (84) [DISC] (1) Boolean $SEV_99 (85) [DISC] (1) protected Boolean enaDis4.nor2.y (86) [DISC] (1) Boolean $SEV_97 (87) [DISC] (1) Boolean $SEV_96 (88) [DISC] (1) Boolean $SEV_95 (89) [DISC] (1) protected Boolean enaDis2.truFalHol.outputFalse.outerStatePort.localActive = enaDis2.truFalHol.outputFalse.outerStatePort.localActive (90) [DISC] (1) Boolean $SEV_94 (91) [DISC] (1) protected Boolean enaDis2.truFalHol.toFalse.outPort.set (92) [DISC] (1) protected Boolean enaDis1.truFalHol.initialStep.outerStatePort.localActive = enaDis1.truFalHol.initialStep.outerStatePort.localActive (93) [DISC] (1) Boolean $SEV_92 (94) [DISC] (1) Boolean $SEV_91 (95) [DISC] (1) protected Boolean enaDis4.truFalHol.toTrue.outPort.set (96) [DISC] (1) Boolean $SEV_90 (97) [DISC] (1) protected Boolean[1] enaDis2.truFalHol.outputTrue.outPort.reset (98) [DISC] (2) Boolean[2] $SEV_27[$i1] (99) [ALGB] (1) protected Real enaDis1.sub2.y (100) [DISC] (1) protected Boolean enaDis1.truFalHol.initialStep.newActive (101) [DISS] (1) protected Boolean enaDis.truFalHol.outputTrue.oldActive (102) [ALGB] (1) protected Real enaDis2.minRetDamSwitch.y (103) [DISC] (1) protected final Boolean enaDis1.truFalHol.toTrue.localCondition = enaDis1.truFalHol.toTrue.localCondition (104) [DISS] (1) protected Boolean enaDis1.truFalHol.onDel2.y (105) [DISC] (2) protected Boolean[2] enaDis4.truFalHol.outputTrue.inPort.occupied (106) [DISC] (1) Boolean $SEV_89 (107) [DISC] (1) protected Boolean enaDis.intEqu.y (108) [ALGB] (1) protected Real enaDis2.sub1.y (109) [DISC] (1) Boolean $SEV_88 (110) [DISC] (1) protected Boolean enaDis4.and1.y (111) [DISC] (1) Boolean $SEV_87 (112) [DISC] (1) Boolean $SEV_86 (113) [DISS] (1) protected discrete Real TOut.endValue (114) [DISC] (1) Boolean $SEV_85 (115) [DISS] (1) protected Boolean enaDis1.truFalHol.outputTrue.oldActive (116) [DISC] (1) Boolean $SEV_84 (117) [DISC] (1) Boolean $SEV_83 (118) [DISC] (1) Boolean $SEV_82 (119) [DISC] (1) Boolean $SEV_81 (120) [DISC] (1) Boolean $SEV_80 (121) [DISC] (1) protected Boolean enaDis2.truFalHol.toTrue1.outPort.occupied (122) [ALGB] (1) protected flow Real enaDis2.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (123) [DISC] (1) Boolean $TEV_99 (124) [DISC] (1) Boolean $TEV_98 (125) [DISC] (1) Boolean $TEV_97 (126) [DISS] (1) protected Boolean booPul1.y (127) [DISC] (1) Boolean $TEV_96 (128) [DISC] (1) Boolean $TEV_95 (129) [DISC] (2) protected Boolean[2] enaDis2.truFalHol.outputTrue.inPort.occupied (130) [ALGB] (1) Real hOut.y (131) [DISC] (1) Boolean $TEV_94 (132) [DISC] (1) Boolean $TEV_93 (133) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.outputFalse.inPort.set (134) [DISC] (1) protected Boolean enaDis4.truFalHol.toFalse.inPort.available (135) [DISC] (1) Boolean $TEV_91 (136) [DISC] (1) Boolean $TEV_90 (137) [DISC] (2) Boolean[2] $SEV_54[$i1] (138) [DISS] (1) protected Boolean enaDis4.truFalHol.initialStep.oldActive (139) [DISC] (1) protected Boolean[1] enaDis1.truFalHol.outputFalse.outPort.reset (140) [DISC] (1) protected Boolean enaDis4.truFalHol.toTrue.inPort.available (141) [DISC] (1) Boolean $SEV_78 (142) [DISC] (1) Boolean $SEV_77 (143) [DISC] (1) Boolean $SEV_75 (144) [DISC] (1) protected Boolean enaDis.nor1.y (145) [DISC] (1) protected Boolean enaDis2.intEqu1.y (146) [DISC] (1) Boolean $SEV_74 (147) [DISC] (2) protected Boolean[2] enaDis2.truFalHol.outputFalse.inPort.set (148) [DISC] (1) Boolean $SEV_73 (149) [DISC] (1) protected Boolean enaDis2.intEqu.y (150) [DISC] (1) Boolean $SEV_72 (151) [DISC] (1) Boolean $SEV_70 (152) [DISC] (1) Boolean $TEV_89 (153) [DISC] (1) Boolean $TEV_88 (154) [DISC] (1) Boolean $TEV_86 (155) [DISC] (1) Boolean $TEV_85 (156) [DISC] (1) protected Boolean enaDis2.truFalHol.toFalse1.outPort.occupied (157) [DISC] (1) Boolean $TEV_84 (158) [DISC] (1) Boolean $TEV_83 (159) [DISC] (2) protected Boolean[2] enaDis4.truFalHol.initialStep.outPort.available (160) [DISC] (1) Boolean $TEV_81 (161) [DISS] (1) protected discrete Real hOut.T (162) [ALGB] (1) protected flow Real enaDis.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (163) [DISC] (1) protected Boolean enaDis.truFalHol.initialStep.newActive (164) [DISS] (1) protected Boolean enaDis1.truFalHol.outputFalse.oldActive (165) [DISC] (2) protected Boolean[2] enaDis.truFalHol.outputTrue.inPort.set (166) [DISC] (1) Boolean $SEV_69 (167) [DISC] (1) Boolean $SEV_68 (168) [DISC] (1) Boolean $SEV_67 (169) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse.outPort.occupied (170) [DISC] (1) protected Boolean enaDis1.hysOutTem.y (171) [DISC] (1) Boolean $SEV_66 (172) [DISC] (1) Boolean $SEV_65 (173) [DISC] (1) Boolean $SEV_64 (174) [DISC] (1) protected Boolean enaDis4.truFalHol.toFalse1.outPort.set (175) [DISC] (1) Boolean $SEV_63 (176) [DISC] (1) protected final Boolean enaDis1.truFalHol.toFalse.localCondition = enaDis1.truFalHol.toFalse.localCondition (177) [DISC] (1) Boolean $SEV_62 (178) [DISC] (1) Boolean $SEV_61 (179) [DISC] (1) Boolean $SEV_60 (180) [DISC] (1) Boolean $TEV_79 (181) [DISC] (1) protected Boolean enaDis4.truFalHol.toFalse1.inPort.available (182) [DISC] (1) protected final Boolean enaDis.truFalHol.toTrue1.localCondition = enaDis.truFalHol.toTrue1.localCondition (183) [DISC] (1) Boolean $TEV_78 (184) [DISS] (1) protected Boolean enaDis.truFalHol.onDel1.y (185) [DISC] (1) Boolean $TEV_77 (186) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue1.outPort.set (187) [DISC] (1) Boolean $TEV_76 (188) [DISC] (1) Boolean $TEV_75 (189) [DISC] (1) Boolean $TEV_74 (190) [DISC] (1) Boolean $TEV_73 (191) [DISC] (1) Boolean $TEV_72 (192) [DISC] (1) protected Boolean enaDis1.truFalHol.outputFalse.outerStatePort.localActive = enaDis1.truFalHol.outputFalse.outerStatePort.localActive (193) [DISC] (2) protected Boolean[2] enaDis.truFalHol.outputFalse.inPort.set (194) [DISC] (1) Boolean $TEV_70 (195) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.outputTrue.inPort.set (196) [DISC] (1) protected Boolean enaDis4.intEqu1.y (197) [DISS] (1) protected Boolean enaDis.truFalHol.outputFalse.oldActive (198) [DISC] (1) protected Boolean[1] enaDis.truFalHol.outputFalse.outPort.available (199) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue1.inPort.available (200) [DISC] (1) protected final Boolean enaDis2.truFalHol.toFalse.localCondition = enaDis2.truFalHol.toFalse.localCondition (201) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue.outPort.occupied (202) [DISC] (2) Boolean[2] $SEV_79[$i1] (203) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse1.outPort.occupied (204) [DISC] (1) Boolean $SEV_59 (205) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue1.inPort.available (206) [DISC] (2) protected Boolean[2] enaDis4.truFalHol.initialStep.outPort.reset (207) [DISC] (1) Boolean $SEV_58 (208) [DISC] (1) Boolean $SEV_56 (209) [DISC] (1) Boolean $SEV_55 (210) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue.inPort.available (211) [DISC] (1) Boolean $SEV_53 (212) [DISC] (1) Boolean $SEV_52 (213) [DISC] (1) Boolean $SEV_51 (214) [DISC] (1) Boolean $SEV_50 (215) [DISC] (1) Boolean $TEV_69 (216) [DISC] (1) Boolean $TEV_124 (217) [DISC] (1) Boolean $TEV_68 (218) [DISC] (1) protected Boolean enaDis.truFalHol.initialStep.outerStatePort.localActive = enaDis.truFalHol.initialStep.outerStatePort.localActive (219) [DISC] (2) protected Boolean[2] enaDis4.truFalHol.outputFalse.inPort.occupied (220) [DISC] (1) Boolean $TEV_123 (221) [DISC] (1) Boolean $TEV_67 (222) [DISC] (1) Boolean $TEV_122 (223) [DISC] (1) protected Boolean enaDis2.truFalHol.initialStep.newActive (224) [DISC] (1) Boolean $TEV_121 (225) [DISC] (1) Boolean $TEV_65 (226) [DISC] (1) Boolean $TEV_120 (227) [DISC] (1) Boolean $TEV_64 (228) [DISC] (1) Boolean $TEV_63 (229) [DISC] (1) Boolean $TEV_62 (230) [DISC] (1) Boolean $TEV_60 (231) [DISC] (1) protected Boolean enaDis.and1.y (232) [ALGB] (1) protected flow Real enaDis2.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (233) [DISC] (2) Boolean[2] $SEV_93[$i1] (234) [DISS] (1) protected Boolean enaDis.truFalHol.onDel2.y (235) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse.outPort.occupied (236) [ALGB] (1) protected Real enaDis1.outDamSwitch.y (237) [ALGB] (1) protected Real enaDis2.outDamSwitch.y (238) [ALGB] (1) protected Real enaDis4.sub1.y (239) [DISC] (1) protected Boolean enaDis.intEqu1.y (240) [DISC] (1) protected Boolean enaDis2.truFalHol.initialStep.outerStatePort.localActive = enaDis2.truFalHol.initialStep.outerStatePort.localActive (241) [DISC] (1) protected Boolean enaDis2.truFalHol.toTrue1.outPort.set (242) [DISC] (1) Boolean $SEV_48 (243) [DISC] (1) Boolean $SEV_47 (244) [DISC] (1) Boolean $SEV_46 (245) [DISC] (1) Boolean $SEV_45 (246) [DISC] (1) Boolean $SEV_44 (247) [ALGB] (1) protected flow Real enaDis4.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (248) [DISC] (1) Boolean $SEV_43 (249) [DISC] (1) Boolean $TEV_119 (250) [DISC] (1) protected Boolean enaDis2.truFalHol.toFalse.inPort.available (251) [DISC] (1) Boolean $SEV_42 (252) [DISC] (1) Boolean $TEV_118 (253) [DISC] (1) Boolean $SEV_41 (254) [DISC] (1) Boolean $TEV_117 (255) [DISC] (1) protected Boolean enaDis4.truFalHol.outputTrue.newActive (256) [DISC] (1) Boolean $SEV_40 (257) [DISC] (1) Boolean $TEV_116 (258) [DISC] (1) Boolean $TEV_115 (259) [DISC] (1) Boolean $TEV_114 (260) [DISC] (1) Boolean $TEV_58 (261) [DISC] (1) protected Boolean[1] enaDis4.truFalHol.outputTrue.outPort.available (262) [DISC] (1) Boolean $TEV_57 (263) [DISC] (1) Boolean $TEV_112 (264) [DISC] (1) Boolean $TEV_56 (265) [DISC] (1) Boolean $TEV_111 (266) [DISC] (1) Boolean $TEV_55 (267) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse1.inPort.available (268) [DISC] (1) protected Boolean enaDis4.truFalHol.toTrue1.outPort.occupied (269) [DISC] (1) protected Boolean enaDis2.truFalHol.toFalse1.inPort.available (270) [ALGB] (1) protected flow Real enaDis.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (271) [DISC] (1) Boolean $TEV_110 (272) [DISC] (1) Boolean $TEV_54 (273) [DISC] (1) Boolean $TEV_53 (274) [DISC] (1) Boolean $FUN_9 (275) [DISC] (1) Boolean $TEV_52 (276) [DISC] (1) Boolean $FUN_8 (277) [DISC] (1) Boolean $FUN_7 (278) [ALGB] (1) Real TRet.y (279) [DISC] (1) Boolean $TEV_50 (280) [DISC] (1) protected Boolean enaDis2.truFalHol.outputFalse.newActive (281) [DISC] (1) Boolean $FUN_6 (282) [DISC] (1) protected Boolean enaDis4.truFalHol.toTrue1.inPort.available (283) [ALGB] (1) protected flow Real enaDis1.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (284) [DISC] (1) protected final Boolean enaDis.truFalHol.toTrue.localCondition = enaDis.truFalHol.toTrue.localCondition (285) [DISC] (1) Boolean $FUN_4 (286) [DISC] (1) Boolean $FUN_3 (287) [DISC] (1) Boolean $FUN_21 (288) [DISC] (1) Boolean $FUN_2 (289) [DISC] (1) protected Boolean enaDis4.truFalHol.outputFalse.outerStatePort.localActive = enaDis4.truFalHol.outputFalse.outerStatePort.localActive (290) [DISC] (1) Boolean $FUN_20 (291) [DISC] (1) Boolean $FUN_1 (292) [DISC] (1) protected Boolean enaDis1.hysOutEnt.y (293) [DISC] (1) protected final Boolean enaDis4.truFalHol.toTrue1.localCondition = enaDis4.truFalHol.toTrue1.localCondition (294) [DISC] (1) Boolean enaDis1.andEnaDis.y (295) [DISC] (1) Boolean $SEV_39 (296) [DISC] (1) Boolean $SEV_38 (297) [DISC] (2) protected Boolean[2] enaDis2.truFalHol.initialStep.outPort.available (298) [DISC] (1) Boolean $SEV_37 (299) [DISC] (1) Boolean $SEV_35 (300) [DISC] (2) protected Boolean[2] enaDis2.truFalHol.initialStep.outPort.reset (301) [DISC] (1) Boolean $SEV_34 (302) [DISC] (1) protected Boolean enaDis2.truFalHol.toTrue.inPort.available (303) [DISC] (2) Boolean[2] $SEV_36[$i1] (304) [DISC] (1) Boolean $TEV_109 (305) [DISC] (1) Boolean $SEV_32 (306) [DISC] (1) protected Boolean enaDis2.hysOutTem.y (307) [DISC] (1) Boolean $SEV_31 (308) [DISC] (1) Boolean $TEV_107 (309) [DISC] (1) Boolean $SEV_30 (310) [DISC] (1) Boolean $TEV_106 (311) [ALGB] (1) protected Real enaDis4.minRetDamSwitch.y (312) [DISS] (1) protected Boolean enaDis4.truFalHol.onDel1.y (313) [DISC] (1) Boolean $TEV_105 (314) [DISC] (1) Boolean $TEV_49 (315) [DISC] (1) Boolean $TEV_104 (316) [DISC] (1) Boolean $TEV_48 (317) [DISC] (1) protected Boolean[1] enaDis4.truFalHol.outputTrue.outPort.reset (318) [DISC] (1) protected Boolean enaDis4.truFalHol.toFalse.outPort.occupied (319) [DISC] (1) protected Boolean enaDis4.truFalHol.outputFalse.newActive (320) [DISC] (1) Boolean $TEV_47 (321) [DISC] (1) Boolean $TEV_102 (322) [DISC] (1) Boolean $TEV_45 (323) [DISC] (1) Boolean $TEV_100 (324) [DISC] (1) Boolean $TEV_44 (325) [DISC] (1) Boolean $FUN_19 (326) [DISC] (1) Boolean $TEV_43 (327) [DISC] (1) Boolean $FUN_18 (328) [DISC] (1) protected Boolean enaDis1.truFalHol.outputTrue.outerStatePort.localActive = enaDis1.truFalHol.outputTrue.outerStatePort.localActive (329) [DISC] (1) Boolean $TEV_42 (330) [DISC] (1) Boolean $FUN_17 (331) [ALGB] (1) protected flow Real enaDis2.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (332) [DISC] (1) Boolean $FUN_16 (333) [DISC] (1) Boolean $TEV_40 (334) [DISC] (1) Boolean $FUN_15 (335) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.outputFalse.inPort.occupied (336) [DISC] (1) Boolean $FUN_14 (337) [DISC] (2) Boolean[2] $SEV_49[$i1] (338) [DISC] (1) Boolean $FUN_13 (339) [DISC] (1) Boolean $FUN_12 (340) [DISS] (1) protected discrete Real TRet.T (341) [DISC] (2) protected Boolean[2] enaDis4.truFalHol.outputFalse.inPort.set (342) [DISC] (1) Boolean $FUN_11 (343) [DISC] (1) protected Integer enaDis.truFalHol.stateGraphRoot.activeSteps (344) [DISC] (1) Boolean $FUN_10 (345) [DISC] (1) Boolean $SEV_29 (346) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue1.outPort.occupied (347) [DISC] (1) Boolean $SEV_26 (348) [DISC] (1) protected Boolean enaDis4.truFalHol.toFalse.outPort.set (349) [DISC] (1) Boolean $SEV_25 (350) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue.inPort.available (351) [DISC] (1) Boolean $SEV_24 (352) [DISC] (1) Boolean $SEV_23 (353) [DISC] (1) protected Boolean enaDis1.intEqu.y (354) [DISS] (1) protected Boolean enaDis1.truFalHol.initialStep.oldActive (355) [DISC] (1) Boolean $SEV_22 (356) [DISC] (1) Boolean $SEV_21 (357) [ALGB] (1) protected Real enaDis1.minRetDamSwitch.y (358) [DISC] (1) protected Integer enaDis4.truFalHol.stateGraphRoot.activeSteps (359) [DISC] (1) Boolean $SEV_20 (360) [DISC] (1) Boolean $TEV_38 (361) [DISC] (1) protected Boolean[1] enaDis2.truFalHol.outputFalse.outPort.available (362) [DISC] (1) Boolean $TEV_37 (363) [DISC] (1) Boolean $TEV_36 (364) [DISC] (2) protected Boolean[2] enaDis.truFalHol.initialStep.outPort.available (365) [DISC] (1) protected Boolean enaDis2.truFalHol.toTrue.outPort.occupied (366) [DISS] (1) protected Boolean enaDis2.truFalHol.outputTrue.oldActive (367) [DISC] (1) protected final Boolean enaDis.truFalHol.toFalse.localCondition = enaDis.truFalHol.toFalse.localCondition (368) [ALGB] (1) protected Real enaDis4.sub3.y (369) [DISC] (2) protected Boolean[2] enaDis.truFalHol.initialStep.outPort.reset (370) [DISC] (1) protected Boolean enaDis1.truFalHol.outputTrue.newActive (371) [DISC] (1) protected Boolean enaDis.truFalHol.outputTrue.outerStatePort.localActive = enaDis.truFalHol.outputTrue.outerStatePort.localActive (372) [DISS] (1) protected Boolean enaDis4.truFalHol.onDel2.y (373) [DISC] (1) protected Boolean enaDis4.truFalHol.toFalse1.outPort.occupied (374) [ALGB] (1) protected flow Real enaDis1.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (375) [DISC] (2) Boolean[2] $SEV_76[$i1] (376) [DISC] (1) protected Boolean[1] enaDis1.truFalHol.outputTrue.outPort.reset (377) [DISS] (1) protected Real enaDis1.truFalHol.onDel2.t_next (378) [DISS] (1) protected Boolean enaDis2.truFalHol.onDel2.y (379) [DISC] (1) protected Boolean enaDis4.intEqu.y (380) [ALGB] (1) Real enaDis.TOut (381) [DISC] (1) Boolean $SEV_19 (382) [DISS] (1) protected discrete Real TRet.endValue (383) [DISC] (1) Boolean $SEV_18 (384) [DISC] (1) protected Boolean enaDis4.nor1.u1 (385) [DISC] (1) Boolean $SEV_17 (386) [DISS] (1) protected discrete Real TOut.T (387) [DISC] (1) Boolean $SEV_16 (388) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse1.outPort.occupied (389) [DISS] (1) protected Boolean booPul.y (390) [DISC] (1) protected Boolean enaDis4.truFalHol.initialStep.newActive (391) [ALGB] (1) protected Real enaDis.sub1.y (392) [ALGB] (1) protected flow Real enaDis4.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (393) [DISC] (1) protected Boolean enaDis1.nor1.y (394) [DISC] (1) protected Boolean[1] enaDis.truFalHol.outputTrue.outPort.reset (395) [ALGB] (1) protected Real enaDis.outDamSwitch.y (396) [DISC] (1) protected Boolean enaDis4.truFalHol.toTrue.outPort.occupied (397) [DISC] (1) Boolean enaDis2.andEnaDis.y (398) [DISC] (1) Boolean enaDis.andEnaDis.y (399) [DISS] (1) protected discrete Real TOut.rate (400) [DISC] (1) protected Boolean enaDis1.intEqu1.y (401) [DISC] (1) protected Boolean enaDis.hysOutEnt.y (402) [DISC] (1) protected Boolean enaDis1.truFalHol.outputFalse.newActive (403) [DISS] (1) protected Boolean enaDis2.truFalHol.onDel1.y (404) [DISS] (1) protected Boolean enaDis.truFalHol.initialStep.oldActive (405) [ALGB] (1) protected flow Real enaDis2.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (406) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse.outPort.set (407) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse1.inPort.available (408) [DISC] (1) Boolean enaDis4.andEnaDis.y (409) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue1.outPort.occupied (410) [ALGB] (1) protected Real enaDis.sub2.y (411) [DISS] (1) protected Real enaDis1.truFalHol.onDel1.t_next (412) [DISC] (1) protected final Boolean enaDis2.truFalHol.toTrue1.localCondition = enaDis2.truFalHol.toTrue1.localCondition (413) [DISC] (1) protected Boolean enaDis.truFalHol.outputTrue.newActive (414) [DISS] (1) protected Real enaDis4.truFalHol.onDel2.t_next (415) [DISC] (2) Boolean[2] $SEV_33[$i1] system eqns Equations (447/484) ********************************* (1) [SCAL] (1) enaDis.truFalHol.initialStep.newActive = $SEV_94 ($RES_SIM_429) (2) [SCAL] (1) enaDis2.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if enaDis2.truFalHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_254) (3) [SCAL] (1) enaDis2.truFalHol.toTrue.localCondition = $SEV_51 ($RES_SIM_255) (4) [SCAL] (1) enaDis2.truFalHol.toFalse.localCondition = $SEV_52 ($RES_SIM_256) (5) [SCAL] (1) enaDis2.truFalHol.toFalse.outPort.set = $SEV_53 ($RES_SIM_259) (6) [SCAL] (1) enaDis1.truFalHol.initialStep.newActive = $SEV_72 ($RES_SIM_340) (7) [SCAL] (1) enaDis1.truFalHol.initialStep.outerStatePort.localActive = $TEV_85 ($RES_SIM_341) (8) [SCAL] (1) enaDis1.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if enaDis1.truFalHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_343) (9) [SCAL] (1) enaDis1.truFalHol.toTrue.localCondition = $SEV_73 ($RES_SIM_344) (10) [SCAL] (1) enaDis1.truFalHol.toFalse.localCondition = $SEV_74 ($RES_SIM_345) (11) [SCAL] (1) enaDis4.truFalHol.toFalse.outPort.set = $SEV_32 ($RES_SIM_171) (12) [SCAL] (1) enaDis1.truFalHol.toFalse.outPort.set = $SEV_75 ($RES_SIM_348) (13) [SCAL] (1) enaDis4.truFalHol.outputTrue.outPort[1].reset = false ($RES_SIM_176) (14) [FOR-] (2) ($RES_SIM_177) (14) [----] for $i1 in 1:2 loop (14) [----] [SCAL] (1) enaDis4.truFalHol.outputTrue.inPort[$i1].set = false ($RES_SIM_178) (14) [----] end for; (15) [SCAL] (1) $TEV_77 = $PRE.enaDis1.hysOutEnt.y ($RES_EVT_900) (16) [SCAL] (1) enaDis.truFalHol.initialStep.outerStatePort.localActive = $TEV_106 ($RES_SIM_430) (17) [SCAL] (1) enaDis4.truFalHol.outputTrue.outPort[1].available = enaDis4.truFalHol.outputTrue.outerStatePort.localActive ($RES_SIM_179) (18) [SCAL] (1) $TEV_78 = $PRE.enaDis1.hysOutTem.y ($RES_EVT_901) (19) [SCAL] (1) $TEV_79 = $PRE.enaDis1.truFalHol.toFalse1.outPort.set ($RES_EVT_902) (20) [SCAL] (1) enaDis.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if enaDis.truFalHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_432) (21) [SCAL] (1) enaDis.truFalHol.toTrue.localCondition = $SEV_95 ($RES_SIM_433) (22) [SCAL] (1) $TEV_81 = $PRE.enaDis1.truFalHol.toTrue1.outPort.set ($RES_EVT_904) (23) [SCAL] (1) enaDis.truFalHol.toFalse.localCondition = $SEV_96 ($RES_SIM_434) (24) [SCAL] (1) $TEV_83 = $PRE.enaDis1.truFalHol.initialStep.oldActive ($RES_EVT_906) (25) [SCAL] (1) $TEV_84 = $PRE.enaDis1.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_907) (26) [SCAL] (1) enaDis.truFalHol.toFalse.outPort.set = $SEV_97 ($RES_SIM_437) (27) [SCAL] (1) $TEV_85 = $PRE.enaDis1.truFalHol.initialStep.newActive ($RES_EVT_908) (28) [SCAL] (1) $TEV_86 = $PRE.enaDis1.truFalHol.toFalse.outPort.set ($RES_EVT_909) (29) [SCAL] (1) enaDis2.truFalHol.outputTrue.outPort[1].reset = false ($RES_SIM_264) (30) [FOR-] (2) ($RES_SIM_265) (30) [----] for $i1 in 1:2 loop (30) [----] [SCAL] (1) enaDis2.truFalHol.outputTrue.inPort[$i1].set = false ($RES_SIM_266) (30) [----] end for; (31) [SCAL] (1) enaDis2.truFalHol.outputTrue.outPort[1].available = enaDis2.truFalHol.outputTrue.outerStatePort.localActive ($RES_SIM_267) (32) [FOR-] (2) ($RES_SIM_268) (32) [----] for $i1 in 1:2 loop (32) [----] [SCAL] (1) enaDis2.truFalHol.outputTrue.inPort[$i1].occupied = if $SEV_27[$i1] then enaDis2.truFalHol.outputTrue.outerStatePort.localActive else $SEV_54[$i1] ($RES_SIM_269) (32) [----] end for; (33) [SCAL] (1) enaDis1.truFalHol.outputTrue.outPort[1].reset = false ($RES_SIM_353) (34) [FOR-] (2) ($RES_SIM_354) (34) [----] for $i1 in 1:2 loop (34) [----] [SCAL] (1) enaDis1.truFalHol.outputTrue.inPort[$i1].set = false ($RES_SIM_355) (34) [----] end for; (35) [FOR-] (2) ($RES_SIM_180) (35) [----] for $i1 in 1:2 loop (35) [----] [SCAL] (1) enaDis4.truFalHol.outputTrue.inPort[$i1].occupied = if $SEV_27[$i1] then enaDis4.truFalHol.outputTrue.outerStatePort.localActive else $SEV_33[$i1] ($RES_SIM_181) (35) [----] end for; (36) [SCAL] (1) enaDis1.truFalHol.outputTrue.outPort[1].available = enaDis1.truFalHol.outputTrue.outerStatePort.localActive ($RES_SIM_356) (37) [FOR-] (2) ($RES_SIM_357) (37) [----] for $i1 in 1:2 loop (37) [----] [SCAL] (1) enaDis1.truFalHol.outputTrue.inPort[$i1].occupied = if $SEV_27[$i1] then enaDis1.truFalHol.outputTrue.outerStatePort.localActive else $SEV_76[$i1] ($RES_SIM_358) (37) [----] end for; (38) [WHEN] (1)when false then (38) [----] enaDis4.truFalHol.outputTrue.oldActive := enaDis4.truFalHol.outputTrue.outerStatePort.localActive (38) [----] end when; (39) [SCAL] (1) enaDis4.truFalHol.outputTrue.newActive = $SEV_34 ($RES_SIM_183) (40) [WHEN] (1)when false then (40) [----] enaDis1.truFalHol.outputTrue.oldActive := enaDis1.truFalHol.outputTrue.outerStatePort.localActive (40) [----] end when; (41) [SCAL] (1) enaDis4.truFalHol.outputTrue.outerStatePort.localActive = $TEV_49 ($RES_SIM_184) (42) [SCAL] (1) enaDis4.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if enaDis4.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_186) (43) [SCAL] (1) $TEV_88 = $PRE.enaDis1.truFalHol.outputTrue.oldActive ($RES_EVT_911) (44) [SCAL] (1) $TEV_89 = $PRE.enaDis1.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_912) (45) [SCAL] (1) enaDis.truFalHol.outputTrue.outPort[1].reset = false ($RES_SIM_442) (46) [SCAL] (1) $TEV_90 = $PRE.enaDis1.truFalHol.outputTrue.newActive ($RES_EVT_913) (47) [FOR-] (2) ($RES_SIM_443) (47) [----] for $i1 in 1:2 loop (47) [----] [SCAL] (1) enaDis.truFalHol.outputTrue.inPort[$i1].set = false ($RES_SIM_444) (47) [----] end for; (48) [SCAL] (1) $TEV_91 = $PRE.enaDis1.truFalHol.toTrue.outPort.set ($RES_EVT_914) (49) [SCAL] (1) enaDis.truFalHol.outputTrue.outPort[1].available = enaDis.truFalHol.outputTrue.outerStatePort.localActive ($RES_SIM_445) (50) [WHEN] (1)when false then (50) [----] enaDis2.truFalHol.outputTrue.oldActive := enaDis2.truFalHol.outputTrue.outerStatePort.localActive (50) [----] end when; (51) [SCAL] (1) $TEV_93 = $PRE.enaDis1.truFalHol.outputFalse.oldActive ($RES_EVT_916) (52) [FOR-] (2) ($RES_SIM_446) (52) [----] for $i1 in 1:2 loop (52) [----] [SCAL] (1) enaDis.truFalHol.outputTrue.inPort[$i1].occupied = if $SEV_27[$i1] then enaDis.truFalHol.outputTrue.outerStatePort.localActive else $SEV_98[$i1] ($RES_SIM_447) (52) [----] end for; (53) [SCAL] (1) enaDis2.truFalHol.outputTrue.newActive = $SEV_55 ($RES_SIM_271) (54) [SCAL] (1) $TEV_94 = $PRE.enaDis1.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_917) (55) [SCAL] (1) enaDis2.truFalHol.outputTrue.outerStatePort.localActive = $TEV_69 ($RES_SIM_272) (56) [SCAL] (1) $TEV_95 = $PRE.enaDis1.truFalHol.outputFalse.newActive ($RES_EVT_918) (57) [WHEN] (1)when false then (57) [----] enaDis.truFalHol.outputTrue.oldActive := enaDis.truFalHol.outputTrue.outerStatePort.localActive (57) [----] end when; (58) [SCAL] (1) $TEV_96 = $PRE.enaDis1.truFalHol.onDel2.t_next ($RES_EVT_919) (59) [SCAL] (1) enaDis2.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if enaDis2.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_274) (60) [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[2].available = enaDis1.truFalHol.toFalse1.inPort.available ($RES_SIM_700) (61) [SCAL] (1) enaDis.truFalHol.outputTrue.newActive = $SEV_99 ($RES_SIM_449) (62) [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[1].reset = enaDis1.truFalHol.toTrue1.outPort.set ($RES_SIM_701) (63) [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[1].available = enaDis1.truFalHol.toTrue1.inPort.available ($RES_SIM_702) (64) [SCAL] (1) enaDis1.truFalHol.toFalse1.outPort.set = enaDis1.truFalHol.outputFalse.inPort[2].set ($RES_SIM_703) (65) [SCAL] (1) enaDis2.truFalHol.toTrue.outPort.set = $SEV_56 ($RES_SIM_278) (66) [SCAL] (1) enaDis1.truFalHol.toFalse1.outPort.occupied = enaDis1.truFalHol.outputFalse.inPort[2].occupied ($RES_SIM_704) (67) [SCAL] (1) enaDis1.truFalHol.toTrue.outPort.set = enaDis1.truFalHol.outputTrue.inPort[2].set ($RES_SIM_705) (68) [SCAL] (1) enaDis1.truFalHol.toTrue.outPort.occupied = enaDis1.truFalHol.outputTrue.inPort[2].occupied ($RES_SIM_706) (69) [SCAL] (1) enaDis1.truFalHol.toTrue1.outPort.set = enaDis1.truFalHol.outputTrue.inPort[1].set ($RES_SIM_707) (70) [SCAL] (1) enaDis1.truFalHol.toTrue1.outPort.occupied = enaDis1.truFalHol.outputTrue.inPort[1].occupied ($RES_SIM_708) (71) [SCAL] (1) enaDis1.truFalHol.outputTrue.newActive = $SEV_77 ($RES_SIM_360) (72) [SCAL] (1) enaDis1.truFalHol.outputTrue.outerStatePort.localActive = $TEV_90 ($RES_SIM_361) (73) [SCAL] (1) enaDis1.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if enaDis1.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_363) (74) [SCAL] (1) enaDis4.truFalHol.toTrue.outPort.set = $SEV_35 ($RES_SIM_190) (75) [SCAL] (1) enaDis1.truFalHol.toTrue.outPort.set = $SEV_78 ($RES_SIM_367) (76) [SCAL] (1) enaDis4.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_195) (77) [FOR-] (2) ($RES_SIM_196) (77) [----] for $i1 in 1:2 loop (77) [----] [SCAL] (1) enaDis4.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_197) (77) [----] end for; (78) [SCAL] (1) enaDis4.truFalHol.outputFalse.outPort[1].available = enaDis4.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_198) (79) [SCAL] (1) $TEV_97 = $PRE.enaDis1.truFalHol.onDel1.t_next ($RES_EVT_920) (80) [FOR-] (2) ($RES_SIM_199) (80) [----] for $i1 in 1:2 loop (80) [----] [SCAL] (1) enaDis4.truFalHol.outputFalse.inPort[$i1].occupied = if $SEV_27[$i1] then enaDis4.truFalHol.outputFalse.outerStatePort.localActive else $SEV_36[$i1] ($RES_SIM_200) (80) [----] end for; (81) [SCAL] (1) enaDis.truFalHol.outputTrue.outerStatePort.localActive = $TEV_111 ($RES_SIM_450) (82) [SCAL] (1) $TEV_98 = $PRE.enaDis.hysOutEnt.y ($RES_EVT_921) (83) [SCAL] (1) $TEV_99 = $PRE.enaDis.hysOutTem.y ($RES_EVT_922) (84) [SCAL] (1) enaDis.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if enaDis.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_452) (85) [SCAL] (1) $TEV_100 = $PRE.enaDis.truFalHol.toFalse1.outPort.set ($RES_EVT_923) (86) [SCAL] (1) $TEV_102 = $PRE.enaDis.truFalHol.toTrue1.outPort.set ($RES_EVT_925) (87) [SCAL] (1) enaDis.truFalHol.toTrue.outPort.set = $SEV_100 ($RES_SIM_456) (88) [SCAL] (1) $TEV_104 = $PRE.enaDis.truFalHol.initialStep.oldActive ($RES_EVT_927) (89) [SCAL] (1) $TEV_105 = $PRE.enaDis.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_928) (90) [SCAL] (1) enaDis2.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_283) (91) [SCAL] (1) $TEV_106 = $PRE.enaDis.truFalHol.initialStep.newActive ($RES_EVT_929) (92) [FOR-] (2) ($RES_SIM_284) (92) [----] for $i1 in 1:2 loop (92) [----] [SCAL] (1) enaDis2.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_285) (92) [----] end for; (93) [SCAL] (1) enaDis2.truFalHol.outputFalse.outPort[1].available = enaDis2.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_286) (94) [FOR-] (2) ($RES_SIM_287) (94) [----] for $i1 in 1:2 loop (94) [----] [SCAL] (1) enaDis2.truFalHol.outputFalse.inPort[$i1].occupied = if $SEV_27[$i1] then enaDis2.truFalHol.outputFalse.outerStatePort.localActive else $SEV_57[$i1] ($RES_SIM_288) (94) [----] end for; (95) [WHEN] (1)when false then (95) [----] enaDis2.truFalHol.outputFalse.oldActive := enaDis2.truFalHol.outputFalse.outerStatePort.localActive (95) [----] end when; (96) [SCAL] (1) enaDis1.truFalHol.toFalse.outPort.set = enaDis1.truFalHol.outputFalse.inPort[1].set ($RES_SIM_717) (97) [SCAL] (1) enaDis1.truFalHol.toFalse.outPort.occupied = enaDis1.truFalHol.outputFalse.inPort[1].occupied ($RES_SIM_718) (98) [SCAL] (1) enaDis1.truFalHol.outputFalse.outPort[1].reset = enaDis1.truFalHol.toTrue.outPort.set ($RES_SIM_719) (99) [SCAL] (1) enaDis1.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_372) (100) [FOR-] (2) ($RES_SIM_373) (100) [----] for $i1 in 1:2 loop (100) [----] [SCAL] (1) enaDis1.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_374) (100) [----] end for; (101) [SCAL] (1) enaDis1.truFalHol.outputFalse.outPort[1].available = enaDis1.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_375) (102) [FOR-] (2) ($RES_SIM_376) (102) [----] for $i1 in 1:2 loop (102) [----] [SCAL] (1) enaDis1.truFalHol.outputFalse.inPort[$i1].occupied = if $SEV_27[$i1] then enaDis1.truFalHol.outputFalse.outerStatePort.localActive else $SEV_79[$i1] ($RES_SIM_377) (102) [----] end for; (103) [WHEN] (1)when false then (103) [----] enaDis1.truFalHol.outputFalse.oldActive := enaDis1.truFalHol.outputFalse.outerStatePort.localActive (103) [----] end when; (104) [SCAL] (1) enaDis1.truFalHol.outputFalse.newActive = $SEV_80 ($RES_SIM_379) (105) [SCAL] (1) enaDis2.truFalHol.initialStep.outPort[2].reset = enaDis2.truFalHol.toFalse1.outPort.set ($RES_SIM_631) (106) [SCAL] (1) enaDis2.truFalHol.initialStep.outPort[2].available = enaDis2.truFalHol.toFalse1.inPort.available ($RES_SIM_632) (107) [SCAL] (1) enaDis2.truFalHol.initialStep.outPort[1].reset = enaDis2.truFalHol.toTrue1.outPort.set ($RES_SIM_633) (108) [SCAL] (1) enaDis2.truFalHol.initialStep.outPort[1].available = enaDis2.truFalHol.toTrue1.inPort.available ($RES_SIM_634) (109) [SCAL] (1) $TEV_107 = $PRE.enaDis.truFalHol.toFalse.outPort.set ($RES_EVT_930) (110) [SCAL] (1) enaDis2.truFalHol.toFalse1.outPort.set = enaDis2.truFalHol.outputFalse.inPort[2].set ($RES_SIM_635) (111) [SCAL] (1) enaDis2.truFalHol.toFalse1.outPort.occupied = enaDis2.truFalHol.outputFalse.inPort[2].occupied ($RES_SIM_636) (112) [SCAL] (1) enaDis.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_461) (113) [SCAL] (1) $TEV_109 = $PRE.enaDis.truFalHol.outputTrue.oldActive ($RES_EVT_932) (114) [SCAL] (1) enaDis2.truFalHol.toTrue.outPort.set = enaDis2.truFalHol.outputTrue.inPort[2].set ($RES_SIM_637) (115) [FOR-] (2) ($RES_SIM_462) (115) [----] for $i1 in 1:2 loop (115) [----] [SCAL] (1) enaDis.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_463) (115) [----] end for; (116) [SCAL] (1) $TEV_110 = $PRE.enaDis.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_933) (117) [SCAL] (1) enaDis2.truFalHol.toTrue.outPort.occupied = enaDis2.truFalHol.outputTrue.inPort[2].occupied ($RES_SIM_638) (118) [SCAL] (1) $TEV_111 = $PRE.enaDis.truFalHol.outputTrue.newActive ($RES_EVT_934) (119) [SCAL] (1) enaDis2.truFalHol.toTrue1.outPort.set = enaDis2.truFalHol.outputTrue.inPort[1].set ($RES_SIM_639) (120) [SCAL] (1) enaDis.truFalHol.outputFalse.outPort[1].available = enaDis.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_464) (121) [SCAL] (1) $TEV_112 = $PRE.enaDis.truFalHol.toTrue.outPort.set ($RES_EVT_935) (122) [FOR-] (2) ($RES_SIM_465) (122) [----] for $i1 in 1:2 loop (122) [----] [SCAL] (1) enaDis.truFalHol.outputFalse.inPort[$i1].occupied = if $SEV_27[$i1] then enaDis.truFalHol.outputFalse.outerStatePort.localActive else $SEV_101[$i1] ($RES_SIM_466) (122) [----] end for; (123) [SCAL] (1) enaDis2.truFalHol.outputFalse.newActive = $SEV_58 ($RES_SIM_290) (124) [SCAL] (1) enaDis2.truFalHol.outputFalse.outerStatePort.localActive = $TEV_74 ($RES_SIM_291) (125) [SCAL] (1) $TEV_114 = $PRE.enaDis.truFalHol.outputFalse.oldActive ($RES_EVT_937) (126) [WHEN] (1)when false then (126) [----] enaDis.truFalHol.outputFalse.oldActive := enaDis.truFalHol.outputFalse.outerStatePort.localActive (126) [----] end when; (127) [SCAL] (1) $TEV_115 = $PRE.enaDis.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_938) (128) [SCAL] (1) enaDis.truFalHol.outputFalse.newActive = $SEV_102 ($RES_SIM_468) (129) [SCAL] (1) enaDis2.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if enaDis2.truFalHol.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_293) (130) [SCAL] (1) $TEV_116 = $PRE.enaDis.truFalHol.outputFalse.newActive ($RES_EVT_939) (131) [SCAL] (1) enaDis1.truFalHol.outputFalse.outPort[1].available = enaDis1.truFalHol.toTrue.inPort.available ($RES_SIM_720) (132) [SCAL] (1) enaDis.truFalHol.outputFalse.outerStatePort.localActive = $TEV_116 ($RES_SIM_469) (133) [SCAL] (1) enaDis1.truFalHol.outputTrue.outPort[1].reset = enaDis1.truFalHol.toFalse.outPort.set ($RES_SIM_723) (134) [SCAL] (1) enaDis2.truFalHol.stateGraphRoot.activeSteps = -integer(enaDis2.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_297) (135) [SCAL] (1) enaDis1.truFalHol.outputTrue.outPort[1].available = enaDis1.truFalHol.toFalse.inPort.available ($RES_SIM_724) (136) [WHEN] (1)when $SEV_59 then (136) [----] enaDis2.truFalHol.onDel2.y := enaDis2.truFalHol.outputTrue.outerStatePort.localActive (136) [----] else when not enaDis2.truFalHol.outputTrue.outerStatePort.localActive then (136) [----] enaDis2.truFalHol.onDel2.y := false (136) [----] else when enaDis2.truFalHol.outputTrue.outerStatePort.localActive then (136) [----] enaDis2.truFalHol.onDel2.y := not enaDis2.truFalHol.onDel2.delayTime > 0.0 (136) [----] else when initial() then (136) [----] enaDis2.truFalHol.onDel2.y := if not (enaDis2.truFalHol.onDel2.delayOnInit and enaDis2.truFalHol.onDel2.delayTime > 0.0) then enaDis2.truFalHol.outputTrue.outerStatePort.localActive else false (136) [----] end when; (137) [WHEN] (1)when $SEV_59 then (137) [----] enaDis2.truFalHol.onDel2.t_next := enaDis2.truFalHol.onDel2.t_past (137) [----] else when not enaDis2.truFalHol.outputTrue.outerStatePort.localActive then (137) [----] enaDis2.truFalHol.onDel2.t_next := enaDis2.truFalHol.onDel2.t_past (137) [----] else when enaDis2.truFalHol.outputTrue.outerStatePort.localActive then (137) [----] enaDis2.truFalHol.onDel2.t_next := time + enaDis2.truFalHol.onDel2.delayTime (137) [----] else when initial() then (137) [----] enaDis2.truFalHol.onDel2.t_next := if not enaDis2.truFalHol.onDel2.delayOnInit then enaDis2.truFalHol.onDel2.t_past else time + enaDis2.truFalHol.onDel2.delayTime (137) [----] end when; (138) [SCAL] (1) enaDis1.truFalHol.outputFalse.outerStatePort.localActive = $TEV_95 ($RES_SIM_380) (139) [SCAL] (1) enaDis1.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if enaDis1.truFalHol.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_382) (140) [SCAL] (1) enaDis1.truFalHol.stateGraphRoot.activeSteps = -integer(enaDis1.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_386) (141) [WHEN] (1)when $SEV_81 then (141) [----] enaDis1.truFalHol.onDel2.t_next := enaDis1.truFalHol.onDel2.t_past (141) [----] else when not enaDis1.truFalHol.outputTrue.outerStatePort.localActive then (141) [----] enaDis1.truFalHol.onDel2.t_next := enaDis1.truFalHol.onDel2.t_past (141) [----] else when enaDis1.truFalHol.outputTrue.outerStatePort.localActive then (141) [----] enaDis1.truFalHol.onDel2.t_next := time + enaDis1.truFalHol.onDel2.delayTime (141) [----] else when initial() then (141) [----] enaDis1.truFalHol.onDel2.t_next := if not enaDis1.truFalHol.onDel2.delayOnInit then enaDis1.truFalHol.onDel2.t_past else time + enaDis1.truFalHol.onDel2.delayTime (141) [----] end when; (142) [WHEN] (1)when $SEV_81 then (142) [----] enaDis1.truFalHol.onDel2.y := enaDis1.truFalHol.outputTrue.outerStatePort.localActive (142) [----] else when not enaDis1.truFalHol.outputTrue.outerStatePort.localActive then (142) [----] enaDis1.truFalHol.onDel2.y := false (142) [----] else when enaDis1.truFalHol.outputTrue.outerStatePort.localActive then (142) [----] enaDis1.truFalHol.onDel2.y := not enaDis1.truFalHol.onDel2.delayTime > 0.0 (142) [----] else when initial() then (142) [----] enaDis1.truFalHol.onDel2.y := if not (enaDis1.truFalHol.onDel2.delayOnInit and enaDis1.truFalHol.onDel2.delayTime > 0.0) then enaDis1.truFalHol.outputTrue.outerStatePort.localActive else false (142) [----] end when; (143) [SCAL] (1) $TEV_36 = $PRE.enaDis4.hysCutTem.y ($RES_EVT_859) (144) [SCAL] (1) enaDis2.truFalHol.toTrue1.outPort.occupied = enaDis2.truFalHol.outputTrue.inPort[1].occupied ($RES_SIM_640) (145) [WHEN] (1)when $SEV_82 then (145) [----] enaDis1.truFalHol.onDel1.y := enaDis1.truFalHol.outputFalse.outerStatePort.localActive (145) [----] else when not enaDis1.truFalHol.outputFalse.outerStatePort.localActive then (145) [----] enaDis1.truFalHol.onDel1.y := false (145) [----] else when enaDis1.truFalHol.outputFalse.outerStatePort.localActive then (145) [----] enaDis1.truFalHol.onDel1.y := not enaDis1.truFalHol.onDel1.delayTime > 0.0 (145) [----] else when initial() then (145) [----] enaDis1.truFalHol.onDel1.y := if not (enaDis1.truFalHol.onDel1.delayOnInit and enaDis1.truFalHol.onDel1.delayTime > 0.0) then enaDis1.truFalHol.outputFalse.outerStatePort.localActive else false (145) [----] end when; (146) [SCAL] (1) $TEV_117 = $PRE.enaDis.truFalHol.onDel2.t_next ($RES_EVT_940) (147) [SCAL] (1) $TEV_118 = $PRE.enaDis.truFalHol.onDel1.t_next ($RES_EVT_941) (148) [SCAL] (1) enaDis.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if enaDis.truFalHol.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_471) (149) [SCAL] (1) $TEV_119 = sample(7, booPul2.t1, booPul2.period) ($RES_EVT_942) (150) [SCAL] (1) $TEV_120 = sample(8, booPul2.t0, booPul2.period) ($RES_EVT_943) (151) [SCAL] (1) $TEV_121 = sample(9, booPul1.t1, booPul1.period) ($RES_EVT_944) (152) [SCAL] (1) enaDis2.truFalHol.toFalse.outPort.set = enaDis2.truFalHol.outputFalse.inPort[1].set ($RES_SIM_649) (153) [SCAL] (1) $TEV_122 = sample(10, booPul1.t0, booPul1.period) ($RES_EVT_945) (154) [SCAL] (1) enaDis.truFalHol.stateGraphRoot.activeSteps = -integer(enaDis.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_475) (155) [SCAL] (1) $TEV_123 = sample(11, booPul.t1, booPul.period) ($RES_EVT_946) (156) [WHEN] (1)when $SEV_103 then (156) [----] enaDis.truFalHol.onDel2.t_next := enaDis.truFalHol.onDel2.t_past (156) [----] else when not enaDis.truFalHol.outputTrue.outerStatePort.localActive then (156) [----] enaDis.truFalHol.onDel2.t_next := enaDis.truFalHol.onDel2.t_past (156) [----] else when enaDis.truFalHol.outputTrue.outerStatePort.localActive then (156) [----] enaDis.truFalHol.onDel2.t_next := time + enaDis.truFalHol.onDel2.delayTime (156) [----] else when initial() then (156) [----] enaDis.truFalHol.onDel2.t_next := if not enaDis.truFalHol.onDel2.delayOnInit then enaDis.truFalHol.onDel2.t_past else time + enaDis.truFalHol.onDel2.delayTime (156) [----] end when; (157) [SCAL] (1) $TEV_124 = sample(12, booPul.t0, booPul.period) ($RES_EVT_947) (158) [WHEN] (1)when $SEV_103 then (158) [----] enaDis.truFalHol.onDel2.y := enaDis.truFalHol.outputTrue.outerStatePort.localActive (158) [----] else when not enaDis.truFalHol.outputTrue.outerStatePort.localActive then (158) [----] enaDis.truFalHol.onDel2.y := false (158) [----] else when enaDis.truFalHol.outputTrue.outerStatePort.localActive then (158) [----] enaDis.truFalHol.onDel2.y := not enaDis.truFalHol.onDel2.delayTime > 0.0 (158) [----] else when initial() then (158) [----] enaDis.truFalHol.onDel2.y := if not (enaDis.truFalHol.onDel2.delayOnInit and enaDis.truFalHol.onDel2.delayTime > 0.0) then enaDis.truFalHol.outputTrue.outerStatePort.localActive else false (158) [----] end when; (159) [WHEN] (1)when $SEV_104 then (159) [----] enaDis.truFalHol.onDel1.y := enaDis.truFalHol.outputFalse.outerStatePort.localActive (159) [----] else when not enaDis.truFalHol.outputFalse.outerStatePort.localActive then (159) [----] enaDis.truFalHol.onDel1.y := false (159) [----] else when enaDis.truFalHol.outputFalse.outerStatePort.localActive then (159) [----] enaDis.truFalHol.onDel1.y := not enaDis.truFalHol.onDel1.delayTime > 0.0 (159) [----] else when initial() then (159) [----] enaDis.truFalHol.onDel1.y := if not (enaDis.truFalHol.onDel1.delayOnInit and enaDis.truFalHol.onDel1.delayTime > 0.0) then enaDis.truFalHol.outputFalse.outerStatePort.localActive else false (159) [----] end when; (160) [WHEN] (1)when $SEV_104 then (160) [----] enaDis.truFalHol.onDel1.t_next := enaDis.truFalHol.onDel1.t_past (160) [----] else when not enaDis.truFalHol.outputFalse.outerStatePort.localActive then (160) [----] enaDis.truFalHol.onDel1.t_next := enaDis.truFalHol.onDel1.t_past (160) [----] else when enaDis.truFalHol.outputFalse.outerStatePort.localActive then (160) [----] enaDis.truFalHol.onDel1.t_next := time + enaDis.truFalHol.onDel1.delayTime (160) [----] else when initial() then (160) [----] enaDis.truFalHol.onDel1.t_next := if not enaDis.truFalHol.onDel1.delayOnInit then enaDis.truFalHol.onDel1.t_past else time + enaDis.truFalHol.onDel1.delayTime (160) [----] end when; (161) [SCAL] (1) $TEV_37 = $PRE.enaDis4.nor1.u1 ($RES_EVT_860) (162) [WHEN] (1)when $SEV_82 then (162) [----] enaDis1.truFalHol.onDel1.t_next := enaDis1.truFalHol.onDel1.t_past (162) [----] else when not enaDis1.truFalHol.outputFalse.outerStatePort.localActive then (162) [----] enaDis1.truFalHol.onDel1.t_next := enaDis1.truFalHol.onDel1.t_past (162) [----] else when enaDis1.truFalHol.outputFalse.outerStatePort.localActive then (162) [----] enaDis1.truFalHol.onDel1.t_next := time + enaDis1.truFalHol.onDel1.delayTime (162) [----] else when initial() then (162) [----] enaDis1.truFalHol.onDel1.t_next := if not enaDis1.truFalHol.onDel1.delayOnInit then enaDis1.truFalHol.onDel1.t_past else time + enaDis1.truFalHol.onDel1.delayTime (162) [----] end when; (163) [SCAL] (1) $TEV_38 = $PRE.enaDis4.truFalHol.toFalse1.outPort.set ($RES_EVT_861) (164) [SCAL] (1) enaDis4.truFalHol.initialStep.outPort[2].reset = enaDis4.truFalHol.toFalse1.outPort.set ($RES_SIM_566) (165) [SCAL] (1) enaDis1.andEnaDis.y = $SEV_83 ($RES_SIM_391) (166) [SCAL] (1) enaDis4.truFalHol.initialStep.outPort[2].available = enaDis4.truFalHol.toFalse1.inPort.available ($RES_SIM_567) (167) [SCAL] (1) $TEV_40 = $PRE.enaDis4.truFalHol.toTrue1.outPort.set ($RES_EVT_863) (168) [SCAL] (1) enaDis4.truFalHol.initialStep.outPort[1].reset = enaDis4.truFalHol.toTrue1.outPort.set ($RES_SIM_568) (169) [SCAL] (1) enaDis4.truFalHol.initialStep.outPort[1].available = enaDis4.truFalHol.toTrue1.inPort.available ($RES_SIM_569) (170) [SCAL] (1) enaDis.intEqu1.y = $SEV_84 ($RES_SIM_394) (171) [SCAL] (1) $TEV_42 = $PRE.enaDis4.truFalHol.initialStep.oldActive ($RES_EVT_865) (172) [SCAL] (1) $TEV_43 = $PRE.enaDis4.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_866) (173) [SCAL] (1) enaDis.intEqu.y = $SEV_85 ($RES_SIM_396) (174) [SCAL] (1) $TEV_44 = $PRE.enaDis4.truFalHol.initialStep.newActive ($RES_EVT_867) (175) [SCAL] (1) $TEV_45 = $PRE.enaDis4.truFalHol.toFalse.outPort.set ($RES_EVT_868) (176) [SCAL] (1) enaDis.and1.y = $SEV_86 ($RES_SIM_398) (177) [SCAL] (1) enaDis2.truFalHol.toFalse.outPort.occupied = enaDis2.truFalHol.outputFalse.inPort[1].occupied ($RES_SIM_650) (178) [SCAL] (1) enaDis2.truFalHol.outputFalse.outPort[1].reset = enaDis2.truFalHol.toTrue.outPort.set ($RES_SIM_651) (179) [SCAL] (1) enaDis2.truFalHol.outputFalse.outPort[1].available = enaDis2.truFalHol.toTrue.inPort.available ($RES_SIM_652) (180) [SCAL] (1) enaDis2.truFalHol.outputTrue.outPort[1].reset = enaDis2.truFalHol.toFalse.outPort.set ($RES_SIM_655) (181) [SCAL] (1) enaDis.andEnaDis.y = $SEV_105 ($RES_SIM_480) (182) [SCAL] (1) enaDis2.truFalHol.outputTrue.outPort[1].available = enaDis2.truFalHol.toFalse.inPort.available ($RES_SIM_656) (183) [WHEN] (1)when {initial(), booPul1.y, not booPul1.y} then (183) [----] hOut.endValue := if booPul1.y then hOut.offset + hOut.amplitude else hOut.offset (183) [----] end when; (184) [WHEN] (1)when {initial(), booPul1.y, not booPul1.y} then (184) [----] hOut.rate := if booPul1.y and hOut.rising > 0.0 then hOut.amplitude / hOut.rising else if not booPul1.y and hOut.falling > 0.0 then -hOut.amplitude / hOut.falling else 0.0 (184) [----] end when; (185) [WHEN] (1)when {initial(), booPul1.y, not booPul1.y} then (185) [----] hOut.T := if ((booPul1.y and not hOut.rising > 0.0 or not booPul1.y and not hOut.falling > 0.0) or not abs(hOut.amplitude) > 0.0) or initial() then time else time + (hOut.endValue - $PRE.hOut.y) / hOut.rate (185) [----] end when; (186) [SCAL] (1) hOut.y = if $SEV_106 then hOut.endValue - (hOut.T - time) * hOut.rate else hOut.endValue ($RES_SIM_484) (187) [SCAL] (1) $SEV_16 = time < TRet.T ($RES_EVT_955) (188) [WHEN] (1)when {initial(), booPul.y, not booPul.y} then (188) [----] TOut.rate := if booPul.y and TOut.rising > 0.0 then TOut.amplitude / TOut.rising else if not booPul.y and TOut.falling > 0.0 then -TOut.amplitude / TOut.falling else 0.0 (188) [----] end when; (189) [SCAL] (1) $SEV_17 = enaDis4.nor1.u1 or enaDis4.hysCutTem.y ($RES_EVT_956) (190) [WHEN] (1)when {initial(), booPul.y, not booPul.y} then (190) [----] TOut.T := if ((booPul.y and not TOut.rising > 0.0 or not booPul.y and not TOut.falling > 0.0) or not abs(TOut.amplitude) > 0.0) or initial() then time else time + (TOut.endValue - $PRE.enaDis.TOut) / TOut.rate (190) [----] end when; (191) [SCAL] (1) $SEV_18 = not $PRE.enaDis4.hysCutTem.y and enaDis4.sub3.y > enaDis4.hysCutTem.uHigh or $PRE.enaDis4.hysCutTem.y and enaDis4.sub3.y >= enaDis4.hysCutTem.uLow ($RES_EVT_957) (192) [WHEN] (1)when {initial(), booPul.y, not booPul.y} then (192) [----] TOut.endValue := if booPul.y then TOut.offset + TOut.amplitude else TOut.offset (192) [----] end when; (193) [SCAL] (1) $SEV_19 = zoneState.k == enaDis4.conInt1.k ($RES_EVT_958) (194) [SCAL] (1) enaDis.TOut = if $SEV_107 then TOut.endValue - (TOut.T - time) * TOut.rate else TOut.endValue ($RES_SIM_488) (195) [SCAL] (1) $SEV_20 = freProSta.k == enaDis4.conInt.k ($RES_EVT_959) (196) [SCAL] (1) enaDis4.truFalHol.toFalse1.outPort.set = enaDis4.truFalHol.outputFalse.inPort[2].set ($RES_SIM_570) (197) [SCAL] (1) enaDis4.truFalHol.toFalse1.outPort.occupied = enaDis4.truFalHol.outputFalse.inPort[2].occupied ($RES_SIM_571) (198) [SCAL] (1) enaDis4.truFalHol.toTrue.outPort.set = enaDis4.truFalHol.outputTrue.inPort[2].set ($RES_SIM_572) (199) [SCAL] (1) enaDis4.truFalHol.toTrue.outPort.occupied = enaDis4.truFalHol.outputTrue.inPort[2].occupied ($RES_SIM_573) (200) [SCAL] (1) enaDis4.truFalHol.toTrue1.outPort.set = enaDis4.truFalHol.outputTrue.inPort[1].set ($RES_SIM_574) (201) [SCAL] (1) $TEV_47 = $PRE.enaDis4.truFalHol.outputTrue.oldActive ($RES_EVT_870) (202) [SCAL] (1) enaDis4.truFalHol.toTrue1.outPort.occupied = enaDis4.truFalHol.outputTrue.inPort[1].occupied ($RES_SIM_575) (203) [SCAL] (1) $TEV_48 = $PRE.enaDis4.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_871) (204) [SCAL] (1) $TEV_49 = $PRE.enaDis4.truFalHol.outputTrue.newActive ($RES_EVT_872) (205) [SCAL] (1) $TEV_50 = $PRE.enaDis4.truFalHol.toTrue.outPort.set ($RES_EVT_873) (206) [SCAL] (1) $TEV_52 = $PRE.enaDis4.truFalHol.outputFalse.oldActive ($RES_EVT_875) (207) [SCAL] (1) $TEV_53 = $PRE.enaDis4.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_876) (208) [SCAL] (1) $TEV_54 = $PRE.enaDis4.truFalHol.outputFalse.newActive ($RES_EVT_877) (209) [SCAL] (1) $TEV_55 = $PRE.enaDis4.truFalHol.onDel2.t_next ($RES_EVT_878) (210) [SCAL] (1) $TEV_56 = $PRE.enaDis4.truFalHol.onDel1.t_next ($RES_EVT_879) (211) [SCAL] (1) $SEV_21 = enaDis4.truFalHol.outputTrue.outerStatePort.localActive and supFanSta.k ($RES_EVT_960) (212) [SCAL] (1) $SEV_22 = enaDis4.nor1.u1 or enaDis4.entSubst.k ($RES_EVT_961) (213) [SCAL] (1) enaDis4.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps + enaDis4.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps + enaDis4.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps + enaDis4.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_491) (214) [SCAL] (1) $SEV_23 = not $PRE.enaDis4.nor1.u1 and enaDis4.sub1.y > enaDis4.hysOutTem.uHigh or $PRE.enaDis4.nor1.u1 and enaDis4.sub1.y >= enaDis4.hysOutTem.uLow ($RES_EVT_962) (215) [SCAL] (1) enaDis2.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps + enaDis2.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps + enaDis2.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps + enaDis2.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_492) (216) [SCAL] (1) $SEV_24 = enaDis4.nor2.y and enaDis4.nor1.y or not enaDis4.nor2.y and not enaDis4.nor1.y ($RES_EVT_963) (217) [SCAL] (1) enaDis1.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps + enaDis1.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps + enaDis1.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps + enaDis1.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_493) (218) [SCAL] (1) $SEV_25 = (not enaDis4.truFalHol.toTrue1.localCondition and enaDis4.truFalHol.toFalse1.inPort.available) and not enaDis4.truFalHol.toFalse1.outPort.occupied ($RES_EVT_964) (219) [SCAL] (1) enaDis.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps + enaDis.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps + enaDis.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps + enaDis.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_494) (220) [SCAL] (1) $SEV_26 = (enaDis4.truFalHol.toTrue1.localCondition and enaDis4.truFalHol.toTrue1.inPort.available) and not enaDis4.truFalHol.toTrue1.outPort.occupied ($RES_EVT_965) (221) [FOR-] (2) ($RES_EVT_966) (221) [----] for $i1 in 1:2 loop (221) [----] [SCAL] (1) $SEV_27[$i1] = $i1 == 1 ($RES_EVT_967) (221) [----] end for; (222) [FOR-] (2) ($RES_EVT_968) (222) [----] for $i1 in 1:2 loop (222) [----] [SCAL] (1) $SEV_28[$i1] = enaDis4.truFalHol.initialStep.outPort[$i1 - 1].available and not enaDis4.truFalHol.initialStep.outPort[$i1 - 1].reset ($RES_EVT_969) (222) [----] end for; (223) [SCAL] (1) enaDis4.truFalHol.toFalse.outPort.set = enaDis4.truFalHol.outputFalse.inPort[1].set ($RES_SIM_584) (224) [SCAL] (1) $TEV_57 = $PRE.enaDis2.hysOutTem.y ($RES_EVT_880) (225) [SCAL] (1) enaDis4.truFalHol.toFalse.outPort.occupied = enaDis4.truFalHol.outputFalse.inPort[1].occupied ($RES_SIM_585) (226) [SCAL] (1) $TEV_58 = $PRE.enaDis2.truFalHol.toFalse1.outPort.set ($RES_EVT_881) (227) [SCAL] (1) enaDis4.truFalHol.outputFalse.outPort[1].reset = enaDis4.truFalHol.toTrue.outPort.set ($RES_SIM_586) (228) [SCAL] (1) enaDis4.truFalHol.outputFalse.outPort[1].available = enaDis4.truFalHol.toTrue.inPort.available ($RES_SIM_587) (229) [SCAL] (1) $TEV_60 = $PRE.enaDis2.truFalHol.toTrue1.outPort.set ($RES_EVT_883) (230) [SCAL] (1) $TEV_62 = $PRE.enaDis2.truFalHol.initialStep.oldActive ($RES_EVT_885) (231) [SCAL] (1) $TEV_63 = $PRE.enaDis2.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_886) (232) [SCAL] (1) $TEV_64 = $PRE.enaDis2.truFalHol.initialStep.newActive ($RES_EVT_887) (233) [SCAL] (1) $TEV_65 = $PRE.enaDis2.truFalHol.toFalse.outPort.set ($RES_EVT_888) (234) [SCAL] (1) $SEV_29 = enaDis4.truFalHol.initialStep.outerStatePort.localActive and not $FUN_21 ($RES_EVT_970) (235) [SCAL] (1) $SEV_30 = enaDis4.truFalHol.onDel1.y and enaDis4.truFalHol.toTrue1.localCondition ($RES_EVT_971) (236) [SCAL] (1) $SEV_31 = enaDis4.truFalHol.onDel2.y and not enaDis4.truFalHol.toTrue1.localCondition ($RES_EVT_972) (237) [SCAL] (1) $SEV_32 = (enaDis4.truFalHol.toFalse.localCondition and enaDis4.truFalHol.toFalse.inPort.available) and not enaDis4.truFalHol.toFalse.outPort.occupied ($RES_EVT_973) (238) [FOR-] (2) ($RES_EVT_974) (238) [----] for $i1 in 1:2 loop (238) [----] [SCAL] (1) $SEV_33[$i1] = enaDis4.truFalHol.outputTrue.inPort[$i1 - 1].occupied or enaDis4.truFalHol.outputTrue.inPort[$i1 - 1].set ($RES_EVT_975) (238) [----] end for; (239) [SCAL] (1) $FUN_1 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.outputFalse.inPort.set) ($RES_$AUX_858) (240) [SCAL] (1) $SEV_34 = $FUN_19 or enaDis4.truFalHol.outputTrue.outerStatePort.localActive and not $FUN_20 ($RES_EVT_976) (241) [SCAL] (1) $FUN_2 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.outputFalse.outPort.reset) ($RES_$AUX_857) (242) [SCAL] (1) $SEV_35 = (enaDis4.truFalHol.toTrue.localCondition and enaDis4.truFalHol.toTrue.inPort.available) and not enaDis4.truFalHol.toTrue.outPort.occupied ($RES_EVT_977) (243) [SCAL] (1) $FUN_3 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.outputTrue.inPort.set) ($RES_$AUX_856) (244) [FOR-] (2) ($RES_EVT_978) (244) [----] for $i1 in 1:2 loop (244) [----] [SCAL] (1) $SEV_36[$i1] = enaDis4.truFalHol.outputFalse.inPort[$i1 - 1].occupied or enaDis4.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_979) (244) [----] end for; (245) [SCAL] (1) $FUN_4 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.outputTrue.outPort.reset) ($RES_$AUX_855) (246) [SCAL] (1) $FUN_6 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.initialStep.outPort.reset) ($RES_$AUX_853) (247) [SCAL] (1) $FUN_7 = Modelica.Math.BooleanVectors.anyTrue(enaDis1.truFalHol.outputFalse.inPort.set) ($RES_$AUX_852) (248) [SCAL] (1) $FUN_8 = Modelica.Math.BooleanVectors.anyTrue(enaDis1.truFalHol.outputFalse.outPort.reset) ($RES_$AUX_851) (249) [SCAL] (1) $FUN_9 = Modelica.Math.BooleanVectors.anyTrue(enaDis1.truFalHol.outputTrue.inPort.set) ($RES_$AUX_850) (250) [SCAL] (1) enaDis4.truFalHol.outputTrue.outPort[1].reset = enaDis4.truFalHol.toFalse.outPort.set ($RES_SIM_590) (251) [SCAL] (1) enaDis4.truFalHol.outputTrue.outPort[1].available = enaDis4.truFalHol.toFalse.inPort.available ($RES_SIM_591) (252) [SCAL] (1) enaDis.truFalHol.initialStep.outPort[2].reset = enaDis.truFalHol.toFalse1.outPort.set ($RES_SIM_767) (253) [SCAL] (1) enaDis.truFalHol.initialStep.outPort[2].available = enaDis.truFalHol.toFalse1.inPort.available ($RES_SIM_768) (254) [SCAL] (1) enaDis.truFalHol.initialStep.outPort[1].reset = enaDis.truFalHol.toTrue1.outPort.set ($RES_SIM_769) (255) [SCAL] (1) $TEV_67 = $PRE.enaDis2.truFalHol.outputTrue.oldActive ($RES_EVT_890) (256) [SCAL] (1) $TEV_68 = $PRE.enaDis2.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_891) (257) [SCAL] (1) $TEV_69 = $PRE.enaDis2.truFalHol.outputTrue.newActive ($RES_EVT_892) (258) [SCAL] (1) $TEV_70 = $PRE.enaDis2.truFalHol.toTrue.outPort.set ($RES_EVT_893) (259) [SCAL] (1) $TEV_72 = $PRE.enaDis2.truFalHol.outputFalse.oldActive ($RES_EVT_895) (260) [SCAL] (1) $TEV_73 = $PRE.enaDis2.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_896) (261) [SCAL] (1) $TEV_74 = $PRE.enaDis2.truFalHol.outputFalse.newActive ($RES_EVT_897) (262) [SCAL] (1) $TEV_75 = $PRE.enaDis2.truFalHol.onDel2.t_next ($RES_EVT_898) (263) [SCAL] (1) $TEV_76 = $PRE.enaDis2.truFalHol.onDel1.t_next ($RES_EVT_899) (264) [SCAL] (1) $SEV_37 = $FUN_17 or enaDis4.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_18 ($RES_EVT_980) (265) [SCAL] (1) $SEV_38 = time >= $PRE.enaDis4.truFalHol.onDel2.t_next ($RES_EVT_981) (266) [SCAL] (1) $SEV_39 = time >= $PRE.enaDis4.truFalHol.onDel1.t_next ($RES_EVT_982) (267) [SCAL] (1) $SEV_40 = (enaDis4.and1.y and enaDis4.intEqu.y) and not enaDis4.intEqu1.y ($RES_EVT_983) (268) [SCAL] (1) $SEV_41 = zoneState.k == enaDis2.conInt1.k ($RES_EVT_984) (269) [SCAL] (1) $FUN_10 = Modelica.Math.BooleanVectors.anyTrue(enaDis1.truFalHol.outputTrue.outPort.reset) ($RES_$AUX_849) (270) [SCAL] (1) $SEV_42 = freProSta.k == enaDis2.conInt.k ($RES_EVT_985) (271) [SCAL] (1) $FUN_11 = Modelica.Math.BooleanVectors.anyTrue(enaDis1.truFalHol.initialStep.outPort.reset) ($RES_$AUX_848) (272) [SCAL] (1) $SEV_43 = enaDis2.truFalHol.outputTrue.outerStatePort.localActive and supFanSta.k ($RES_EVT_986) (273) [SCAL] (1) $FUN_12 = Modelica.Math.BooleanVectors.anyTrue(enaDis2.truFalHol.outputFalse.inPort.set) ($RES_$AUX_847) (274) [SCAL] (1) $SEV_44 = enaDis2.hysOutTem.y or enaDis2.entSubst.k ($RES_EVT_987) (275) [SCAL] (1) $FUN_13 = Modelica.Math.BooleanVectors.anyTrue(enaDis2.truFalHol.outputFalse.outPort.reset) ($RES_$AUX_846) (276) [SCAL] (1) $SEV_45 = not $PRE.enaDis2.hysOutTem.y and enaDis2.sub1.y > enaDis2.hysOutTem.uHigh or $PRE.enaDis2.hysOutTem.y and enaDis2.sub1.y >= enaDis2.hysOutTem.uLow ($RES_EVT_988) (277) [SCAL] (1) $FUN_14 = Modelica.Math.BooleanVectors.anyTrue(enaDis2.truFalHol.outputTrue.inPort.set) ($RES_$AUX_845) (278) [SCAL] (1) $SEV_46 = enaDis2.entSubst1.k and enaDis2.nor1.y or not enaDis2.entSubst1.k and not enaDis2.nor1.y ($RES_EVT_989) (279) [SCAL] (1) enaDis.truFalHol.initialStep.outPort[1].available = enaDis.truFalHol.toTrue1.inPort.available ($RES_SIM_770) (280) [SCAL] (1) $FUN_15 = Modelica.Math.BooleanVectors.anyTrue(enaDis2.truFalHol.outputTrue.outPort.reset) ($RES_$AUX_844) (281) [SCAL] (1) enaDis.truFalHol.toFalse1.outPort.set = enaDis.truFalHol.outputFalse.inPort[2].set ($RES_SIM_771) (282) [SCAL] (1) $FUN_16 = Modelica.Math.BooleanVectors.anyTrue(enaDis2.truFalHol.initialStep.outPort.reset) ($RES_$AUX_843) (283) [SCAL] (1) enaDis.truFalHol.toFalse1.outPort.occupied = enaDis.truFalHol.outputFalse.inPort[2].occupied ($RES_SIM_772) (284) [SCAL] (1) $FUN_17 = Modelica.Math.BooleanVectors.anyTrue(enaDis4.truFalHol.outputFalse.inPort.set) ($RES_$AUX_842) (285) [SCAL] (1) enaDis.truFalHol.toTrue.outPort.set = enaDis.truFalHol.outputTrue.inPort[2].set ($RES_SIM_773) (286) [SCAL] (1) $FUN_18 = Modelica.Math.BooleanVectors.anyTrue(enaDis4.truFalHol.outputFalse.outPort.reset) ($RES_$AUX_841) (287) [SCAL] (1) enaDis.truFalHol.toTrue.outPort.occupied = enaDis.truFalHol.outputTrue.inPort[2].occupied ($RES_SIM_774) (288) [SCAL] (1) $FUN_19 = Modelica.Math.BooleanVectors.anyTrue(enaDis4.truFalHol.outputTrue.inPort.set) ($RES_$AUX_840) (289) [SCAL] (1) enaDis.truFalHol.toTrue1.outPort.set = enaDis.truFalHol.outputTrue.inPort[1].set ($RES_SIM_775) (290) [SCAL] (1) enaDis.truFalHol.toTrue1.outPort.occupied = enaDis.truFalHol.outputTrue.inPort[1].occupied ($RES_SIM_776) (291) [WHEN] (1)when $TEV_119 then (291) [----] booPul2.y := false (291) [----] else when $TEV_120 then (291) [----] booPul2.y := true (291) [----] end when; (292) [SCAL] (1) $SEV_107 = time < TOut.T ($RES_EVT_1059) (293) [SCAL] (1) $SEV_106 = time < hOut.T ($RES_EVT_1058) (294) [SCAL] (1) $SEV_105 = (enaDis.and1.y and enaDis.intEqu.y) and not enaDis.intEqu1.y ($RES_EVT_1057) (295) [SCAL] (1) $SEV_104 = time >= $PRE.enaDis.truFalHol.onDel1.t_next ($RES_EVT_1056) (296) [SCAL] (1) $SEV_103 = time >= $PRE.enaDis.truFalHol.onDel2.t_next ($RES_EVT_1055) (297) [SCAL] (1) $SEV_102 = $FUN_1 or enaDis.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_2 ($RES_EVT_1054) (298) [SCAL] (1) $SEV_47 = (not enaDis2.truFalHol.toTrue1.localCondition and enaDis2.truFalHol.toFalse1.inPort.available) and not enaDis2.truFalHol.toFalse1.outPort.occupied ($RES_EVT_990) (299) [FOR-] (2) ($RES_EVT_1052) (299) [----] for $i1 in 1:2 loop (299) [----] [SCAL] (1) $SEV_101[$i1] = enaDis.truFalHol.outputFalse.inPort[$i1 - 1].occupied or enaDis.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_1053) (299) [----] end for; (300) [SCAL] (1) $SEV_48 = (enaDis2.truFalHol.toTrue1.localCondition and enaDis2.truFalHol.toTrue1.inPort.available) and not enaDis2.truFalHol.toTrue1.outPort.occupied ($RES_EVT_991) (301) [SCAL] (1) $SEV_100 = (enaDis.truFalHol.toTrue.localCondition and enaDis.truFalHol.toTrue.inPort.available) and not enaDis.truFalHol.toTrue.outPort.occupied ($RES_EVT_1051) (302) [FOR-] (2) ($RES_EVT_992) (302) [----] for $i1 in 1:2 loop (302) [----] [SCAL] (1) $SEV_49[$i1] = enaDis2.truFalHol.initialStep.outPort[$i1 - 1].available and not enaDis2.truFalHol.initialStep.outPort[$i1 - 1].reset ($RES_EVT_993) (302) [----] end for; (303) [SCAL] (1) $SEV_99 = $FUN_3 or enaDis.truFalHol.outputTrue.outerStatePort.localActive and not $FUN_4 ($RES_EVT_1050) (304) [SCAL] (1) $SEV_50 = enaDis2.truFalHol.initialStep.outerStatePort.localActive and not $FUN_16 ($RES_EVT_994) (305) [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[2].reset = enaDis1.truFalHol.toFalse1.outPort.set ($RES_SIM_699) (306) [SCAL] (1) $FUN_20 = Modelica.Math.BooleanVectors.anyTrue(enaDis4.truFalHol.outputTrue.outPort.reset) ($RES_$AUX_839) (307) [SCAL] (1) $SEV_51 = enaDis2.truFalHol.onDel1.y and enaDis2.truFalHol.toTrue1.localCondition ($RES_EVT_995) (308) [SCAL] (1) $FUN_21 = Modelica.Math.BooleanVectors.anyTrue(enaDis4.truFalHol.initialStep.outPort.reset) ($RES_$AUX_838) (309) [SCAL] (1) $SEV_52 = enaDis2.truFalHol.onDel2.y and not enaDis2.truFalHol.toTrue1.localCondition ($RES_EVT_996) (310) [SCAL] (1) $SEV_53 = (enaDis2.truFalHol.toFalse.localCondition and enaDis2.truFalHol.toFalse.inPort.available) and not enaDis2.truFalHol.toFalse.outPort.occupied ($RES_EVT_997) (311) [FOR-] (2) ($RES_EVT_998) (311) [----] for $i1 in 1:2 loop (311) [----] [SCAL] (1) $SEV_54[$i1] = enaDis2.truFalHol.outputTrue.inPort[$i1 - 1].occupied or enaDis2.truFalHol.outputTrue.inPort[$i1 - 1].set ($RES_EVT_999) (311) [----] end for; (312) [SCAL] (1) enaDis.truFalHol.toFalse.outPort.set = enaDis.truFalHol.outputFalse.inPort[1].set ($RES_SIM_785) (313) [SCAL] (1) enaDis.truFalHol.toFalse.outPort.occupied = enaDis.truFalHol.outputFalse.inPort[1].occupied ($RES_SIM_786) (314) [SCAL] (1) enaDis.truFalHol.outputFalse.outPort[1].reset = enaDis.truFalHol.toTrue.outPort.set ($RES_SIM_787) (315) [SCAL] (1) enaDis.truFalHol.outputFalse.outPort[1].available = enaDis.truFalHol.toTrue.inPort.available ($RES_SIM_788) (316) [WHEN] (1)when $TEV_121 then (316) [----] booPul1.y := false (316) [----] else when $TEV_122 then (316) [----] booPul1.y := true (316) [----] end when; (317) [WHEN] (1)when $TEV_123 then (317) [----] booPul.y := false (317) [----] else when $TEV_124 then (317) [----] booPul.y := true (317) [----] end when; (318) [FOR-] (2) ($RES_EVT_1048) (318) [----] for $i1 in 1:2 loop (318) [----] [SCAL] (1) $SEV_98[$i1] = enaDis.truFalHol.outputTrue.inPort[$i1 - 1].occupied or enaDis.truFalHol.outputTrue.inPort[$i1 - 1].set ($RES_EVT_1049) (318) [----] end for; (319) [SCAL] (1) $SEV_97 = (enaDis.truFalHol.toFalse.localCondition and enaDis.truFalHol.toFalse.inPort.available) and not enaDis.truFalHol.toFalse.outPort.occupied ($RES_EVT_1047) (320) [SCAL] (1) $SEV_96 = enaDis.truFalHol.onDel2.y and not enaDis.truFalHol.toTrue1.localCondition ($RES_EVT_1046) (321) [SCAL] (1) $SEV_95 = enaDis.truFalHol.onDel1.y and enaDis.truFalHol.toTrue1.localCondition ($RES_EVT_1045) (322) [SCAL] (1) $SEV_94 = enaDis.truFalHol.initialStep.outerStatePort.localActive and not $FUN_6 ($RES_EVT_1044) (323) [WHEN] (1)when false then (323) [----] enaDis4.truFalHol.outputFalse.oldActive := enaDis4.truFalHol.outputFalse.outerStatePort.localActive (323) [----] end when; (324) [SCAL] (1) enaDis4.truFalHol.outputFalse.newActive = $SEV_37 ($RES_SIM_202) (325) [FOR-] (2) ($RES_EVT_1042) (325) [----] for $i1 in 1:2 loop (325) [----] [SCAL] (1) $SEV_93[$i1] = enaDis.truFalHol.initialStep.outPort[$i1 - 1].available and not enaDis.truFalHol.initialStep.outPort[$i1 - 1].reset ($RES_EVT_1043) (325) [----] end for; (326) [SCAL] (1) enaDis4.truFalHol.outputFalse.outerStatePort.localActive = $TEV_54 ($RES_SIM_203) (327) [SCAL] (1) $SEV_92 = (enaDis.truFalHol.toTrue1.localCondition and enaDis.truFalHol.toTrue1.inPort.available) and not enaDis.truFalHol.toTrue1.outPort.occupied ($RES_EVT_1041) (328) [SCAL] (1) $SEV_91 = (not enaDis.truFalHol.toTrue1.localCondition and enaDis.truFalHol.toFalse1.inPort.available) and not enaDis.truFalHol.toFalse1.outPort.occupied ($RES_EVT_1040) (329) [SCAL] (1) enaDis4.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if enaDis4.truFalHol.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_205) (330) [SCAL] (1) enaDis4.truFalHol.stateGraphRoot.activeSteps = -integer(enaDis4.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_209) (331) [SCAL] (1) enaDis.truFalHol.outputTrue.outPort[1].reset = enaDis.truFalHol.toFalse.outPort.set ($RES_SIM_791) (332) [SCAL] (1) enaDis.truFalHol.outputTrue.outPort[1].available = enaDis.truFalHol.toFalse.inPort.available ($RES_SIM_792) (333) [WHEN] (1)when {initial(), booPul2.y, not booPul2.y} then (333) [----] TRet.endValue := if booPul2.y then TRet.offset + TRet.amplitude else TRet.offset (333) [----] end when; (334) [WHEN] (1)when {initial(), booPul2.y, not booPul2.y} then (334) [----] TRet.rate := if booPul2.y and TRet.rising > 0.0 then TRet.amplitude / TRet.rising else if not booPul2.y and TRet.falling > 0.0 then -TRet.amplitude / TRet.falling else 0.0 (334) [----] end when; (335) [WHEN] (1)when {initial(), booPul2.y, not booPul2.y} then (335) [----] TRet.T := if ((booPul2.y and not TRet.rising > 0.0 or not booPul2.y and not TRet.falling > 0.0) or not abs(TRet.amplitude) > 0.0) or initial() then time else time + (TRet.endValue - $PRE.TRet.y) / TRet.rate (335) [----] end when; (336) [SCAL] (1) TRet.y = if $SEV_16 then TRet.endValue - (TRet.T - time) * TRet.rate else TRet.endValue ($RES_SIM_124) (337) [SCAL] (1) enaDis4.nor2.y = not $SEV_17 ($RES_SIM_125) (338) [SCAL] (1) enaDis4.hysCutTem.y = $SEV_18 ($RES_SIM_126) (339) [SCAL] (1) enaDis4.sub3.y = TOutBelowCutoff.k - TRet.y ($RES_SIM_127) (340) [SCAL] (1) enaDis4.intEqu1.y = $SEV_19 ($RES_SIM_129) (341) [SCAL] (1) $SEV_90 = enaDis.entSubst1.k and enaDis.nor1.y or not enaDis.entSubst1.k and not enaDis.nor1.y ($RES_EVT_1039) (342) [SCAL] (1) $SEV_89 = not $PRE.enaDis.hysOutTem.y and enaDis.sub1.y > enaDis.hysOutTem.uHigh or $PRE.enaDis.hysOutTem.y and enaDis.sub1.y >= enaDis.hysOutTem.uLow ($RES_EVT_1038) (343) [SCAL] (1) $SEV_88 = not $PRE.enaDis.hysOutEnt.y and enaDis.sub2.y > enaDis.hysOutEnt.uHigh or $PRE.enaDis.hysOutEnt.y and enaDis.sub2.y >= enaDis.hysOutEnt.uLow ($RES_EVT_1037) (344) [SCAL] (1) $SEV_87 = enaDis.hysOutTem.y or enaDis.hysOutEnt.y ($RES_EVT_1036) (345) [SCAL] (1) $SEV_86 = enaDis.truFalHol.outputTrue.outerStatePort.localActive and supFanSta.k ($RES_EVT_1035) (346) [WHEN] (1)when $SEV_38 then (346) [----] enaDis4.truFalHol.onDel2.y := enaDis4.truFalHol.outputTrue.outerStatePort.localActive (346) [----] else when not enaDis4.truFalHol.outputTrue.outerStatePort.localActive then (346) [----] enaDis4.truFalHol.onDel2.y := false (346) [----] else when enaDis4.truFalHol.outputTrue.outerStatePort.localActive then (346) [----] enaDis4.truFalHol.onDel2.y := not enaDis4.truFalHol.onDel2.delayTime > 0.0 (346) [----] else when initial() then (346) [----] enaDis4.truFalHol.onDel2.y := if not (enaDis4.truFalHol.onDel2.delayOnInit and enaDis4.truFalHol.onDel2.delayTime > 0.0) then enaDis4.truFalHol.outputTrue.outerStatePort.localActive else false (346) [----] end when; (347) [SCAL] (1) $SEV_85 = freProSta.k == enaDis.conInt.k ($RES_EVT_1034) (348) [WHEN] (1)when $SEV_38 then (348) [----] enaDis4.truFalHol.onDel2.t_next := enaDis4.truFalHol.onDel2.t_past (348) [----] else when not enaDis4.truFalHol.outputTrue.outerStatePort.localActive then (348) [----] enaDis4.truFalHol.onDel2.t_next := enaDis4.truFalHol.onDel2.t_past (348) [----] else when enaDis4.truFalHol.outputTrue.outerStatePort.localActive then (348) [----] enaDis4.truFalHol.onDel2.t_next := time + enaDis4.truFalHol.onDel2.delayTime (348) [----] else when initial() then (348) [----] enaDis4.truFalHol.onDel2.t_next := if not enaDis4.truFalHol.onDel2.delayOnInit then enaDis4.truFalHol.onDel2.t_past else time + enaDis4.truFalHol.onDel2.delayTime (348) [----] end when; (349) [SCAL] (1) $SEV_84 = zoneState.k == enaDis.conInt1.k ($RES_EVT_1033) (350) [WHEN] (1)when $SEV_39 then (350) [----] enaDis4.truFalHol.onDel1.y := enaDis4.truFalHol.outputFalse.outerStatePort.localActive (350) [----] else when not enaDis4.truFalHol.outputFalse.outerStatePort.localActive then (350) [----] enaDis4.truFalHol.onDel1.y := false (350) [----] else when enaDis4.truFalHol.outputFalse.outerStatePort.localActive then (350) [----] enaDis4.truFalHol.onDel1.y := not enaDis4.truFalHol.onDel1.delayTime > 0.0 (350) [----] else when initial() then (350) [----] enaDis4.truFalHol.onDel1.y := if not (enaDis4.truFalHol.onDel1.delayOnInit and enaDis4.truFalHol.onDel1.delayTime > 0.0) then enaDis4.truFalHol.outputFalse.outerStatePort.localActive else false (350) [----] end when; (351) [SCAL] (1) $SEV_83 = (enaDis1.and1.y and enaDis1.intEqu.y) and not enaDis1.intEqu1.y ($RES_EVT_1032) (352) [WHEN] (1)when $SEV_39 then (352) [----] enaDis4.truFalHol.onDel1.t_next := enaDis4.truFalHol.onDel1.t_past (352) [----] else when not enaDis4.truFalHol.outputFalse.outerStatePort.localActive then (352) [----] enaDis4.truFalHol.onDel1.t_next := enaDis4.truFalHol.onDel1.t_past (352) [----] else when enaDis4.truFalHol.outputFalse.outerStatePort.localActive then (352) [----] enaDis4.truFalHol.onDel1.t_next := time + enaDis4.truFalHol.onDel1.delayTime (352) [----] else when initial() then (352) [----] enaDis4.truFalHol.onDel1.t_next := if not enaDis4.truFalHol.onDel1.delayOnInit then enaDis4.truFalHol.onDel1.t_past else time + enaDis4.truFalHol.onDel1.delayTime (352) [----] end when; (353) [SCAL] (1) $SEV_82 = time >= $PRE.enaDis1.truFalHol.onDel1.t_next ($RES_EVT_1031) (354) [SCAL] (1) enaDis4.andEnaDis.y = $SEV_40 ($RES_SIM_214) (355) [SCAL] (1) $SEV_81 = time >= $PRE.enaDis1.truFalHol.onDel2.t_next ($RES_EVT_1030) (356) [SCAL] (1) enaDis2.intEqu1.y = $SEV_41 ($RES_SIM_217) (357) [SCAL] (1) enaDis2.intEqu.y = $SEV_42 ($RES_SIM_219) (358) [WHEN] (1)when $SEV_60 then (358) [----] enaDis2.truFalHol.onDel1.y := enaDis2.truFalHol.outputFalse.outerStatePort.localActive (358) [----] else when not enaDis2.truFalHol.outputFalse.outerStatePort.localActive then (358) [----] enaDis2.truFalHol.onDel1.y := false (358) [----] else when enaDis2.truFalHol.outputFalse.outerStatePort.localActive then (358) [----] enaDis2.truFalHol.onDel1.y := not enaDis2.truFalHol.onDel1.delayTime > 0.0 (358) [----] else when initial() then (358) [----] enaDis2.truFalHol.onDel1.y := if not (enaDis2.truFalHol.onDel1.delayOnInit and enaDis2.truFalHol.onDel1.delayTime > 0.0) then enaDis2.truFalHol.outputFalse.outerStatePort.localActive else false (358) [----] end when; (359) [WHEN] (1)when $SEV_60 then (359) [----] enaDis2.truFalHol.onDel1.t_next := enaDis2.truFalHol.onDel1.t_past (359) [----] else when not enaDis2.truFalHol.outputFalse.outerStatePort.localActive then (359) [----] enaDis2.truFalHol.onDel1.t_next := enaDis2.truFalHol.onDel1.t_past (359) [----] else when enaDis2.truFalHol.outputFalse.outerStatePort.localActive then (359) [----] enaDis2.truFalHol.onDel1.t_next := time + enaDis2.truFalHol.onDel1.delayTime (359) [----] else when initial() then (359) [----] enaDis2.truFalHol.onDel1.t_next := if not enaDis2.truFalHol.onDel1.delayOnInit then enaDis2.truFalHol.onDel1.t_past else time + enaDis2.truFalHol.onDel1.delayTime (359) [----] end when; (360) [SCAL] (1) enaDis2.andEnaDis.y = $SEV_61 ($RES_SIM_302) (361) [SCAL] (1) enaDis1.intEqu1.y = $SEV_62 ($RES_SIM_305) (362) [SCAL] (1) enaDis4.intEqu.y = $SEV_20 ($RES_SIM_131) (363) [SCAL] (1) enaDis1.intEqu.y = $SEV_63 ($RES_SIM_307) (364) [SCAL] (1) enaDis4.and1.y = $SEV_21 ($RES_SIM_133) (365) [SCAL] (1) enaDis1.and1.y = $SEV_64 ($RES_SIM_309) (366) [SCAL] (1) enaDis4.nor1.y = not $SEV_22 ($RES_SIM_135) (367) [SCAL] (1) enaDis4.minRetDamSwitch.y = if not enaDis4.andEnaDis.y then enaDis4.retDamPhyPosMaxSig.k else enaDis4.retDamPhyPosMinSig.k ($RES_SIM_136) (368) [SCAL] (1) enaDis4.outDamSwitch.y = if not enaDis4.andEnaDis.y then outDamPosMinSig.k else outDamPosMaxSig.k ($RES_SIM_137) (369) [SCAL] (1) enaDis4.sub1.y = TOutBelowCutoff.k - TOutCut1.k ($RES_SIM_138) (370) [SCAL] (1) enaDis4.nor1.u1 = $SEV_23 ($RES_SIM_139) (371) [SCAL] (1) $SEV_80 = $FUN_7 or enaDis1.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_8 ($RES_EVT_1029) (372) [FOR-] (2) ($RES_EVT_1027) (372) [----] for $i1 in 1:2 loop (372) [----] [SCAL] (1) $SEV_79[$i1] = enaDis1.truFalHol.outputFalse.inPort[$i1 - 1].occupied or enaDis1.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_1028) (372) [----] end for; (373) [SCAL] (1) $SEV_78 = (enaDis1.truFalHol.toTrue.localCondition and enaDis1.truFalHol.toTrue.inPort.available) and not enaDis1.truFalHol.toTrue.outPort.occupied ($RES_EVT_1026) (374) [SCAL] (1) $SEV_77 = $FUN_9 or enaDis1.truFalHol.outputTrue.outerStatePort.localActive and not $FUN_10 ($RES_EVT_1025) (375) [SCAL] (1) enaDis2.and1.y = $SEV_43 ($RES_SIM_221) (376) [FOR-] (2) ($RES_EVT_1023) (376) [----] for $i1 in 1:2 loop (376) [----] [SCAL] (1) $SEV_76[$i1] = enaDis1.truFalHol.outputTrue.inPort[$i1 - 1].occupied or enaDis1.truFalHol.outputTrue.inPort[$i1 - 1].set ($RES_EVT_1024) (376) [----] end for; (377) [SCAL] (1) $SEV_75 = (enaDis1.truFalHol.toFalse.localCondition and enaDis1.truFalHol.toFalse.inPort.available) and not enaDis1.truFalHol.toFalse.outPort.occupied ($RES_EVT_1022) (378) [SCAL] (1) enaDis2.nor1.y = not $SEV_44 ($RES_SIM_223) (379) [SCAL] (1) $SEV_74 = enaDis1.truFalHol.onDel2.y and not enaDis1.truFalHol.toTrue1.localCondition ($RES_EVT_1021) (380) [SCAL] (1) enaDis2.minRetDamSwitch.y = if not enaDis2.andEnaDis.y then enaDis2.retDamPhyPosMaxSig.k else enaDis2.retDamPhyPosMinSig.k ($RES_SIM_224) (381) [SCAL] (1) $SEV_73 = enaDis1.truFalHol.onDel1.y and enaDis1.truFalHol.toTrue1.localCondition ($RES_EVT_1020) (382) [SCAL] (1) enaDis2.outDamSwitch.y = if not enaDis2.andEnaDis.y then outDamPosMinSig.k else outDamPosMaxSig.k ($RES_SIM_225) (383) [SCAL] (1) enaDis2.sub1.y = enaDis.TOut - TOutCut.k ($RES_SIM_226) (384) [SCAL] (1) enaDis2.hysOutTem.y = $SEV_45 ($RES_SIM_227) (385) [SCAL] (1) enaDis1.nor1.y = not $SEV_65 ($RES_SIM_311) (386) [SCAL] (1) enaDis1.minRetDamSwitch.y = if not enaDis1.andEnaDis.y then enaDis1.retDamPhyPosMaxSig.k else enaDis1.retDamPhyPosMinSig.k ($RES_SIM_312) (387) [SCAL] (1) enaDis1.outDamSwitch.y = if not enaDis1.andEnaDis.y then outDamPosMinSig.k else outDamPosMaxSig.k ($RES_SIM_313) (388) [SCAL] (1) enaDis1.sub1.y = TOutBelowCutoff.k - TOutCut1.k ($RES_SIM_314) (389) [SCAL] (1) enaDis1.sub2.y = hOut.y - hOutCut1.k ($RES_SIM_315) (390) [SCAL] (1) enaDis1.hysOutEnt.y = $SEV_66 ($RES_SIM_316) (391) [SCAL] (1) enaDis1.hysOutTem.y = $SEV_67 ($RES_SIM_317) (392) [SCAL] (1) enaDis4.truFalHol.toTrue1.localCondition = not $SEV_24 ($RES_SIM_143) (393) [SCAL] (1) enaDis4.truFalHol.toFalse1.outPort.set = $SEV_25 ($RES_SIM_146) (394) [SCAL] (1) enaDis.nor1.y = not $SEV_87 ($RES_SIM_400) (395) [SCAL] (1) $SEV_72 = enaDis1.truFalHol.initialStep.outerStatePort.localActive and not $FUN_11 ($RES_EVT_1019) (396) [SCAL] (1) enaDis.minRetDamSwitch.y = if not enaDis.andEnaDis.y then enaDis.retDamPhyPosMaxSig.k else enaDis.retDamPhyPosMinSig.k ($RES_SIM_401) (397) [SCAL] (1) enaDis.outDamSwitch.y = if not enaDis.andEnaDis.y then outDamPosMinSig.k else outDamPosMaxSig.k ($RES_SIM_402) (398) [FOR-] (2) ($RES_EVT_1017) (398) [----] for $i1 in 1:2 loop (398) [----] [SCAL] (1) $SEV_71[$i1] = enaDis1.truFalHol.initialStep.outPort[$i1 - 1].available and not enaDis1.truFalHol.initialStep.outPort[$i1 - 1].reset ($RES_EVT_1018) (398) [----] end for; (399) [SCAL] (1) enaDis.sub1.y = enaDis.TOut - TOutCut.k ($RES_SIM_403) (400) [SCAL] (1) $SEV_70 = (enaDis1.truFalHol.toTrue1.localCondition and enaDis1.truFalHol.toTrue1.inPort.available) and not enaDis1.truFalHol.toTrue1.outPort.occupied ($RES_EVT_1016) (401) [SCAL] (1) enaDis.sub2.y = hOutBelowCutoff.k - hOutCut.k ($RES_SIM_404) (402) [SCAL] (1) $SEV_69 = (not enaDis1.truFalHol.toTrue1.localCondition and enaDis1.truFalHol.toFalse1.inPort.available) and not enaDis1.truFalHol.toFalse1.outPort.occupied ($RES_EVT_1015) (403) [SCAL] (1) enaDis.hysOutEnt.y = $SEV_88 ($RES_SIM_405) (404) [SCAL] (1) $SEV_68 = enaDis1.entSubst1.k and enaDis1.nor1.y or not enaDis1.entSubst1.k and not enaDis1.nor1.y ($RES_EVT_1014) (405) [SCAL] (1) enaDis.hysOutTem.y = $SEV_89 ($RES_SIM_406) (406) [SCAL] (1) enaDis2.truFalHol.toTrue1.localCondition = not $SEV_46 ($RES_SIM_231) (407) [SCAL] (1) $SEV_67 = not $PRE.enaDis1.hysOutTem.y and enaDis1.sub1.y > enaDis1.hysOutTem.uHigh or $PRE.enaDis1.hysOutTem.y and enaDis1.sub1.y >= enaDis1.hysOutTem.uLow ($RES_EVT_1013) (408) [SCAL] (1) $SEV_66 = not $PRE.enaDis1.hysOutEnt.y and enaDis1.sub2.y > enaDis1.hysOutEnt.uHigh or $PRE.enaDis1.hysOutEnt.y and enaDis1.sub2.y >= enaDis1.hysOutEnt.uLow ($RES_EVT_1012) (409) [SCAL] (1) $SEV_65 = enaDis1.hysOutTem.y or enaDis1.hysOutEnt.y ($RES_EVT_1011) (410) [SCAL] (1) enaDis.truFalHol.toTrue1.localCondition = not $SEV_90 ($RES_SIM_409) (411) [SCAL] (1) enaDis2.truFalHol.toFalse1.outPort.set = $SEV_47 ($RES_SIM_234) (412) [SCAL] (1) $SEV_64 = enaDis1.truFalHol.outputTrue.outerStatePort.localActive and supFanSta.k ($RES_EVT_1010) (413) [SCAL] (1) enaDis1.truFalHol.toTrue1.localCondition = not $SEV_68 ($RES_SIM_320) (414) [SCAL] (1) enaDis1.truFalHol.toFalse1.outPort.set = $SEV_69 ($RES_SIM_323) (415) [SCAL] (1) enaDis4.truFalHol.toTrue1.outPort.set = $SEV_26 ($RES_SIM_153) (416) [FOR-] (2) ($RES_SIM_158) (416) [----] for $i1 in 1:2 loop (416) [----] [SCAL] (1) enaDis4.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_159) (416) [----] end for; (417) [SCAL] (1) $SEV_63 = freProSta.k == enaDis1.conInt.k ($RES_EVT_1009) (418) [SCAL] (1) $SEV_62 = zoneState.k == enaDis1.conInt1.k ($RES_EVT_1008) (419) [SCAL] (1) enaDis.truFalHol.toFalse1.outPort.set = $SEV_91 ($RES_SIM_412) (420) [SCAL] (1) $SEV_61 = (enaDis2.and1.y and enaDis2.intEqu.y) and not enaDis2.intEqu1.y ($RES_EVT_1007) (421) [SCAL] (1) $SEV_60 = time >= $PRE.enaDis2.truFalHol.onDel1.t_next ($RES_EVT_1006) (422) [SCAL] (1) $SEV_59 = time >= $PRE.enaDis2.truFalHol.onDel2.t_next ($RES_EVT_1005) (423) [SCAL] (1) $SEV_58 = $FUN_12 or enaDis2.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_13 ($RES_EVT_1004) (424) [SCAL] (1) enaDis2.truFalHol.toTrue1.outPort.set = $SEV_48 ($RES_SIM_241) (425) [FOR-] (2) ($RES_EVT_1002) (425) [----] for $i1 in 1:2 loop (425) [----] [SCAL] (1) $SEV_57[$i1] = enaDis2.truFalHol.outputFalse.inPort[$i1 - 1].occupied or enaDis2.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_1003) (425) [----] end for; (426) [SCAL] (1) $SEV_56 = (enaDis2.truFalHol.toTrue.localCondition and enaDis2.truFalHol.toTrue.inPort.available) and not enaDis2.truFalHol.toTrue.outPort.occupied ($RES_EVT_1001) (427) [SCAL] (1) enaDis.truFalHol.toTrue1.outPort.set = $SEV_92 ($RES_SIM_419) (428) [SCAL] (1) $SEV_55 = $FUN_14 or enaDis2.truFalHol.outputTrue.outerStatePort.localActive and not $FUN_15 ($RES_EVT_1000) (429) [FOR-] (2) ($RES_SIM_246) (429) [----] for $i1 in 1:2 loop (429) [----] [SCAL] (1) enaDis2.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_247) (429) [----] end for; (430) [FOR-] (2) ($RES_SIM_248) (430) [----] for $i1 in 1:2 loop (430) [----] [SCAL] (1) enaDis2.truFalHol.initialStep.outPort[$i1].available = if $SEV_27[$i1] then enaDis2.truFalHol.initialStep.outerStatePort.localActive else $SEV_49[$i1] ($RES_SIM_249) (430) [----] end for; (431) [SCAL] (1) enaDis1.truFalHol.toTrue1.outPort.set = $SEV_70 ($RES_SIM_330) (432) [FOR-] (2) ($RES_SIM_335) (432) [----] for $i1 in 1:2 loop (432) [----] [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_336) (432) [----] end for; (433) [FOR-] (2) ($RES_SIM_160) (433) [----] for $i1 in 1:2 loop (433) [----] [SCAL] (1) enaDis4.truFalHol.initialStep.outPort[$i1].available = if $SEV_27[$i1] then enaDis4.truFalHol.initialStep.outerStatePort.localActive else $SEV_28[$i1] ($RES_SIM_161) (433) [----] end for; (434) [FOR-] (2) ($RES_SIM_337) (434) [----] for $i1 in 1:2 loop (434) [----] [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[$i1].available = if $SEV_27[$i1] then enaDis1.truFalHol.initialStep.outerStatePort.localActive else $SEV_71[$i1] ($RES_SIM_338) (434) [----] end for; (435) [WHEN] (1)when false then (435) [----] enaDis4.truFalHol.initialStep.oldActive := enaDis4.truFalHol.initialStep.outerStatePort.localActive (435) [----] end when; (436) [SCAL] (1) enaDis4.truFalHol.initialStep.newActive = $SEV_29 ($RES_SIM_163) (437) [WHEN] (1)when false then (437) [----] enaDis1.truFalHol.initialStep.oldActive := enaDis1.truFalHol.initialStep.outerStatePort.localActive (437) [----] end when; (438) [SCAL] (1) enaDis4.truFalHol.initialStep.outerStatePort.localActive = $TEV_44 ($RES_SIM_164) (439) [SCAL] (1) enaDis4.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if enaDis4.truFalHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_166) (440) [SCAL] (1) enaDis4.truFalHol.toTrue.localCondition = $SEV_30 ($RES_SIM_167) (441) [SCAL] (1) enaDis4.truFalHol.toFalse.localCondition = $SEV_31 ($RES_SIM_168) (442) [FOR-] (2) ($RES_SIM_424) (442) [----] for $i1 in 1:2 loop (442) [----] [SCAL] (1) enaDis.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_425) (442) [----] end for; (443) [WHEN] (1)when false then (443) [----] enaDis2.truFalHol.initialStep.oldActive := enaDis2.truFalHol.initialStep.outerStatePort.localActive (443) [----] end when; (444) [FOR-] (2) ($RES_SIM_426) (444) [----] for $i1 in 1:2 loop (444) [----] [SCAL] (1) enaDis.truFalHol.initialStep.outPort[$i1].available = if $SEV_27[$i1] then enaDis.truFalHol.initialStep.outerStatePort.localActive else $SEV_93[$i1] ($RES_SIM_427) (444) [----] end for; (445) [SCAL] (1) enaDis2.truFalHol.initialStep.newActive = $SEV_50 ($RES_SIM_251) (446) [SCAL] (1) enaDis2.truFalHol.initialStep.outerStatePort.localActive = $TEV_64 ($RES_SIM_252) (447) [WHEN] (1)when false then (447) [----] enaDis.truFalHol.initialStep.oldActive := enaDis.truFalHol.initialStep.outerStatePort.localActive (447) [----] end when; =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 359 var 2 --> eqn 59 var 3 --> eqn 60 var 4 --> eqn 441 var 5 --> eqn 405 var 6 --> eqn 393 var 7 --> eqn 312 var 8 --> eqn 313 var 9 --> eqn 314 var 10 --> eqn 315 var 11 --> eqn 316 var 12 --> eqn 317 var 13 --> eqn 476 var 14 --> eqn 97 var 15 --> eqn 87 var 16 --> eqn 479 var 17 --> eqn 150 var 18 --> eqn 390 var 19 --> eqn 42 var 20 --> eqn 43 var 21 --> eqn 151 var 22 --> eqn 70 var 23 --> eqn 193 var 24 --> eqn 105 var 25 --> eqn 106 var 26 --> eqn 63 var 27 --> eqn 56 var 28 --> eqn 464 var 29 --> eqn 327 var 30 --> eqn 377 var 31 --> eqn 124 var 32 --> eqn 137 var 33 --> eqn 138 var 34 --> eqn 272 var 35 --> eqn 433 var 36 --> eqn 14 var 37 --> eqn 15 var 38 --> eqn 47 var 39 --> eqn 164 var 40 --> eqn 200 var 41 --> eqn 122 var 42 --> eqn 33 var 43 --> eqn 8 var 44 --> eqn 100 var 45 --> eqn 27 var 46 --> eqn 423 var 47 --> eqn 319 var 48 --> eqn 320 var 49 --> eqn 347 var 50 --> eqn 3 var 51 --> eqn 144 var 52 --> eqn 401 var 53 --> eqn 384 var 54 --> eqn 307 var 55 --> eqn 128 var 56 --> eqn 84 var 57 --> eqn 114 var 58 --> eqn 454 var 59 --> eqn 455 var 60 --> eqn 184 var 61 --> eqn 172 var 62 --> eqn 357 var 63 --> eqn 473 var 64 --> eqn 363 var 65 --> eqn 94 var 66 --> eqn 341 var 67 --> eqn 342 var 68 --> eqn 354 var 69 --> eqn 61 var 70 --> eqn 126 var 71 --> eqn 425 var 72 --> eqn 426 var 73 --> eqn 391 var 74 --> eqn 44 var 75 --> eqn 72 var 76 --> eqn 475 var 77 --> eqn 107 var 78 --> eqn 415 var 79 --> eqn 153 var 80 --> eqn 156 var 81 --> eqn 239 var 82 --> eqn 240 var 83 --> eqn 474 var 84 --> eqn 41 var 85 --> eqn 75 var 86 --> eqn 148 var 87 --> eqn 81 var 88 --> eqn 161 var 89 --> eqn 199 var 90 --> eqn 176 var 91 --> eqn 31 var 92 --> eqn 32 var 93 --> eqn 468 var 94 --> eqn 469 var 95 --> eqn 311 var 96 --> eqn 305 var 97 --> eqn 325 var 98 --> eqn 362 var 99 --> eqn 343 var 100 --> eqn 344 var 101 --> eqn 345 var 102 --> eqn 140 var 103 --> eqn 346 var 104 --> eqn 5 var 105 --> eqn 7 var 106 --> eqn 352 var 107 --> eqn 353 var 108 --> eqn 214 var 109 --> eqn 366 var 110 --> eqn 30 var 111 --> eqn 237 var 112 --> eqn 238 var 113 --> eqn 416 var 114 --> eqn 6 var 115 --> eqn 65 var 116 --> eqn 407 var 117 --> eqn 9 var 118 --> eqn 158 var 119 --> eqn 39 var 120 --> eqn 40 var 121 --> eqn 367 var 122 --> eqn 189 var 123 --> eqn 410 var 124 --> eqn 368 var 125 --> eqn 389 var 126 --> eqn 369 var 127 --> eqn 370 var 128 --> eqn 208 var 129 --> eqn 372 var 130 --> eqn 46 var 131 --> eqn 374 var 132 --> eqn 376 var 133 --> eqn 378 var 134 --> eqn 380 var 135 --> eqn 396 var 136 --> eqn 160 var 137 --> eqn 67 var 138 --> eqn 93 var 139 --> eqn 92 var 140 --> eqn 88 var 141 --> eqn 339 var 142 --> eqn 66 var 143 --> eqn 64 var 144 --> eqn 34 var 145 --> eqn 35 var 146 --> eqn 202 var 147 --> eqn 62 var 148 --> eqn 58 var 149 --> eqn 108 var 150 --> eqn 113 var 151 --> eqn 271 var 152 --> eqn 55 var 153 --> eqn 52 var 154 --> eqn 333 var 155 --> eqn 334 var 156 --> eqn 470 var 157 --> eqn 110 var 158 --> eqn 246 var 159 --> eqn 83 var 160 --> eqn 400 var 161 --> eqn 12 var 162 --> eqn 421 var 163 --> eqn 381 var 164 --> eqn 406 var 165 --> eqn 102 var 166 --> eqn 103 var 167 --> eqn 408 var 168 --> eqn 382 var 169 --> eqn 422 var 170 --> eqn 428 var 171 --> eqn 50 var 172 --> eqn 49 var 173 --> eqn 29 var 174 --> eqn 28 var 175 --> eqn 125 var 176 --> eqn 26 var 177 --> eqn 25 var 178 --> eqn 466 var 179 --> eqn 467 var 180 --> eqn 23 var 181 --> eqn 201 var 182 --> eqn 235 var 183 --> eqn 1 var 184 --> eqn 117 var 185 --> eqn 53 var 186 --> eqn 54 var 187 --> eqn 430 var 188 --> eqn 432 var 189 --> eqn 435 var 190 --> eqn 336 var 191 --> eqn 418 var 192 --> eqn 436 var 193 --> eqn 437 var 194 --> eqn 440 var 195 --> eqn 212 var 196 --> eqn 446 var 197 --> eqn 10 var 198 --> eqn 447 var 199 --> eqn 449 var 200 --> eqn 450 var 201 --> eqn 20 var 202 --> eqn 182 var 203 --> eqn 438 var 204 --> eqn 19 var 205 --> eqn 175 var 206 --> eqn 16 var 207 --> eqn 274 var 208 --> eqn 283 var 209 --> eqn 282 var 210 --> eqn 281 var 211 --> eqn 280 var 212 --> eqn 279 var 213 --> eqn 154 var 214 --> eqn 129 var 215 --> eqn 130 var 216 --> eqn 278 var 217 --> eqn 37 var 218 --> eqn 38 var 219 --> eqn 365 var 220 --> eqn 142 var 221 --> eqn 135 var 222 --> eqn 299 var 223 --> eqn 4 var 224 --> eqn 76 var 225 --> eqn 397 var 226 --> eqn 398 var 227 --> eqn 303 var 228 --> eqn 451 var 229 --> eqn 71 var 230 --> eqn 444 var 231 --> eqn 180 var 232 --> eqn 452 var 233 --> eqn 73 var 234 --> eqn 458 var 235 --> eqn 338 var 236 --> eqn 332 var 237 --> eqn 331 var 238 --> eqn 329 var 239 --> eqn 326 var 240 --> eqn 277 var 241 --> eqn 173 var 242 --> eqn 276 var 243 --> eqn 17 var 244 --> eqn 89 var 245 --> eqn 90 var 246 --> eqn 171 var 247 --> eqn 275 var 248 --> eqn 169 var 249 --> eqn 482 var 250 --> eqn 167 var 251 --> eqn 251 var 252 --> eqn 166 var 253 --> eqn 250 var 254 --> eqn 249 var 255 --> eqn 248 var 256 --> eqn 247 var 257 --> eqn 192 var 258 --> eqn 2 var 259 --> eqn 349 var 260 --> eqn 350 var 261 --> eqn 174 var 262 --> eqn 109 var 263 --> eqn 414 var 264 --> eqn 409 var 265 --> eqn 394 var 266 --> eqn 186 var 267 --> eqn 483 var 268 --> eqn 121 var 269 --> eqn 321 var 270 --> eqn 318 var 271 --> eqn 298 var 272 --> eqn 296 var 273 --> eqn 294 var 274 --> eqn 48 var 275 --> eqn 292 var 276 --> eqn 165 var 277 --> eqn 198 var 278 --> eqn 290 var 279 --> eqn 163 var 280 --> eqn 288 var 281 --> eqn 162 var 282 --> eqn 45 var 283 --> eqn 287 var 284 --> eqn 146 var 285 --> eqn 143 var 286 --> eqn 141 var 287 --> eqn 244 var 288 --> eqn 18 var 289 --> eqn 242 var 290 --> eqn 136 var 291 --> eqn 226 var 292 --> eqn 133 var 293 --> eqn 225 var 294 --> eqn 68 var 295 --> eqn 218 var 296 --> eqn 120 var 297 --> eqn 21 var 298 --> eqn 131 var 299 --> eqn 224 var 300 --> eqn 223 var 301 --> eqn 269 var 302 --> eqn 222 var 303 --> eqn 268 var 304 --> eqn 267 var 305 --> eqn 361 var 306 --> eqn 221 var 307 --> eqn 139 var 308 --> eqn 266 var 309 --> eqn 185 var 310 --> eqn 155 var 311 --> eqn 22 var 312 --> eqn 265 var 313 --> eqn 262 var 314 --> eqn 330 var 315 --> eqn 260 var 316 --> eqn 351 var 317 --> eqn 328 var 318 --> eqn 258 var 319 --> eqn 417 var 320 --> eqn 419 var 321 --> eqn 181 var 322 --> eqn 286 var 323 --> eqn 285 var 324 --> eqn 461 var 325 --> eqn 462 var 326 --> eqn 284 var 327 --> eqn 82 var 328 --> eqn 459 var 329 --> eqn 119 var 330 --> eqn 259 var 331 --> eqn 195 var 332 --> eqn 263 var 333 --> eqn 264 var 334 --> eqn 127 var 335 --> eqn 11 var 336 --> eqn 411 var 337 --> eqn 254 var 338 --> eqn 123 var 339 --> eqn 253 var 340 --> eqn 101 var 341 --> eqn 392 var 342 --> eqn 375 var 343 --> eqn 99 var 344 --> eqn 220 var 345 --> eqn 98 var 346 --> eqn 219 var 347 --> eqn 13 var 348 --> eqn 243 var 349 --> eqn 348 var 350 --> eqn 217 var 351 --> eqn 96 var 352 --> eqn 191 var 353 --> eqn 95 var 354 --> eqn 190 var 355 --> eqn 308 var 356 --> eqn 188 var 357 --> eqn 306 var 358 --> eqn 80 var 359 --> eqn 187 var 360 --> eqn 304 var 361 --> eqn 145 var 362 --> eqn 302 var 363 --> eqn 183 var 364 --> eqn 300 var 365 --> eqn 115 var 366 --> eqn 116 var 367 --> eqn 297 var 368 --> eqn 323 var 369 --> eqn 324 var 370 --> eqn 295 var 371 --> eqn 293 var 372 --> eqn 360 var 373 --> eqn 85 var 374 --> eqn 86 var 375 --> eqn 291 var 376 --> eqn 170 var 377 --> eqn 289 var 378 --> eqn 252 var 379 --> eqn 78 var 380 --> eqn 236 var 381 --> eqn 241 var 382 --> eqn 234 var 383 --> eqn 147 var 384 --> eqn 232 var 385 --> eqn 230 var 386 --> eqn 388 var 387 --> eqn 472 var 388 --> eqn 228 var 389 --> eqn 227 var 390 --> eqn 413 var 391 --> eqn 355 var 392 --> eqn 211 var 393 --> eqn 179 var 394 --> eqn 104 var 395 --> eqn 177 var 396 --> eqn 159 var 397 --> eqn 480 var 398 --> eqn 481 var 399 --> eqn 132 var 400 --> eqn 57 var 401 --> eqn 24 var 402 --> eqn 364 var 403 --> eqn 477 var 404 --> eqn 478 var 405 --> eqn 79 var 406 --> eqn 91 var 407 --> eqn 371 var 408 --> eqn 213 var 409 --> eqn 233 var 410 --> eqn 402 var 411 --> eqn 403 var 412 --> eqn 36 var 413 --> eqn 157 var 414 --> eqn 152 var 415 --> eqn 387 var 416 --> eqn 210 var 417 --> eqn 209 var 418 --> eqn 358 var 419 --> eqn 207 var 420 --> eqn 395 var 421 --> eqn 205 var 422 --> eqn 206 var 423 --> eqn 203 var 424 --> eqn 74 var 425 --> eqn 340 var 426 --> eqn 471 var 427 --> eqn 427 var 428 --> eqn 229 var 429 --> eqn 412 var 430 --> eqn 51 var 431 --> eqn 424 var 432 --> eqn 215 var 433 --> eqn 385 var 434 --> eqn 197 var 435 --> eqn 204 var 436 --> eqn 386 var 437 --> eqn 431 var 438 --> eqn 118 var 439 --> eqn 383 var 440 --> eqn 484 var 441 --> eqn 231 var 442 --> eqn 149 var 443 --> eqn 273 var 444 --> eqn 379 var 445 --> eqn 310 var 446 --> eqn 429 var 447 --> eqn 178 var 448 --> eqn 434 var 449 --> eqn 69 var 450 --> eqn 373 var 451 --> eqn 256 var 452 --> eqn 257 equation to variable ********************** eqn 1 --> var 183 eqn 2 --> var 258 eqn 3 --> var 50 eqn 4 --> var 223 eqn 5 --> var 104 eqn 6 --> var 114 eqn 7 --> var 105 eqn 8 --> var 43 eqn 9 --> var 117 eqn 10 --> var 197 eqn 11 --> var 335 eqn 12 --> var 161 eqn 13 --> var 347 eqn 14 --> var 36 eqn 15 --> var 37 eqn 16 --> var 206 eqn 17 --> var 243 eqn 18 --> var 288 eqn 19 --> var 204 eqn 20 --> var 201 eqn 21 --> var 297 eqn 22 --> var 311 eqn 23 --> var 180 eqn 24 --> var 401 eqn 25 --> var 177 eqn 26 --> var 176 eqn 27 --> var 45 eqn 28 --> var 174 eqn 29 --> var 173 eqn 30 --> var 110 eqn 31 --> var 91 eqn 32 --> var 92 eqn 33 --> var 42 eqn 34 --> var 144 eqn 35 --> var 145 eqn 36 --> var 412 eqn 37 --> var 217 eqn 38 --> var 218 eqn 39 --> var 119 eqn 40 --> var 120 eqn 41 --> var 84 eqn 42 --> var 19 eqn 43 --> var 20 eqn 44 --> var 74 eqn 45 --> var 282 eqn 46 --> var 130 eqn 47 --> var 38 eqn 48 --> var 274 eqn 49 --> var 172 eqn 50 --> var 171 eqn 51 --> var 430 eqn 52 --> var 153 eqn 53 --> var 185 eqn 54 --> var 186 eqn 55 --> var 152 eqn 56 --> var 27 eqn 57 --> var 400 eqn 58 --> var 148 eqn 59 --> var 2 eqn 60 --> var 3 eqn 61 --> var 69 eqn 62 --> var 147 eqn 63 --> var 26 eqn 64 --> var 143 eqn 65 --> var 115 eqn 66 --> var 142 eqn 67 --> var 137 eqn 68 --> var 294 eqn 69 --> var 449 eqn 70 --> var 22 eqn 71 --> var 229 eqn 72 --> var 75 eqn 73 --> var 233 eqn 74 --> var 424 eqn 75 --> var 85 eqn 76 --> var 224 eqn 77 --> var -1 eqn 78 --> var 379 eqn 79 --> var 405 eqn 80 --> var 358 eqn 81 --> var 87 eqn 82 --> var 327 eqn 83 --> var 159 eqn 84 --> var 56 eqn 85 --> var 373 eqn 86 --> var 374 eqn 87 --> var 15 eqn 88 --> var 140 eqn 89 --> var 244 eqn 90 --> var 245 eqn 91 --> var 406 eqn 92 --> var 139 eqn 93 --> var 138 eqn 94 --> var 65 eqn 95 --> var 353 eqn 96 --> var 351 eqn 97 --> var 14 eqn 98 --> var 345 eqn 99 --> var 343 eqn 100 --> var 44 eqn 101 --> var 340 eqn 102 --> var 165 eqn 103 --> var 166 eqn 104 --> var 394 eqn 105 --> var 24 eqn 106 --> var 25 eqn 107 --> var 77 eqn 108 --> var 149 eqn 109 --> var 262 eqn 110 --> var 157 eqn 111 --> var -1 eqn 112 --> var -1 eqn 113 --> var 150 eqn 114 --> var 57 eqn 115 --> var 365 eqn 116 --> var 366 eqn 117 --> var 184 eqn 118 --> var 438 eqn 119 --> var 329 eqn 120 --> var 296 eqn 121 --> var 268 eqn 122 --> var 41 eqn 123 --> var 338 eqn 124 --> var 31 eqn 125 --> var 175 eqn 126 --> var 70 eqn 127 --> var 334 eqn 128 --> var 55 eqn 129 --> var 214 eqn 130 --> var 215 eqn 131 --> var 298 eqn 132 --> var 399 eqn 133 --> var 292 eqn 134 --> var -1 eqn 135 --> var 221 eqn 136 --> var 290 eqn 137 --> var 32 eqn 138 --> var 33 eqn 139 --> var 307 eqn 140 --> var 102 eqn 141 --> var 286 eqn 142 --> var 220 eqn 143 --> var 285 eqn 144 --> var 51 eqn 145 --> var 361 eqn 146 --> var 284 eqn 147 --> var 383 eqn 148 --> var 86 eqn 149 --> var 442 eqn 150 --> var 17 eqn 151 --> var 21 eqn 152 --> var 414 eqn 153 --> var 79 eqn 154 --> var 213 eqn 155 --> var 310 eqn 156 --> var 80 eqn 157 --> var 413 eqn 158 --> var 118 eqn 159 --> var 396 eqn 160 --> var 136 eqn 161 --> var 88 eqn 162 --> var 281 eqn 163 --> var 279 eqn 164 --> var 39 eqn 165 --> var 276 eqn 166 --> var 252 eqn 167 --> var 250 eqn 168 --> var -1 eqn 169 --> var 248 eqn 170 --> var 376 eqn 171 --> var 246 eqn 172 --> var 61 eqn 173 --> var 241 eqn 174 --> var 261 eqn 175 --> var 205 eqn 176 --> var 90 eqn 177 --> var 395 eqn 178 --> var 447 eqn 179 --> var 393 eqn 180 --> var 231 eqn 181 --> var 321 eqn 182 --> var 202 eqn 183 --> var 363 eqn 184 --> var 60 eqn 185 --> var 309 eqn 186 --> var 266 eqn 187 --> var 359 eqn 188 --> var 356 eqn 189 --> var 122 eqn 190 --> var 354 eqn 191 --> var 352 eqn 192 --> var 257 eqn 193 --> var 23 eqn 194 --> var -1 eqn 195 --> var 331 eqn 196 --> var -1 eqn 197 --> var 434 eqn 198 --> var 277 eqn 199 --> var 89 eqn 200 --> var 40 eqn 201 --> var 181 eqn 202 --> var 146 eqn 203 --> var 423 eqn 204 --> var 435 eqn 205 --> var 421 eqn 206 --> var 422 eqn 207 --> var 419 eqn 208 --> var 128 eqn 209 --> var 417 eqn 210 --> var 416 eqn 211 --> var 392 eqn 212 --> var 195 eqn 213 --> var 408 eqn 214 --> var 108 eqn 215 --> var 432 eqn 216 --> var -1 eqn 217 --> var 350 eqn 218 --> var 295 eqn 219 --> var 346 eqn 220 --> var 344 eqn 221 --> var 306 eqn 222 --> var 302 eqn 223 --> var 300 eqn 224 --> var 299 eqn 225 --> var 293 eqn 226 --> var 291 eqn 227 --> var 389 eqn 228 --> var 388 eqn 229 --> var 428 eqn 230 --> var 385 eqn 231 --> var 441 eqn 232 --> var 384 eqn 233 --> var 409 eqn 234 --> var 382 eqn 235 --> var 182 eqn 236 --> var 380 eqn 237 --> var 111 eqn 238 --> var 112 eqn 239 --> var 81 eqn 240 --> var 82 eqn 241 --> var 381 eqn 242 --> var 289 eqn 243 --> var 348 eqn 244 --> var 287 eqn 245 --> var -1 eqn 246 --> var 158 eqn 247 --> var 256 eqn 248 --> var 255 eqn 249 --> var 254 eqn 250 --> var 253 eqn 251 --> var 251 eqn 252 --> var 378 eqn 253 --> var 339 eqn 254 --> var 337 eqn 255 --> var -1 eqn 256 --> var 451 eqn 257 --> var 452 eqn 258 --> var 318 eqn 259 --> var 330 eqn 260 --> var 315 eqn 261 --> var -1 eqn 262 --> var 313 eqn 263 --> var 332 eqn 264 --> var 333 eqn 265 --> var 312 eqn 266 --> var 308 eqn 267 --> var 304 eqn 268 --> var 303 eqn 269 --> var 301 eqn 270 --> var -1 eqn 271 --> var 151 eqn 272 --> var 34 eqn 273 --> var 443 eqn 274 --> var 207 eqn 275 --> var 247 eqn 276 --> var 242 eqn 277 --> var 240 eqn 278 --> var 216 eqn 279 --> var 212 eqn 280 --> var 211 eqn 281 --> var 210 eqn 282 --> var 209 eqn 283 --> var 208 eqn 284 --> var 326 eqn 285 --> var 323 eqn 286 --> var 322 eqn 287 --> var 283 eqn 288 --> var 280 eqn 289 --> var 377 eqn 290 --> var 278 eqn 291 --> var 375 eqn 292 --> var 275 eqn 293 --> var 371 eqn 294 --> var 273 eqn 295 --> var 370 eqn 296 --> var 272 eqn 297 --> var 367 eqn 298 --> var 271 eqn 299 --> var 222 eqn 300 --> var 364 eqn 301 --> var -1 eqn 302 --> var 362 eqn 303 --> var 227 eqn 304 --> var 360 eqn 305 --> var 96 eqn 306 --> var 357 eqn 307 --> var 54 eqn 308 --> var 355 eqn 309 --> var -1 eqn 310 --> var 445 eqn 311 --> var 95 eqn 312 --> var 7 eqn 313 --> var 8 eqn 314 --> var 9 eqn 315 --> var 10 eqn 316 --> var 11 eqn 317 --> var 12 eqn 318 --> var 270 eqn 319 --> var 47 eqn 320 --> var 48 eqn 321 --> var 269 eqn 322 --> var -1 eqn 323 --> var 368 eqn 324 --> var 369 eqn 325 --> var 97 eqn 326 --> var 239 eqn 327 --> var 29 eqn 328 --> var 317 eqn 329 --> var 238 eqn 330 --> var 314 eqn 331 --> var 237 eqn 332 --> var 236 eqn 333 --> var 154 eqn 334 --> var 155 eqn 335 --> var -1 eqn 336 --> var 190 eqn 337 --> var -1 eqn 338 --> var 235 eqn 339 --> var 141 eqn 340 --> var 425 eqn 341 --> var 66 eqn 342 --> var 67 eqn 343 --> var 99 eqn 344 --> var 100 eqn 345 --> var 101 eqn 346 --> var 103 eqn 347 --> var 49 eqn 348 --> var 349 eqn 349 --> var 259 eqn 350 --> var 260 eqn 351 --> var 316 eqn 352 --> var 106 eqn 353 --> var 107 eqn 354 --> var 68 eqn 355 --> var 391 eqn 356 --> var -1 eqn 357 --> var 62 eqn 358 --> var 418 eqn 359 --> var 1 eqn 360 --> var 372 eqn 361 --> var 305 eqn 362 --> var 98 eqn 363 --> var 64 eqn 364 --> var 402 eqn 365 --> var 219 eqn 366 --> var 109 eqn 367 --> var 121 eqn 368 --> var 124 eqn 369 --> var 126 eqn 370 --> var 127 eqn 371 --> var 407 eqn 372 --> var 129 eqn 373 --> var 450 eqn 374 --> var 131 eqn 375 --> var 342 eqn 376 --> var 132 eqn 377 --> var 30 eqn 378 --> var 133 eqn 379 --> var 444 eqn 380 --> var 134 eqn 381 --> var 163 eqn 382 --> var 168 eqn 383 --> var 439 eqn 384 --> var 53 eqn 385 --> var 433 eqn 386 --> var 436 eqn 387 --> var 415 eqn 388 --> var 386 eqn 389 --> var 125 eqn 390 --> var 18 eqn 391 --> var 73 eqn 392 --> var 341 eqn 393 --> var 6 eqn 394 --> var 265 eqn 395 --> var 420 eqn 396 --> var 135 eqn 397 --> var 225 eqn 398 --> var 226 eqn 399 --> var -1 eqn 400 --> var 160 eqn 401 --> var 52 eqn 402 --> var 410 eqn 403 --> var 411 eqn 404 --> var -1 eqn 405 --> var 5 eqn 406 --> var 164 eqn 407 --> var 116 eqn 408 --> var 167 eqn 409 --> var 264 eqn 410 --> var 123 eqn 411 --> var 336 eqn 412 --> var 429 eqn 413 --> var 390 eqn 414 --> var 263 eqn 415 --> var 78 eqn 416 --> var 113 eqn 417 --> var 319 eqn 418 --> var 191 eqn 419 --> var 320 eqn 420 --> var -1 eqn 421 --> var 162 eqn 422 --> var 169 eqn 423 --> var 46 eqn 424 --> var 431 eqn 425 --> var 71 eqn 426 --> var 72 eqn 427 --> var 427 eqn 428 --> var 170 eqn 429 --> var 446 eqn 430 --> var 187 eqn 431 --> var 437 eqn 432 --> var 188 eqn 433 --> var 35 eqn 434 --> var 448 eqn 435 --> var 189 eqn 436 --> var 192 eqn 437 --> var 193 eqn 438 --> var 203 eqn 439 --> var -1 eqn 440 --> var 194 eqn 441 --> var 4 eqn 442 --> var -1 eqn 443 --> var -1 eqn 444 --> var 230 eqn 445 --> var -1 eqn 446 --> var 196 eqn 447 --> var 198 eqn 448 --> var -1 eqn 449 --> var 199 eqn 450 --> var 200 eqn 451 --> var 228 eqn 452 --> var 232 eqn 453 --> var -1 eqn 454 --> var 58 eqn 455 --> var 59 eqn 456 --> var -1 eqn 457 --> var -1 eqn 458 --> var 234 eqn 459 --> var 328 eqn 460 --> var -1 eqn 461 --> var 324 eqn 462 --> var 325 eqn 463 --> var -1 eqn 464 --> var 28 eqn 465 --> var -1 eqn 466 --> var 178 eqn 467 --> var 179 eqn 468 --> var 93 eqn 469 --> var 94 eqn 470 --> var 156 eqn 471 --> var 426 eqn 472 --> var 387 eqn 473 --> var 63 eqn 474 --> var 83 eqn 475 --> var 76 eqn 476 --> var 13 eqn 477 --> var 403 eqn 478 --> var 404 eqn 479 --> var 16 eqn 480 --> var 397 eqn 481 --> var 398 eqn 482 --> var 249 eqn 483 --> var 267 eqn 484 --> var 440