Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_latest_Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.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 11.0.1-master/package.mo", uses=false) Using package Buildings with version 11.0.1 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.1-master/package.mo) Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo) Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo) Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo) Running command: translateModel(Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.VAV.Economizers.Subsequences.Validation.Enable_TOut_hOut,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|TOutCut.y|TOut.y|enaDis.truFalHol.y|enaDis.yRetDam_max|enaDis.yRetDam_min|enaDis.yOutDam_max|hOutCut1.y|hOut.y|enaDis1.truFalHol.y|enaDis1.yRetDam_max|enaDis1.yRetDam_min|enaDis1.yOutDam_max|enaDis2.truFalHol.y|enaDis2.yRetDam_max|enaDis2.yRetDam_min|enaDis2.yOutDam_max",fileNamePrefix="Buildings_latest_Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.VAV.Economizers.Subsequences.Validation.Enable_TOut_hOut") translateModel(Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.VAV.Economizers.Subsequences.Validation.Enable_TOut_hOut,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|TOutCut.y|TOut.y|enaDis.truFalHol.y|enaDis.yRetDam_max|enaDis.yRetDam_min|enaDis.yOutDam_max|hOutCut1.y|hOut.y|enaDis1.truFalHol.y|enaDis1.yRetDam_max|enaDis1.yRetDam_min|enaDis1.yOutDam_max|enaDis2.truFalHol.y|enaDis2.yRetDam_max|enaDis2.yRetDam_min|enaDis2.yOutDam_max",fileNamePrefix="Buildings_latest_Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.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.001154/0.001154, allocations: 112.1 kB / 16.43 MB, free: 6.512 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.00111/0.00111, allocations: 183.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.208/1.208, allocations: 222.9 MB / 241.1 MB, free: 15.14 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.1-master/package.mo): time 2.294/2.294, allocations: 461.9 MB / 0.7354 GB, free: 11.06 MB / 0.6075 GB Notification: Performance of FrontEnd - Absyn->SCode: time 2.159e-05/2.161e-05, allocations: 6.219 kB / 1.055 GB, free: 7.625 MB / 0.8262 GB Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.VAV.Economizers.Subsequences.Validation.Enable_TOut_hOut): time 0.006133/0.006166, allocations: 5.209 MB / 1.06 GB, free: 2.395 MB / 0.8262 GB Notification: Performance of NFInst.instExpressions: time 0.003608/0.009791, allocations: 2.443 MB / 1.062 GB, free: 15.95 MB / 0.8419 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.0006736/0.01048, allocations: 35.88 kB / 1.062 GB, free: 15.91 MB / 0.8419 GB Notification: Performance of NFTyping.typeComponents: time 0.0005894/0.01108, allocations: 249 kB / 1.062 GB, free: 15.66 MB / 0.8419 GB Notification: Performance of NFTyping.typeBindings: time 0.0005195/0.01167, allocations: 245.4 kB / 1.063 GB, free: 15.42 MB / 0.8419 GB Notification: Performance of NFTyping.typeClassSections: time 0.002313/0.01399, allocations: 1.217 MB / 1.064 GB, free: 14.2 MB / 0.8419 GB Notification: Performance of NFFlatten.flatten: time 0.002649/0.01666, allocations: 3.078 MB / 1.067 GB, free: 11.12 MB / 0.8419 GB Notification: Performance of NFFlatten.resolveConnections: time 0.002985/0.01965, allocations: 2.385 MB / 1.069 GB, free: 8.668 MB / 0.8419 GB Notification: Performance of NFEvalConstants.evaluate: time 0.001195/0.02086, allocations: 1.188 MB / 1.07 GB, free: 7.477 MB / 0.8419 GB Notification: Performance of NFSimplifyModel.simplify: time 0.0009476/0.02181, allocations: 1.163 MB / 1.072 GB, free: 6.309 MB / 0.8419 GB Notification: Performance of NFPackage.collectConstants: time 0.0003962/0.02222, allocations: 391.9 kB / 1.072 GB, free: 5.926 MB / 0.8419 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0004088/0.02264, allocations: 400 kB / 1.072 GB, free: 5.535 MB / 0.8419 GB Notification: Performance of combineBinaries: time 0.00212/0.02476, allocations: 3.389 MB / 1.076 GB, free: 2.109 MB / 0.8419 GB Notification: Performance of replaceArrayConstructors: time 0.0009684/0.02574, allocations: 1.939 MB / 1.077 GB, free: 144 kB / 0.8419 GB Notification: Performance of NFVerifyModel.verify: time 0.4635/0.4893, allocations: 409.8 kB / 1.078 GB, free: 19.53 MB / 0.8419 GB Notification: Performance of FrontEnd: time 0.0006041/0.4899, allocations: 242.5 kB / 1.078 GB, free: 19.53 MB / 0.8419 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 570 (552) * Number of variables: 546 (528) Notification: Performance of Bindings: time 0.009403/0.4993, allocations: 10.45 MB / 1.088 GB, free: 16.32 MB / 0.8419 GB Notification: Performance of FunctionAlias: time 0.001272/0.5006, allocations: 1.661 MB / 1.09 GB, free: 15.16 MB / 0.8419 GB Notification: Performance of Early Inline: time 0.006843/0.5074, allocations: 7.878 MB / 1.098 GB, free: 10.02 MB / 0.8419 GB Notification: Performance of simplify1: time 0.0006326/0.5081, allocations: 450.5 kB / 1.098 GB, free: 9.801 MB / 0.8419 GB Notification: Performance of Alias: time 0.01518/0.5233, allocations: 14.59 MB / 1.112 GB, free: 1.508 MB / 0.8419 GB Notification: Performance of simplify2: time 0.0004922/0.5238, allocations: 297.3 kB / 1.113 GB, free: 1.375 MB / 0.8419 GB Notification: Performance of Events: time 0.00205/0.5259, allocations: 2.139 MB / 1.115 GB, free: 40 kB / 0.8419 GB Notification: Performance of Detect States: time 0.004063/0.5299, allocations: 3.076 MB / 1.118 GB, free: 14.68 MB / 0.8575 GB Notification: Performance of Partitioning: time 0.002768/0.5327, allocations: 2.5 MB / 1.12 GB, free: 13.18 MB / 0.8575 GB Error: Internal error NBSorting.tarjan failed to sort system: system vars Variables (327/355) ********************************* (1) [DISS] (1) protected Real enaDis2.delOutDamOsc.t_next (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] (2) Boolean[2] $SEV_46[$i1] (5) [DISS] (1) protected Boolean enaDis2.truFalHol.initialStep.oldActive (6) [DISC] (1) protected Integer enaDis2.truFalHol.stateGraphRoot.activeSteps (7) [DISC] (1) protected Boolean enaDis1.and1.y (8) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.outputTrue.inPort.occupied (9) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse.inPort.available (10) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue1.outPort.set (11) [DISS] (1) protected Real enaDis.delRetDam.t_next (12) [DISC] (1) protected Boolean enaDis2.truFalHol.toFalse.outPort.occupied (13) [DISC] (2) protected Boolean[2] enaDis2.truFalHol.outputFalse.inPort.occupied (14) [DISC] (2) Boolean[2] $SEV_73[$i1] (15) [DISC] (1) protected Boolean enaDis2.truFalHol.outputTrue.outerStatePort.localActive = enaDis2.truFalHol.outputTrue.outerStatePort.localActive (16) [DISC] (1) protected Boolean[1] enaDis.truFalHol.outputTrue.outPort.available (17) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.initialStep.outPort.reset (18) [DISC] (2) Boolean[2] $SEV_17[$i1] (19) [DISC] (1) protected Boolean enaDis2.truFalHol.toFalse1.outPort.set (20) [DISC] (2) protected Boolean[2] enaDis.truFalHol.outputFalse.inPort.occupied (21) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse1.outPort.set (22) [DISC] (1) protected Boolean enaDis.hysOutTem.y (23) [ALGB] (1) protected flow Real enaDis.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (24) [DISC] (1) protected Boolean enaDis2.truFalHol.toTrue1.inPort.available (25) [DISC] (1) protected Boolean[1] enaDis2.truFalHol.outputTrue.outPort.available (26) [ALGB] (1) protected flow Real enaDis1.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (27) [ALGB] (1) protected Real enaDis2.maxRetDamSwitch.y (28) [DISC] (1) protected Boolean[1] enaDis2.truFalHol.outputFalse.outPort.reset (29) [DISC] (1) protected Boolean enaDis1.maxRetDamSwitch.u2 (30) [DISS] (1) protected Boolean enaDis1.delRetDam.y (31) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse.outPort.set (32) [ALGB] (1) protected Real enaDis.minRetDamSwitch.y (33) [DISC] (1) protected final Boolean enaDis2.truFalHol.toTrue.localCondition = enaDis2.truFalHol.toTrue.localCondition (34) [DISC] (1) protected Boolean enaDis.truFalHol.outputFalse.newActive (35) [DISC] (1) protected Boolean enaDis2.and1.y (36) [DISS] (1) protected Real enaDis2.truFalHol.onDel1.t_next (37) [DISC] (2) Boolean[2] $SEV_16[$i1] (38) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue.outPort.occupied (39) [DISC] (1) protected Boolean enaDis2.truFalHol.toTrue.outPort.set (40) [ALGB] (1) protected Real enaDis.retDamSwitch.y (41) [ALGB] (1) protected Real enaDis2.retDamSwitch.y (42) [ALGB] (1) protected Real enaDis1.retDamSwitch.y (43) [DISC] (1) protected Boolean[1] enaDis1.truFalHol.outputFalse.outPort.available (44) [DISS] (1) protected Real enaDis.truFalHol.onDel2.t_next (45) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse.inPort.available (46) [ALGB] (1) protected Real enaDis.maxRetDamSwitch.y (47) [ALGB] (1) protected flow Real enaDis.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (48) [DISC] (1) protected Boolean enaDis2.truFalHol.outputTrue.newActive (49) [DISC] (1) protected Boolean[1] enaDis.truFalHol.outputFalse.outPort.reset (50) [DISC] (1) Boolean $TEV_9 (51) [DISC] (1) Boolean $TEV_8 (52) [DISC] (1) Boolean $TEV_7 (53) [DISC] (1) Boolean $TEV_5 (54) [DISC] (1) Boolean $TEV_3 (55) [DISC] (1) Boolean $TEV_2 (56) [DISC] (1) Boolean $TEV_1 (57) [DISC] (1) Boolean $TEV_0 (58) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse1.outPort.set (59) [DISS] (1) protected Boolean enaDis2.truFalHol.outputFalse.oldActive (60) [ALGB] (1) protected Real enaDis1.sub1.y (61) [DISS] (1) protected Real enaDis2.truFalHol.onDel2.t_next (62) [DISC] (1) protected Integer enaDis1.truFalHol.stateGraphRoot.activeSteps (63) [DISC] (1) protected Boolean[1] enaDis1.truFalHol.outputTrue.outPort.available (64) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue.outPort.set (65) [DISC] (1) protected Boolean enaDis.truFalHol.outputFalse.outerStatePort.localActive = enaDis.truFalHol.outputFalse.outerStatePort.localActive (66) [ALGB] (1) protected flow Real enaDis1.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (67) [DISS] (1) protected Boolean enaDis1.truFalHol.onDel1.y (68) [DISS] (1) protected Real enaDis.truFalHol.onDel1.t_next (69) [DISC] (2) protected Boolean[2] enaDis2.truFalHol.outputTrue.inPort.set (70) [DISC] (2) Boolean[2] $SEV_70[$i1] (71) [DISS] (1) protected Boolean enaDis2.delRetDam.y (72) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.initialStep.outPort.available (73) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue.outPort.set (74) [DISC] (1) protected Boolean enaDis2.truFalHol.outputFalse.outerStatePort.localActive = enaDis2.truFalHol.outputFalse.outerStatePort.localActive (75) [DISC] (1) protected Boolean enaDis2.truFalHol.toFalse.outPort.set (76) [DISC] (1) protected Boolean enaDis1.truFalHol.initialStep.outerStatePort.localActive = enaDis1.truFalHol.initialStep.outerStatePort.localActive (77) [DISC] (1) protected Boolean[1] enaDis2.truFalHol.outputTrue.outPort.reset (78) [ALGB] (1) protected Real enaDis1.sub2.y (79) [DISC] (1) protected Boolean enaDis1.truFalHol.initialStep.newActive (80) [DISS] (1) protected Boolean enaDis.truFalHol.outputTrue.oldActive (81) [ALGB] (1) protected Real enaDis2.minRetDamSwitch.y (82) [DISC] (1) protected final Boolean enaDis1.truFalHol.toTrue.localCondition = enaDis1.truFalHol.toTrue.localCondition (83) [DISS] (1) protected Boolean enaDis1.truFalHol.onDel2.y (84) [DISC] (1) protected Boolean enaDis.intEqu.y (85) [ALGB] (1) protected Real enaDis2.sub1.y (86) [DISS] (1) protected Real enaDis1.delOutDamOsc.t_next (87) [DISS] (1) protected Boolean enaDis1.truFalHol.outputTrue.oldActive (88) [DISC] (1) protected Boolean enaDis2.outDamSwitch.u2 (89) [DISC] (2) Boolean[2] $SEV_41[$i1] (90) [DISC] (1) protected Boolean enaDis2.truFalHol.toTrue1.outPort.occupied (91) [ALGB] (1) protected flow Real enaDis2.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (92) [DISC] (2) protected Boolean[2] enaDis2.truFalHol.outputTrue.inPort.occupied (93) [DISS] (1) protected Real enaDis1.delRetDam.t_next (94) [ALGB] (1) Real hOut.y (95) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.outputFalse.inPort.set (96) [DISC] (1) protected Boolean[1] enaDis1.truFalHol.outputFalse.outPort.reset (97) [DISC] (1) Boolean $SEV_76 (98) [DISC] (1) Boolean $SEV_75 (99) [DISC] (1) Boolean $SEV_74 (100) [DISC] (2) protected Boolean[2] enaDis2.truFalHol.outputFalse.inPort.set (101) [DISC] (1) Boolean $SEV_72 (102) [DISC] (1) protected Boolean enaDis2.intEqu.y (103) [DISC] (1) Boolean $SEV_9 (104) [DISC] (1) Boolean $SEV_71 (105) [DISC] (1) Boolean $SEV_8 (106) [DISC] (1) Boolean $SEV_7 (107) [DISC] (1) Boolean $SEV_6 (108) [DISC] (1) Boolean $SEV_5 (109) [DISC] (1) protected Boolean enaDis2.truFalHol.toFalse1.outPort.occupied (110) [DISS] (1) protected Boolean enaDis.delRetDam.y (111) [ALGB] (1) protected flow Real enaDis.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (112) [DISC] (1) protected Boolean enaDis.truFalHol.initialStep.newActive (113) [DISS] (1) protected Boolean enaDis1.truFalHol.outputFalse.oldActive (114) [DISS] (1) protected Boolean enaDis.and3.u2 (115) [DISC] (2) protected Boolean[2] enaDis.truFalHol.outputTrue.inPort.set (116) [DISC] (1) Boolean $SEV_69 (117) [DISC] (1) Boolean $SEV_68 (118) [DISC] (1) Boolean $SEV_67 (119) [DISC] (1) Boolean $SEV_66 (120) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse.outPort.occupied (121) [DISC] (1) protected Boolean enaDis1.hysOutTem.y (122) [DISC] (2) Boolean[2] $SEV_25[$i1] (123) [DISC] (1) Boolean $SEV_64 (124) [DISC] (1) Boolean $SEV_63 (125) [DISC] (1) protected final Boolean enaDis1.truFalHol.toFalse.localCondition = enaDis1.truFalHol.toFalse.localCondition (126) [DISC] (1) protected Boolean enaDis2.maxRetDamSwitch.u2 (127) [DISC] (1) Boolean $SEV_62 (128) [DISC] (1) Boolean $SEV_61 (129) [DISC] (1) Boolean $SEV_60 (130) [DISC] (1) protected final Boolean enaDis.truFalHol.toTrue1.localCondition = enaDis.truFalHol.toTrue1.localCondition (131) [DISS] (1) protected Boolean enaDis.truFalHol.onDel1.y (132) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue1.outPort.set (133) [DISC] (1) protected Boolean enaDis1.truFalHol.outputFalse.outerStatePort.localActive = enaDis1.truFalHol.outputFalse.outerStatePort.localActive (134) [DISC] (2) protected Boolean[2] enaDis.truFalHol.outputFalse.inPort.set (135) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.outputTrue.inPort.set (136) [DISS] (1) protected Boolean enaDis.truFalHol.outputFalse.oldActive (137) [DISC] (1) protected Boolean[1] enaDis.truFalHol.outputFalse.outPort.available (138) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue1.inPort.available (139) [DISC] (1) protected final Boolean enaDis2.truFalHol.toFalse.localCondition = enaDis2.truFalHol.toFalse.localCondition (140) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue.outPort.occupied (141) [DISC] (1) Boolean $SEV_59 (142) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse1.outPort.occupied (143) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue1.inPort.available (144) [DISC] (1) Boolean $SEV_58 (145) [DISC] (1) Boolean $SEV_57 (146) [DISC] (1) Boolean $SEV_56 (147) [DISC] (1) Boolean $SEV_55 (148) [DISC] (1) Boolean $SEV_54 (149) [DISC] (1) Boolean $SEV_53 (150) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue.inPort.available (151) [DISC] (1) Boolean $SEV_52 (152) [DISC] (1) Boolean $SEV_51 (153) [DISC] (1) Boolean $SEV_50 (154) [DISC] (1) Boolean $TEV_69 (155) [DISC] (1) Boolean $TEV_68 (156) [DISC] (1) protected Boolean enaDis.truFalHol.initialStep.outerStatePort.localActive = enaDis.truFalHol.initialStep.outerStatePort.localActive (157) [DISC] (1) Boolean $TEV_67 (158) [DISC] (1) Boolean $TEV_66 (159) [DISC] (1) protected Boolean enaDis2.truFalHol.initialStep.newActive (160) [DISC] (1) Boolean $TEV_65 (161) [DISC] (1) Boolean $TEV_64 (162) [DISC] (1) Boolean $TEV_63 (163) [DISC] (1) Boolean $TEV_61 (164) [DISC] (1) Boolean $TEV_60 (165) [DISC] (1) protected Boolean enaDis.and1.y (166) [ALGB] (1) protected flow Real enaDis2.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (167) [DISC] (1) protected Boolean enaDis.outDamSwitch.u2 (168) [DISC] (1) protected Boolean enaDis1.outDamSwitch.u2 (169) [DISS] (1) protected Real enaDis2.delRetDam.t_next (170) [DISC] (2) Boolean[2] $SEV_65[$i1] (171) [DISS] (1) protected Boolean enaDis.truFalHol.onDel2.y (172) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse.outPort.occupied (173) [ALGB] (1) protected Real enaDis1.outDamSwitch.y (174) [ALGB] (1) protected Real enaDis2.outDamSwitch.y (175) [DISC] (1) protected Boolean enaDis2.truFalHol.initialStep.outerStatePort.localActive = enaDis2.truFalHol.initialStep.outerStatePort.localActive (176) [DISC] (1) Boolean $SEV_48 (177) [DISC] (1) protected Boolean enaDis2.truFalHol.toTrue1.outPort.set (178) [DISC] (1) Boolean $SEV_47 (179) [DISC] (1) Boolean $SEV_45 (180) [DISC] (1) Boolean $SEV_44 (181) [DISC] (1) Boolean $SEV_43 (182) [DISC] (1) protected Boolean enaDis2.truFalHol.toFalse.inPort.available (183) [DISC] (1) Boolean $SEV_42 (184) [DISC] (1) Boolean $SEV_40 (185) [DISC] (1) Boolean $TEV_59 (186) [DISC] (1) Boolean $TEV_58 (187) [DISC] (1) Boolean $TEV_56 (188) [DISC] (1) Boolean $TEV_55 (189) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse1.inPort.available (190) [DISC] (1) protected Boolean enaDis2.truFalHol.toFalse1.inPort.available (191) [ALGB] (1) protected flow Real enaDis.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (192) [DISC] (1) Boolean $TEV_54 (193) [DISC] (1) Boolean $TEV_53 (194) [DISC] (1) Boolean $FUN_9 (195) [DISC] (1) Boolean $FUN_8 (196) [DISC] (1) Boolean $TEV_51 (197) [DISC] (1) Boolean $FUN_7 (198) [DISC] (1) protected Boolean enaDis2.truFalHol.outputFalse.newActive (199) [DISC] (1) Boolean $FUN_6 (200) [ALGB] (1) protected flow Real enaDis1.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (201) [DISC] (1) protected final Boolean enaDis.truFalHol.toTrue.localCondition = enaDis.truFalHol.toTrue.localCondition (202) [DISC] (1) Boolean $FUN_4 (203) [DISC] (1) Boolean $FUN_3 (204) [DISC] (1) Boolean $FUN_2 (205) [DISC] (1) Boolean $FUN_1 (206) [DISC] (1) protected Boolean enaDis1.hysOutEnt.y (207) [DISC] (1) Boolean enaDis1.andEnaDis.y (208) [DISC] (1) Boolean $SEV_39 (209) [DISC] (1) Boolean $SEV_38 (210) [DISC] (1) Boolean $SEV_37 (211) [DISC] (2) protected Boolean[2] enaDis2.truFalHol.initialStep.outPort.available (212) [DISC] (1) Boolean $SEV_36 (213) [ALGB] (1) protected Real enaDis1.maxRetDamSwitch.y (214) [DISC] (1) Boolean $SEV_35 (215) [DISC] (1) Boolean $SEV_34 (216) [DISC] (2) protected Boolean[2] enaDis2.truFalHol.initialStep.outPort.reset (217) [DISC] (1) protected Boolean enaDis2.truFalHol.toTrue.inPort.available (218) [DISC] (1) Boolean $SEV_33 (219) [DISC] (1) Boolean $SEV_32 (220) [DISC] (1) Boolean $SEV_31 (221) [DISC] (1) protected Boolean enaDis2.hysOutTem.y (222) [DISC] (1) Boolean $SEV_30 (223) [DISC] (1) Boolean $TEV_49 (224) [DISC] (1) Boolean $TEV_48 (225) [DISC] (1) Boolean $TEV_47 (226) [DISC] (1) Boolean $TEV_46 (227) [DISC] (1) Boolean $TEV_45 (228) [DISC] (1) Boolean $TEV_44 (229) [DISC] (1) Boolean $TEV_43 (230) [ALGB] (1) Real $FUN_18 (231) [DISC] (1) protected Boolean enaDis1.truFalHol.outputTrue.outerStatePort.localActive = enaDis1.truFalHol.outputTrue.outerStatePort.localActive (232) [DISC] (1) Boolean $TEV_42 (233) [ALGB] (1) Real $FUN_17 (234) [ALGB] (1) protected flow Real enaDis2.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (235) [DISC] (1) Boolean $TEV_41 (236) [DISC] (1) Boolean $FUN_16 (237) [DISC] (1) Boolean $TEV_40 (238) [DISC] (1) Boolean $FUN_15 (239) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.outputFalse.inPort.occupied (240) [DISC] (2) Boolean[2] $SEV_49[$i1] (241) [DISC] (1) Boolean $FUN_14 (242) [DISC] (1) Boolean $FUN_13 (243) [DISC] (1) Boolean $FUN_12 (244) [DISC] (1) Boolean $FUN_11 (245) [DISC] (1) protected Integer enaDis.truFalHol.stateGraphRoot.activeSteps (246) [DISC] (1) Boolean $FUN_10 (247) [DISS] (1) protected Real enaDis.delOutDamOsc.t_next (248) [DISC] (1) Boolean $SEV_29 (249) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue1.outPort.occupied (250) [DISC] (2) Boolean[2] $SEV_22[$i1] (251) [DISC] (1) Boolean $SEV_28 (252) [DISC] (1) Boolean $SEV_27 (253) [DISC] (1) Boolean $SEV_26 (254) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue.inPort.available (255) [DISC] (1) Boolean $SEV_24 (256) [DISC] (1) Boolean $SEV_23 (257) [DISC] (1) protected Boolean enaDis1.intEqu.y (258) [DISS] (1) protected Boolean enaDis1.truFalHol.initialStep.oldActive (259) [DISC] (1) Boolean $SEV_21 (260) [ALGB] (1) protected Real enaDis1.minRetDamSwitch.y (261) [DISC] (1) Boolean $SEV_20 (262) [DISC] (1) Boolean $TEV_38 (263) [DISC] (1) protected Boolean[1] enaDis2.truFalHol.outputFalse.outPort.available (264) [DISC] (1) Boolean $TEV_37 (265) [DISC] (1) Boolean $TEV_36 (266) [DISC] (2) protected Boolean[2] enaDis.truFalHol.initialStep.outPort.available (267) [DISC] (1) Boolean $TEV_35 (268) [DISC] (1) protected Boolean enaDis2.truFalHol.toTrue.outPort.occupied (269) [DISC] (1) Boolean $TEV_33 (270) [DISS] (1) protected Boolean enaDis2.truFalHol.outputTrue.oldActive (271) [DISC] (1) Boolean $TEV_32 (272) [DISC] (1) Boolean $TEV_31 (273) [DISC] (1) Boolean $TEV_30 (274) [DISC] (1) protected final Boolean enaDis.truFalHol.toFalse.localCondition = enaDis.truFalHol.toFalse.localCondition (275) [DISC] (2) protected Boolean[2] enaDis.truFalHol.initialStep.outPort.reset (276) [DISC] (1) protected Boolean enaDis1.truFalHol.outputTrue.newActive (277) [DISC] (1) protected Boolean enaDis.truFalHol.outputTrue.outerStatePort.localActive = enaDis.truFalHol.outputTrue.outerStatePort.localActive (278) [ALGB] (1) protected flow Real enaDis1.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (279) [DISC] (1) protected Boolean[1] enaDis1.truFalHol.outputTrue.outPort.reset (280) [DISS] (1) protected Real enaDis1.truFalHol.onDel2.t_next (281) [DISS] (1) protected Boolean enaDis2.truFalHol.onDel2.y (282) [ALGB] (1) Real enaDis.TOut (283) [DISC] (1) Boolean $SEV_19 (284) [DISC] (1) Boolean $SEV_18 (285) [DISC] (1) Boolean $SEV_15 (286) [DISC] (1) Boolean $SEV_14 (287) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse1.outPort.occupied (288) [DISC] (1) Boolean $SEV_13 (289) [DISC] (1) Boolean $SEV_12 (290) [DISC] (1) Boolean $SEV_11 (291) [DISC] (1) Boolean $SEV_10 (292) [DISC] (1) Boolean $TEV_28 (293) [ALGB] (1) protected Real enaDis.sub1.y (294) [DISC] (1) Boolean $TEV_26 (295) [DISC] (1) Boolean $TEV_25 (296) [DISC] (1) Boolean $TEV_24 (297) [DISC] (1) Boolean $TEV_23 (298) [DISC] (1) Boolean $TEV_22 (299) [DISC] (1) Boolean $TEV_21 (300) [DISC] (1) Boolean $TEV_20 (301) [DISC] (1) protected Boolean enaDis.maxRetDamSwitch.u2 (302) [DISC] (1) protected Boolean[1] enaDis.truFalHol.outputTrue.outPort.reset (303) [ALGB] (1) protected Real enaDis.outDamSwitch.y (304) [DISC] (1) Boolean enaDis2.andEnaDis.y (305) [DISC] (1) Boolean enaDis.andEnaDis.y (306) [DISC] (1) protected Boolean enaDis.hysOutEnt.y (307) [DISC] (1) Boolean $TEV_19 (308) [DISC] (1) Boolean $TEV_18 (309) [DISC] (1) protected Boolean enaDis1.truFalHol.outputFalse.newActive (310) [DISS] (1) protected Boolean enaDis2.truFalHol.onDel1.y (311) [DISS] (1) protected Boolean enaDis.truFalHol.initialStep.oldActive (312) [DISC] (1) Boolean $TEV_17 (313) [DISC] (1) Boolean $TEV_15 (314) [DISC] (1) Boolean $TEV_14 (315) [DISC] (1) Boolean $TEV_13 (316) [ALGB] (1) protected flow Real enaDis2.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (317) [DISC] (1) Boolean $TEV_12 (318) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse.outPort.set (319) [DISC] (1) Boolean $TEV_10 (320) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse1.inPort.available (321) [DISS] (1) protected Boolean enaDis2.and3.u2 (322) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue1.outPort.occupied (323) [ALGB] (1) protected Real enaDis.sub2.y (324) [DISS] (1) protected Real enaDis1.truFalHol.onDel1.t_next (325) [DISS] (1) protected Boolean enaDis1.and3.u2 (326) [DISC] (1) protected final Boolean enaDis2.truFalHol.toTrue1.localCondition = enaDis2.truFalHol.toTrue1.localCondition (327) [DISC] (1) protected Boolean enaDis.truFalHol.outputTrue.newActive system eqns Equations (351/379) ********************************* (1) [FOR-] (2) ($RES_SIM_254) (1) [----] for $i1 in 1:2 loop (1) [----] [SCAL] (1) enaDis1.truFalHol.outputTrue.inPort[$i1].set = false ($RES_SIM_255) (1) [----] end for; (2) [SCAL] (1) $TEV_40 = $PRE.enaDis1.truFalHol.outputFalse.oldActive ($RES_EVT_725) (3) [SCAL] (1) $TEV_41 = $PRE.enaDis1.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_726) (4) [SCAL] (1) enaDis1.truFalHol.outputTrue.outPort[1].available = enaDis1.truFalHol.outputTrue.outerStatePort.localActive ($RES_SIM_256) (5) [SCAL] (1) $TEV_42 = $PRE.enaDis1.truFalHol.outputFalse.newActive ($RES_EVT_727) (6) [FOR-] (2) ($RES_SIM_257) (6) [----] for $i1 in 1:2 loop (6) [----] [SCAL] (1) enaDis1.truFalHol.outputTrue.inPort[$i1].occupied = if $SEV_16[$i1] then enaDis1.truFalHol.outputTrue.outerStatePort.localActive else $SEV_46[$i1] ($RES_SIM_258) (6) [----] end for; (7) [SCAL] (1) $TEV_43 = $PRE.enaDis1.truFalHol.onDel2.t_next ($RES_EVT_728) (8) [SCAL] (1) $TEV_44 = $PRE.enaDis1.truFalHol.onDel1.t_next ($RES_EVT_729) (9) [WHEN] (1)when false then (9) [----] enaDis1.truFalHol.outputTrue.oldActive := enaDis1.truFalHol.outputTrue.outerStatePort.localActive (9) [----] end when; (10) [FOR-] (2) ($RES_EVT_810) (10) [----] for $i1 in 1:2 loop (10) [----] [SCAL] (1) $SEV_49[$i1] = enaDis1.truFalHol.outputFalse.inPort[$i1 - 1].occupied or enaDis1.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_811) (10) [----] end for; (11) [SCAL] (1) $SEV_50 = $FUN_7 or enaDis1.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_8 ($RES_EVT_812) (12) [SCAL] (1) $SEV_51 = time >= $PRE.enaDis1.truFalHol.onDel2.t_next ($RES_EVT_813) (13) [SCAL] (1) $SEV_52 = time >= $PRE.enaDis1.truFalHol.onDel1.t_next ($RES_EVT_814) (14) [SCAL] (1) enaDis.truFalHol.outputTrue.outPort[1].reset = false ($RES_SIM_344) (15) [SCAL] (1) $SEV_53 = enaDis.hysOutTem.y or enaDis.hysOutEnt.y ($RES_EVT_815) (16) [FOR-] (2) ($RES_SIM_345) (16) [----] for $i1 in 1:2 loop (16) [----] [SCAL] (1) enaDis.truFalHol.outputTrue.inPort[$i1].set = false ($RES_SIM_346) (16) [----] end for; (17) [SCAL] (1) enaDis2.truFalHol.outputTrue.outerStatePort.localActive = $TEV_14 ($RES_SIM_170) (18) [SCAL] (1) $SEV_54 = time >= $PRE.enaDis.delRetDam.t_next ($RES_EVT_816) (19) [SCAL] (1) $SEV_55 = time >= $PRE.enaDis.delOutDamOsc.t_next ($RES_EVT_817) (20) [SCAL] (1) enaDis.truFalHol.outputTrue.outPort[1].available = enaDis.truFalHol.outputTrue.outerStatePort.localActive ($RES_SIM_347) (21) [SCAL] (1) enaDis2.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if enaDis2.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_172) (22) [SCAL] (1) $SEV_56 = freProSta.k == enaDis.conInt.k ($RES_EVT_818) (23) [FOR-] (2) ($RES_SIM_348) (23) [----] for $i1 in 1:2 loop (23) [----] [SCAL] (1) enaDis.truFalHol.outputTrue.inPort[$i1].occupied = if $SEV_16[$i1] then enaDis.truFalHol.outputTrue.outerStatePort.localActive else $SEV_70[$i1] ($RES_SIM_349) (23) [----] end for; (24) [SCAL] (1) $SEV_57 = not enaDis.andEnaDis.y and enaDis.and3.u2 ($RES_EVT_819) (25) [SCAL] (1) enaDis2.truFalHol.toTrue.outPort.set = $SEV_24 ($RES_SIM_176) (26) [SCAL] (1) enaDis.truFalHol.initialStep.outPort[2].reset = enaDis.truFalHol.toFalse1.outPort.set ($RES_SIM_605) (27) [SCAL] (1) enaDis.truFalHol.initialStep.outPort[2].available = enaDis.truFalHol.toFalse1.inPort.available ($RES_SIM_606) (28) [SCAL] (1) enaDis.truFalHol.initialStep.outPort[1].reset = enaDis.truFalHol.toTrue1.outPort.set ($RES_SIM_607) (29) [SCAL] (1) enaDis.truFalHol.initialStep.outPort[1].available = enaDis.truFalHol.toTrue1.inPort.available ($RES_SIM_608) (30) [SCAL] (1) enaDis.truFalHol.toFalse1.outPort.set = enaDis.truFalHol.outputFalse.inPort[2].set ($RES_SIM_609) (31) [SCAL] (1) $TEV_45 = $PRE.enaDis.delRetDam.t_next ($RES_EVT_730) (32) [SCAL] (1) enaDis1.truFalHol.outputTrue.newActive = $SEV_47 ($RES_SIM_260) (33) [SCAL] (1) $TEV_46 = $PRE.enaDis.delOutDamOsc.t_next ($RES_EVT_731) (34) [SCAL] (1) enaDis1.truFalHol.outputTrue.outerStatePort.localActive = $TEV_37 ($RES_SIM_261) (35) [SCAL] (1) $TEV_47 = $PRE.enaDis.hysOutEnt.y ($RES_EVT_732) (36) [SCAL] (1) $TEV_48 = $PRE.enaDis.hysOutTem.y ($RES_EVT_733) (37) [SCAL] (1) enaDis1.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if enaDis1.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_263) (38) [SCAL] (1) $TEV_49 = $PRE.enaDis.truFalHol.toFalse1.outPort.set ($RES_EVT_734) (39) [SCAL] (1) $TEV_51 = $PRE.enaDis.truFalHol.toTrue1.outPort.set ($RES_EVT_736) (40) [SCAL] (1) enaDis1.truFalHol.toTrue.outPort.set = $SEV_48 ($RES_SIM_267) (41) [SCAL] (1) $TEV_53 = $PRE.enaDis.truFalHol.initialStep.oldActive ($RES_EVT_738) (42) [SCAL] (1) $TEV_54 = $PRE.enaDis.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_739) (43) [SCAL] (1) $SEV_58 = enaDis.truFalHol.outputTrue.outerStatePort.localActive and supFanSta.k ($RES_EVT_820) (44) [WHEN] (1)when false then (44) [----] enaDis.truFalHol.outputTrue.oldActive := enaDis.truFalHol.outputTrue.outerStatePort.localActive (44) [----] end when; (45) [SCAL] (1) $SEV_59 = not enaDis.andEnaDis.y and not enaDis.delRetDam.y ($RES_EVT_821) (46) [SCAL] (1) enaDis.truFalHol.outputTrue.newActive = $SEV_71 ($RES_SIM_351) (47) [SCAL] (1) $SEV_60 = 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_822) (48) [SCAL] (1) enaDis.truFalHol.outputTrue.outerStatePort.localActive = $TEV_60 ($RES_SIM_352) (49) [SCAL] (1) $SEV_61 = 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_823) (50) [SCAL] (1) $SEV_62 = enaDis.and1.y and enaDis.intEqu.y ($RES_EVT_824) (51) [SCAL] (1) enaDis.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if enaDis.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_354) (52) [SCAL] (1) $SEV_63 = (not enaDis.truFalHol.toTrue1.localCondition and enaDis.truFalHol.toFalse1.inPort.available) and not enaDis.truFalHol.toFalse1.outPort.occupied ($RES_EVT_825) (53) [SCAL] (1) $SEV_64 = (enaDis.truFalHol.toTrue1.localCondition and enaDis.truFalHol.toTrue1.inPort.available) and not enaDis.truFalHol.toTrue1.outPort.occupied ($RES_EVT_826) (54) [SCAL] (1) enaDis2.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_181) (55) [FOR-] (2) ($RES_EVT_827) (55) [----] for $i1 in 1:2 loop (55) [----] [SCAL] (1) $SEV_65[$i1] = enaDis.truFalHol.initialStep.outPort[$i1 - 1].available and not enaDis.truFalHol.initialStep.outPort[$i1 - 1].reset ($RES_EVT_828) (55) [----] end for; (56) [FOR-] (2) ($RES_SIM_182) (56) [----] for $i1 in 1:2 loop (56) [----] [SCAL] (1) enaDis2.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_183) (56) [----] end for; (57) [SCAL] (1) enaDis.truFalHol.toTrue.outPort.set = $SEV_72 ($RES_SIM_358) (58) [SCAL] (1) $SEV_66 = enaDis.truFalHol.initialStep.outerStatePort.localActive and not $FUN_6 ($RES_EVT_829) (59) [SCAL] (1) enaDis2.truFalHol.outputFalse.outPort[1].available = enaDis2.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_184) (60) [SCAL] (1) enaDis.truFalHol.toFalse1.outPort.occupied = enaDis.truFalHol.outputFalse.inPort[2].occupied ($RES_SIM_610) (61) [FOR-] (2) ($RES_SIM_185) (61) [----] for $i1 in 1:2 loop (61) [----] [SCAL] (1) enaDis2.truFalHol.outputFalse.inPort[$i1].occupied = if $SEV_16[$i1] then enaDis2.truFalHol.outputFalse.outerStatePort.localActive else $SEV_25[$i1] ($RES_SIM_186) (61) [----] end for; (62) [SCAL] (1) enaDis.truFalHol.toTrue.outPort.set = enaDis.truFalHol.outputTrue.inPort[2].set ($RES_SIM_611) (63) [SCAL] (1) enaDis.truFalHol.toTrue.outPort.occupied = enaDis.truFalHol.outputTrue.inPort[2].occupied ($RES_SIM_612) (64) [WHEN] (1)when false then (64) [----] enaDis2.truFalHol.outputFalse.oldActive := enaDis2.truFalHol.outputFalse.outerStatePort.localActive (64) [----] end when; (65) [SCAL] (1) enaDis.truFalHol.toTrue1.outPort.set = enaDis.truFalHol.outputTrue.inPort[1].set ($RES_SIM_613) (66) [SCAL] (1) enaDis2.truFalHol.outputFalse.newActive = $SEV_26 ($RES_SIM_188) (67) [SCAL] (1) enaDis.truFalHol.toTrue1.outPort.occupied = enaDis.truFalHol.outputTrue.inPort[1].occupied ($RES_SIM_614) (68) [SCAL] (1) enaDis2.truFalHol.outputFalse.outerStatePort.localActive = $TEV_19 ($RES_SIM_189) (69) [SCAL] (1) $TEV_55 = $PRE.enaDis.truFalHol.initialStep.newActive ($RES_EVT_740) (70) [SCAL] (1) $TEV_56 = $PRE.enaDis.truFalHol.toFalse.outPort.set ($RES_EVT_741) (71) [SCAL] (1) enaDis1.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_272) (72) [SCAL] (1) $TEV_58 = $PRE.enaDis.truFalHol.outputTrue.oldActive ($RES_EVT_743) (73) [FOR-] (2) ($RES_SIM_273) (73) [----] for $i1 in 1:2 loop (73) [----] [SCAL] (1) enaDis1.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_274) (73) [----] end for; (74) [SCAL] (1) $TEV_59 = $PRE.enaDis.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_744) (75) [SCAL] (1) $TEV_60 = $PRE.enaDis.truFalHol.outputTrue.newActive ($RES_EVT_745) (76) [SCAL] (1) enaDis1.truFalHol.outputFalse.outPort[1].available = enaDis1.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_275) (77) [SCAL] (1) $TEV_61 = $PRE.enaDis.truFalHol.toTrue.outPort.set ($RES_EVT_746) (78) [FOR-] (2) ($RES_SIM_276) (78) [----] for $i1 in 1:2 loop (78) [----] [SCAL] (1) enaDis1.truFalHol.outputFalse.inPort[$i1].occupied = if $SEV_16[$i1] then enaDis1.truFalHol.outputFalse.outerStatePort.localActive else $SEV_49[$i1] ($RES_SIM_277) (78) [----] end for; (79) [SCAL] (1) $TEV_63 = $PRE.enaDis.truFalHol.outputFalse.oldActive ($RES_EVT_748) (80) [WHEN] (1)when false then (80) [----] enaDis1.truFalHol.outputFalse.oldActive := enaDis1.truFalHol.outputFalse.outerStatePort.localActive (80) [----] end when; (81) [SCAL] (1) $TEV_64 = $PRE.enaDis.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_749) (82) [SCAL] (1) enaDis1.truFalHol.outputFalse.newActive = $SEV_50 ($RES_SIM_279) (83) [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[2].reset = enaDis1.truFalHol.toFalse1.outPort.set ($RES_SIM_530) (84) [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[2].available = enaDis1.truFalHol.toFalse1.inPort.available ($RES_SIM_531) (85) [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[1].reset = enaDis1.truFalHol.toTrue1.outPort.set ($RES_SIM_532) (86) [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[1].available = enaDis1.truFalHol.toTrue1.inPort.available ($RES_SIM_533) (87) [SCAL] (1) $SEV_67 = enaDis.truFalHol.onDel1.y and enaDis.truFalHol.toTrue1.localCondition ($RES_EVT_830) (88) [SCAL] (1) enaDis1.truFalHol.toFalse1.outPort.set = enaDis1.truFalHol.outputFalse.inPort[2].set ($RES_SIM_534) (89) [SCAL] (1) $SEV_68 = enaDis.truFalHol.onDel2.y and not enaDis.truFalHol.toTrue1.localCondition ($RES_EVT_831) (90) [SCAL] (1) enaDis1.truFalHol.toFalse1.outPort.occupied = enaDis1.truFalHol.outputFalse.inPort[2].occupied ($RES_SIM_535) (91) [SCAL] (1) $SEV_69 = (enaDis.truFalHol.toFalse.localCondition and enaDis.truFalHol.toFalse.inPort.available) and not enaDis.truFalHol.toFalse.outPort.occupied ($RES_EVT_832) (92) [SCAL] (1) enaDis1.truFalHol.toTrue.outPort.set = enaDis1.truFalHol.outputTrue.inPort[2].set ($RES_SIM_536) (93) [FOR-] (2) ($RES_EVT_833) (93) [----] for $i1 in 1:2 loop (93) [----] [SCAL] (1) $SEV_70[$i1] = enaDis.truFalHol.outputTrue.inPort[$i1 - 1].occupied or enaDis.truFalHol.outputTrue.inPort[$i1 - 1].set ($RES_EVT_834) (93) [----] end for; (94) [SCAL] (1) enaDis1.truFalHol.toTrue.outPort.occupied = enaDis1.truFalHol.outputTrue.inPort[2].occupied ($RES_SIM_537) (95) [SCAL] (1) enaDis1.truFalHol.toTrue1.outPort.set = enaDis1.truFalHol.outputTrue.inPort[1].set ($RES_SIM_538) (96) [SCAL] (1) enaDis.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_363) (97) [SCAL] (1) $SEV_71 = $FUN_3 or enaDis.truFalHol.outputTrue.outerStatePort.localActive and not $FUN_4 ($RES_EVT_835) (98) [SCAL] (1) enaDis1.truFalHol.toTrue1.outPort.occupied = enaDis1.truFalHol.outputTrue.inPort[1].occupied ($RES_SIM_539) (99) [FOR-] (2) ($RES_SIM_364) (99) [----] for $i1 in 1:2 loop (99) [----] [SCAL] (1) enaDis.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_365) (99) [----] end for; (100) [SCAL] (1) $SEV_72 = (enaDis.truFalHol.toTrue.localCondition and enaDis.truFalHol.toTrue.inPort.available) and not enaDis.truFalHol.toTrue.outPort.occupied ($RES_EVT_836) (101) [SCAL] (1) enaDis2.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if enaDis2.truFalHol.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_191) (102) [FOR-] (2) ($RES_EVT_837) (102) [----] for $i1 in 1:2 loop (102) [----] [SCAL] (1) $SEV_73[$i1] = enaDis.truFalHol.outputFalse.inPort[$i1 - 1].occupied or enaDis.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_838) (102) [----] end for; (103) [SCAL] (1) enaDis.truFalHol.outputFalse.outPort[1].available = enaDis.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_366) (104) [FOR-] (2) ($RES_SIM_367) (104) [----] for $i1 in 1:2 loop (104) [----] [SCAL] (1) enaDis.truFalHol.outputFalse.inPort[$i1].occupied = if $SEV_16[$i1] then enaDis.truFalHol.outputFalse.outerStatePort.localActive else $SEV_73[$i1] ($RES_SIM_368) (104) [----] end for; (105) [SCAL] (1) $SEV_74 = $FUN_1 or enaDis.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_2 ($RES_EVT_839) (106) [WHEN] (1)when false then (106) [----] enaDis.truFalHol.outputFalse.oldActive := enaDis.truFalHol.outputFalse.outerStatePort.localActive (106) [----] end when; (107) [SCAL] (1) enaDis2.truFalHol.stateGraphRoot.activeSteps = -integer(enaDis2.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_195) (108) [WHEN] (1)when $SEV_27 then (108) [----] enaDis2.truFalHol.onDel2.y := enaDis2.truFalHol.outputTrue.outerStatePort.localActive (108) [----] else when not enaDis2.truFalHol.outputTrue.outerStatePort.localActive then (108) [----] enaDis2.truFalHol.onDel2.y := false (108) [----] else when enaDis2.truFalHol.outputTrue.outerStatePort.localActive then (108) [----] enaDis2.truFalHol.onDel2.y := not enaDis2.truFalHol.onDel2.delayTime > 0.0 (108) [----] else when initial() then (108) [----] 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 (108) [----] end when; (109) [WHEN] (1)when $SEV_27 then (109) [----] enaDis2.truFalHol.onDel2.t_next := enaDis2.truFalHol.onDel2.t_past (109) [----] else when not enaDis2.truFalHol.outputTrue.outerStatePort.localActive then (109) [----] enaDis2.truFalHol.onDel2.t_next := enaDis2.truFalHol.onDel2.t_past (109) [----] else when enaDis2.truFalHol.outputTrue.outerStatePort.localActive then (109) [----] enaDis2.truFalHol.onDel2.t_next := time + enaDis2.truFalHol.onDel2.delayTime (109) [----] else when initial() then (109) [----] enaDis2.truFalHol.onDel2.t_next := if not enaDis2.truFalHol.onDel2.delayOnInit then enaDis2.truFalHol.onDel2.t_past else time + enaDis2.truFalHol.onDel2.delayTime (109) [----] end when; (110) [SCAL] (1) enaDis.truFalHol.toFalse.outPort.set = enaDis.truFalHol.outputFalse.inPort[1].set ($RES_SIM_623) (111) [WHEN] (1)when $SEV_28 then (111) [----] enaDis2.truFalHol.onDel1.y := enaDis2.truFalHol.outputFalse.outerStatePort.localActive (111) [----] else when not enaDis2.truFalHol.outputFalse.outerStatePort.localActive then (111) [----] enaDis2.truFalHol.onDel1.y := false (111) [----] else when enaDis2.truFalHol.outputFalse.outerStatePort.localActive then (111) [----] enaDis2.truFalHol.onDel1.y := not enaDis2.truFalHol.onDel1.delayTime > 0.0 (111) [----] else when initial() then (111) [----] 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 (111) [----] end when; (112) [SCAL] (1) enaDis.truFalHol.toFalse.outPort.occupied = enaDis.truFalHol.outputFalse.inPort[1].occupied ($RES_SIM_624) (113) [WHEN] (1)when $SEV_28 then (113) [----] enaDis2.truFalHol.onDel1.t_next := enaDis2.truFalHol.onDel1.t_past (113) [----] else when not enaDis2.truFalHol.outputFalse.outerStatePort.localActive then (113) [----] enaDis2.truFalHol.onDel1.t_next := enaDis2.truFalHol.onDel1.t_past (113) [----] else when enaDis2.truFalHol.outputFalse.outerStatePort.localActive then (113) [----] enaDis2.truFalHol.onDel1.t_next := time + enaDis2.truFalHol.onDel1.delayTime (113) [----] else when initial() then (113) [----] enaDis2.truFalHol.onDel1.t_next := if not enaDis2.truFalHol.onDel1.delayOnInit then enaDis2.truFalHol.onDel1.t_past else time + enaDis2.truFalHol.onDel1.delayTime (113) [----] end when; (114) [SCAL] (1) enaDis.truFalHol.outputFalse.outPort[1].reset = enaDis.truFalHol.toTrue.outPort.set ($RES_SIM_625) (115) [SCAL] (1) enaDis.truFalHol.outputFalse.outPort[1].available = enaDis.truFalHol.toTrue.inPort.available ($RES_SIM_626) (116) [SCAL] (1) enaDis.truFalHol.outputTrue.outPort[1].reset = enaDis.truFalHol.toFalse.outPort.set ($RES_SIM_629) (117) [SCAL] (1) $TEV_65 = $PRE.enaDis.truFalHol.outputFalse.newActive ($RES_EVT_750) (118) [SCAL] (1) enaDis2.truFalHol.initialStep.outPort[2].reset = enaDis2.truFalHol.toFalse1.outPort.set ($RES_SIM_455) (119) [SCAL] (1) enaDis1.truFalHol.outputFalse.outerStatePort.localActive = $TEV_42 ($RES_SIM_280) (120) [SCAL] (1) $TEV_66 = $PRE.enaDis.truFalHol.onDel2.t_next ($RES_EVT_751) (121) [SCAL] (1) enaDis2.truFalHol.initialStep.outPort[2].available = enaDis2.truFalHol.toFalse1.inPort.available ($RES_SIM_456) (122) [SCAL] (1) $TEV_67 = $PRE.enaDis.truFalHol.onDel1.t_next ($RES_EVT_752) (123) [SCAL] (1) enaDis2.truFalHol.initialStep.outPort[1].reset = enaDis2.truFalHol.toTrue1.outPort.set ($RES_SIM_457) (124) [SCAL] (1) enaDis1.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if enaDis1.truFalHol.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_282) (125) [SCAL] (1) $TEV_68 = time < hOut.startTime ($RES_EVT_753) (126) [SCAL] (1) enaDis2.truFalHol.initialStep.outPort[1].available = enaDis2.truFalHol.toTrue1.inPort.available ($RES_SIM_458) (127) [SCAL] (1) $TEV_69 = time < TOut.startTime ($RES_EVT_754) (128) [SCAL] (1) enaDis2.truFalHol.toFalse1.outPort.set = enaDis2.truFalHol.outputFalse.inPort[2].set ($RES_SIM_459) (129) [SCAL] (1) enaDis1.truFalHol.stateGraphRoot.activeSteps = -integer(enaDis1.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_286) (130) [WHEN] (1)when $SEV_51 then (130) [----] enaDis1.truFalHol.onDel2.t_next := enaDis1.truFalHol.onDel2.t_past (130) [----] else when not enaDis1.truFalHol.outputTrue.outerStatePort.localActive then (130) [----] enaDis1.truFalHol.onDel2.t_next := enaDis1.truFalHol.onDel2.t_past (130) [----] else when enaDis1.truFalHol.outputTrue.outerStatePort.localActive then (130) [----] enaDis1.truFalHol.onDel2.t_next := time + enaDis1.truFalHol.onDel2.delayTime (130) [----] else when initial() then (130) [----] enaDis1.truFalHol.onDel2.t_next := if not enaDis1.truFalHol.onDel2.delayOnInit then enaDis1.truFalHol.onDel2.t_past else time + enaDis1.truFalHol.onDel2.delayTime (130) [----] end when; (131) [WHEN] (1)when $SEV_51 then (131) [----] enaDis1.truFalHol.onDel2.y := enaDis1.truFalHol.outputTrue.outerStatePort.localActive (131) [----] else when not enaDis1.truFalHol.outputTrue.outerStatePort.localActive then (131) [----] enaDis1.truFalHol.onDel2.y := false (131) [----] else when enaDis1.truFalHol.outputTrue.outerStatePort.localActive then (131) [----] enaDis1.truFalHol.onDel2.y := not enaDis1.truFalHol.onDel2.delayTime > 0.0 (131) [----] else when initial() then (131) [----] 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 (131) [----] end when; (132) [WHEN] (1)when $SEV_52 then (132) [----] enaDis1.truFalHol.onDel1.y := enaDis1.truFalHol.outputFalse.outerStatePort.localActive (132) [----] else when not enaDis1.truFalHol.outputFalse.outerStatePort.localActive then (132) [----] enaDis1.truFalHol.onDel1.y := false (132) [----] else when enaDis1.truFalHol.outputFalse.outerStatePort.localActive then (132) [----] enaDis1.truFalHol.onDel1.y := not enaDis1.truFalHol.onDel1.delayTime > 0.0 (132) [----] else when initial() then (132) [----] 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 (132) [----] end when; (133) [SCAL] (1) $SEV_75 = time >= $PRE.enaDis.truFalHol.onDel2.t_next ($RES_EVT_840) (134) [SCAL] (1) $SEV_76 = time >= $PRE.enaDis.truFalHol.onDel1.t_next ($RES_EVT_841) (135) [SCAL] (1) enaDis.truFalHol.outputFalse.newActive = $SEV_74 ($RES_SIM_370) (136) [SCAL] (1) enaDis.truFalHol.outputFalse.outerStatePort.localActive = $TEV_65 ($RES_SIM_371) (137) [SCAL] (1) enaDis1.truFalHol.toFalse.outPort.set = enaDis1.truFalHol.outputFalse.inPort[1].set ($RES_SIM_548) (138) [SCAL] (1) enaDis.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if enaDis.truFalHol.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_373) (139) [SCAL] (1) enaDis1.truFalHol.toFalse.outPort.occupied = enaDis1.truFalHol.outputFalse.inPort[1].occupied ($RES_SIM_549) (140) [SCAL] (1) enaDis.truFalHol.stateGraphRoot.activeSteps = -integer(enaDis.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_377) (141) [WHEN] (1)when $SEV_75 then (141) [----] enaDis.truFalHol.onDel2.t_next := enaDis.truFalHol.onDel2.t_past (141) [----] else when not enaDis.truFalHol.outputTrue.outerStatePort.localActive then (141) [----] enaDis.truFalHol.onDel2.t_next := enaDis.truFalHol.onDel2.t_past (141) [----] else when enaDis.truFalHol.outputTrue.outerStatePort.localActive then (141) [----] enaDis.truFalHol.onDel2.t_next := time + enaDis.truFalHol.onDel2.delayTime (141) [----] else when initial() then (141) [----] enaDis.truFalHol.onDel2.t_next := if not enaDis.truFalHol.onDel2.delayOnInit then enaDis.truFalHol.onDel2.t_past else time + enaDis.truFalHol.onDel2.delayTime (141) [----] end when; (142) [SCAL] (1) enaDis.truFalHol.outputTrue.outPort[1].available = enaDis.truFalHol.toFalse.inPort.available ($RES_SIM_630) (143) [WHEN] (1)when $SEV_75 then (143) [----] enaDis.truFalHol.onDel2.y := enaDis.truFalHol.outputTrue.outerStatePort.localActive (143) [----] else when not enaDis.truFalHol.outputTrue.outerStatePort.localActive then (143) [----] enaDis.truFalHol.onDel2.y := false (143) [----] else when enaDis.truFalHol.outputTrue.outerStatePort.localActive then (143) [----] enaDis.truFalHol.onDel2.y := not enaDis.truFalHol.onDel2.delayTime > 0.0 (143) [----] else when initial() then (143) [----] 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 (143) [----] end when; (144) [SCAL] (1) enaDis2.truFalHol.toFalse1.outPort.occupied = enaDis2.truFalHol.outputFalse.inPort[2].occupied ($RES_SIM_460) (145) [SCAL] (1) enaDis2.truFalHol.toTrue.outPort.set = enaDis2.truFalHol.outputTrue.inPort[2].set ($RES_SIM_461) (146) [SCAL] (1) enaDis2.truFalHol.toTrue.outPort.occupied = enaDis2.truFalHol.outputTrue.inPort[2].occupied ($RES_SIM_462) (147) [SCAL] (1) enaDis2.truFalHol.toTrue1.outPort.set = enaDis2.truFalHol.outputTrue.inPort[1].set ($RES_SIM_463) (148) [SCAL] (1) enaDis2.truFalHol.toTrue1.outPort.occupied = enaDis2.truFalHol.outputTrue.inPort[1].occupied ($RES_SIM_464) (149) [SCAL] (1) $SEV_5 = enaDis2.hysOutTem.y or enaDis2.entSubst1.k ($RES_EVT_760) (150) [WHEN] (1)when $SEV_52 then (150) [----] enaDis1.truFalHol.onDel1.t_next := enaDis1.truFalHol.onDel1.t_past (150) [----] else when not enaDis1.truFalHol.outputFalse.outerStatePort.localActive then (150) [----] enaDis1.truFalHol.onDel1.t_next := enaDis1.truFalHol.onDel1.t_past (150) [----] else when enaDis1.truFalHol.outputFalse.outerStatePort.localActive then (150) [----] enaDis1.truFalHol.onDel1.t_next := time + enaDis1.truFalHol.onDel1.delayTime (150) [----] else when initial() then (150) [----] enaDis1.truFalHol.onDel1.t_next := if not enaDis1.truFalHol.onDel1.delayOnInit then enaDis1.truFalHol.onDel1.t_past else time + enaDis1.truFalHol.onDel1.delayTime (150) [----] end when; (151) [SCAL] (1) $SEV_6 = time >= $PRE.enaDis2.delRetDam.t_next ($RES_EVT_761) (152) [SCAL] (1) enaDis.truFalHol.toTrue1.localCondition = $SEV_53 ($RES_SIM_291) (153) [SCAL] (1) $SEV_7 = time >= $PRE.enaDis2.delOutDamOsc.t_next ($RES_EVT_762) (154) [SCAL] (1) $SEV_8 = freProSta.k == enaDis2.conInt.k ($RES_EVT_763) (155) [SCAL] (1) $SEV_9 = not enaDis2.andEnaDis.y and enaDis2.and3.u2 ($RES_EVT_764) (156) [WHEN] (1)when $SEV_54 then (156) [----] enaDis.delRetDam.t_next := enaDis.delRetDam.t_past (156) [----] else when not (not enaDis.andEnaDis.y) then (156) [----] enaDis.delRetDam.t_next := enaDis.delRetDam.t_past (156) [----] else when not enaDis.andEnaDis.y then (156) [----] enaDis.delRetDam.t_next := time + enaDis.delRetDam.delayTime (156) [----] else when initial() then (156) [----] enaDis.delRetDam.t_next := if not enaDis.delRetDam.delayOnInit then enaDis.delRetDam.t_past else time + enaDis.delRetDam.delayTime (156) [----] end when; (157) [SCAL] (1) $SEV_10 = enaDis2.truFalHol.outputTrue.outerStatePort.localActive and supFanSta.k ($RES_EVT_765) (158) [WHEN] (1)when $SEV_54 then (158) [----] enaDis.delRetDam.y := not enaDis.andEnaDis.y (158) [----] else when not (not enaDis.andEnaDis.y) then (158) [----] enaDis.delRetDam.y := false (158) [----] else when not enaDis.andEnaDis.y then (158) [----] enaDis.delRetDam.y := not enaDis.delRetDam.delayTime > 0.0 (158) [----] else when initial() then (158) [----] enaDis.delRetDam.y := if not (enaDis.delRetDam.delayOnInit and enaDis.delRetDam.delayTime > 0.0) then not enaDis.andEnaDis.y else false (158) [----] end when; (159) [SCAL] (1) $SEV_11 = not enaDis2.andEnaDis.y and not enaDis2.delRetDam.y ($RES_EVT_766) (160) [WHEN] (1)when $SEV_55 then (160) [----] enaDis.delOutDamOsc.t_next := enaDis.delOutDamOsc.t_past (160) [----] else when not (not enaDis.andEnaDis.y) then (160) [----] enaDis.delOutDamOsc.t_next := enaDis.delOutDamOsc.t_past (160) [----] else when not enaDis.andEnaDis.y then (160) [----] enaDis.delOutDamOsc.t_next := time + enaDis.delOutDamOsc.delayTime (160) [----] else when initial() then (160) [----] enaDis.delOutDamOsc.t_next := if not enaDis.delOutDamOsc.delayOnInit then enaDis.delOutDamOsc.t_past else time + enaDis.delOutDamOsc.delayTime (160) [----] end when; (161) [SCAL] (1) $SEV_12 = 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_767) (162) [WHEN] (1)when $SEV_55 then (162) [----] enaDis.and3.u2 := not enaDis.andEnaDis.y (162) [----] else when not (not enaDis.andEnaDis.y) then (162) [----] enaDis.and3.u2 := false (162) [----] else when not enaDis.andEnaDis.y then (162) [----] enaDis.and3.u2 := not enaDis.delOutDamOsc.delayTime > 0.0 (162) [----] else when initial() then (162) [----] enaDis.and3.u2 := if not (enaDis.delOutDamOsc.delayOnInit and enaDis.delOutDamOsc.delayTime > 0.0) then not enaDis.andEnaDis.y else false (162) [----] end when; (163) [SCAL] (1) $SEV_13 = enaDis2.and1.y and enaDis2.intEqu.y ($RES_EVT_768) (164) [SCAL] (1) enaDis.intEqu.y = $SEV_56 ($RES_SIM_298) (165) [SCAL] (1) $SEV_14 = (not enaDis2.truFalHol.toTrue1.localCondition and enaDis2.truFalHol.toFalse1.inPort.available) and not enaDis2.truFalHol.toFalse1.outPort.occupied ($RES_EVT_769) (166) [SCAL] (1) enaDis1.truFalHol.outputFalse.outPort[1].reset = enaDis1.truFalHol.toTrue.outPort.set ($RES_SIM_550) (167) [SCAL] (1) enaDis.outDamSwitch.u2 = $SEV_57 ($RES_SIM_299) (168) [SCAL] (1) enaDis1.truFalHol.outputFalse.outPort[1].available = enaDis1.truFalHol.toTrue.inPort.available ($RES_SIM_551) (169) [SCAL] (1) enaDis1.truFalHol.outputTrue.outPort[1].reset = enaDis1.truFalHol.toFalse.outPort.set ($RES_SIM_554) (170) [SCAL] (1) enaDis1.truFalHol.outputTrue.outPort[1].available = enaDis1.truFalHol.toFalse.inPort.available ($RES_SIM_555) (171) [WHEN] (1)when $SEV_76 then (171) [----] enaDis.truFalHol.onDel1.y := enaDis.truFalHol.outputFalse.outerStatePort.localActive (171) [----] else when not enaDis.truFalHol.outputFalse.outerStatePort.localActive then (171) [----] enaDis.truFalHol.onDel1.y := false (171) [----] else when enaDis.truFalHol.outputFalse.outerStatePort.localActive then (171) [----] enaDis.truFalHol.onDel1.y := not enaDis.truFalHol.onDel1.delayTime > 0.0 (171) [----] else when initial() then (171) [----] 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 (171) [----] end when; (172) [WHEN] (1)when $SEV_76 then (172) [----] enaDis.truFalHol.onDel1.t_next := enaDis.truFalHol.onDel1.t_past (172) [----] else when not enaDis.truFalHol.outputFalse.outerStatePort.localActive then (172) [----] enaDis.truFalHol.onDel1.t_next := enaDis.truFalHol.onDel1.t_past (172) [----] else when enaDis.truFalHol.outputFalse.outerStatePort.localActive then (172) [----] enaDis.truFalHol.onDel1.t_next := time + enaDis.truFalHol.onDel1.delayTime (172) [----] else when initial() then (172) [----] enaDis.truFalHol.onDel1.t_next := if not enaDis.truFalHol.onDel1.delayOnInit then enaDis.truFalHol.onDel1.t_past else time + enaDis.truFalHol.onDel1.delayTime (172) [----] end when; (173) [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_384) (174) [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_385) (175) [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_386) (176) [SCAL] (1) $TEV_0 = $PRE.enaDis2.delRetDam.t_next ($RES_EVT_685) (177) [SCAL] (1) $TEV_1 = $PRE.enaDis2.delOutDamOsc.t_next ($RES_EVT_686) (178) [SCAL] (1) $TEV_2 = $PRE.enaDis2.hysOutTem.y ($RES_EVT_687) (179) [SCAL] (1) $TEV_3 = $PRE.enaDis2.truFalHol.toFalse1.outPort.set ($RES_EVT_688) (180) [SCAL] (1) enaDis2.truFalHol.toFalse.outPort.set = enaDis2.truFalHol.outputFalse.inPort[1].set ($RES_SIM_473) (181) [SCAL] (1) enaDis2.truFalHol.toFalse.outPort.occupied = enaDis2.truFalHol.outputFalse.inPort[1].occupied ($RES_SIM_474) (182) [SCAL] (1) $SEV_15 = (enaDis2.truFalHol.toTrue1.localCondition and enaDis2.truFalHol.toTrue1.inPort.available) and not enaDis2.truFalHol.toTrue1.outPort.occupied ($RES_EVT_770) (183) [SCAL] (1) enaDis2.truFalHol.outputFalse.outPort[1].reset = enaDis2.truFalHol.toTrue.outPort.set ($RES_SIM_475) (184) [FOR-] (2) ($RES_EVT_771) (184) [----] for $i1 in 1:2 loop (184) [----] [SCAL] (1) $SEV_16[$i1] = $i1 == 1 ($RES_EVT_772) (184) [----] end for; (185) [SCAL] (1) enaDis2.truFalHol.outputFalse.outPort[1].available = enaDis2.truFalHol.toTrue.inPort.available ($RES_SIM_476) (186) [FOR-] (2) ($RES_EVT_773) (186) [----] for $i1 in 1:2 loop (186) [----] [SCAL] (1) $SEV_17[$i1] = enaDis2.truFalHol.initialStep.outPort[$i1 - 1].available and not enaDis2.truFalHol.initialStep.outPort[$i1 - 1].reset ($RES_EVT_774) (186) [----] end for; (187) [SCAL] (1) enaDis2.truFalHol.outputTrue.outPort[1].reset = enaDis2.truFalHol.toFalse.outPort.set ($RES_SIM_479) (188) [SCAL] (1) $SEV_18 = enaDis2.truFalHol.initialStep.outerStatePort.localActive and not $FUN_16 ($RES_EVT_775) (189) [SCAL] (1) $SEV_19 = enaDis2.truFalHol.onDel1.y and enaDis2.truFalHol.toTrue1.localCondition ($RES_EVT_776) (190) [SCAL] (1) $SEV_20 = enaDis2.truFalHol.onDel2.y and not enaDis2.truFalHol.toTrue1.localCondition ($RES_EVT_777) (191) [SCAL] (1) $SEV_21 = (enaDis2.truFalHol.toFalse.localCondition and enaDis2.truFalHol.toFalse.inPort.available) and not enaDis2.truFalHol.toFalse.outPort.occupied ($RES_EVT_778) (192) [FOR-] (2) ($RES_EVT_779) (192) [----] for $i1 in 1:2 loop (192) [----] [SCAL] (1) $SEV_22[$i1] = enaDis2.truFalHol.outputTrue.inPort[$i1 - 1].occupied or enaDis2.truFalHol.outputTrue.inPort[$i1 - 1].set ($RES_EVT_780) (192) [----] end for; (193) [SCAL] (1) $TEV_5 = $PRE.enaDis2.truFalHol.toTrue1.outPort.set ($RES_EVT_690) (194) [SCAL] (1) $TEV_7 = $PRE.enaDis2.truFalHol.initialStep.oldActive ($RES_EVT_692) (195) [SCAL] (1) $TEV_8 = $PRE.enaDis2.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_693) (196) [SCAL] (1) $TEV_9 = $PRE.enaDis2.truFalHol.initialStep.newActive ($RES_EVT_694) (197) [SCAL] (1) $TEV_10 = $PRE.enaDis2.truFalHol.toFalse.outPort.set ($RES_EVT_695) (198) [SCAL] (1) $TEV_12 = $PRE.enaDis2.truFalHol.outputTrue.oldActive ($RES_EVT_697) (199) [SCAL] (1) $TEV_13 = $PRE.enaDis2.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_698) (200) [SCAL] (1) $TEV_14 = $PRE.enaDis2.truFalHol.outputTrue.newActive ($RES_EVT_699) (201) [SCAL] (1) enaDis2.truFalHol.outputTrue.outPort[1].available = enaDis2.truFalHol.toFalse.inPort.available ($RES_SIM_480) (202) [SCAL] (1) $SEV_23 = $FUN_14 or enaDis2.truFalHol.outputTrue.outerStatePort.localActive and not $FUN_15 ($RES_EVT_781) (203) [SCAL] (1) $SEV_24 = (enaDis2.truFalHol.toTrue.localCondition and enaDis2.truFalHol.toTrue.inPort.available) and not enaDis2.truFalHol.toTrue.outPort.occupied ($RES_EVT_782) (204) [FOR-] (2) ($RES_EVT_783) (204) [----] for $i1 in 1:2 loop (204) [----] [SCAL] (1) $SEV_25[$i1] = enaDis2.truFalHol.outputFalse.inPort[$i1 - 1].occupied or enaDis2.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_784) (204) [----] end for; (205) [SCAL] (1) $SEV_26 = $FUN_12 or enaDis2.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_13 ($RES_EVT_785) (206) [SCAL] (1) $SEV_27 = time >= $PRE.enaDis2.truFalHol.onDel2.t_next ($RES_EVT_786) (207) [SCAL] (1) $SEV_28 = time >= $PRE.enaDis2.truFalHol.onDel1.t_next ($RES_EVT_787) (208) [SCAL] (1) $SEV_29 = enaDis1.hysOutTem.y or enaDis1.hysOutEnt.y ($RES_EVT_788) (209) [SCAL] (1) $SEV_30 = time >= $PRE.enaDis1.delRetDam.t_next ($RES_EVT_789) (210) [SCAL] (1) $SEV_31 = time >= $PRE.enaDis1.delOutDamOsc.t_next ($RES_EVT_790) (211) [SCAL] (1) $SEV_32 = freProSta.k == enaDis1.conInt.k ($RES_EVT_791) (212) [SCAL] (1) $SEV_33 = not enaDis1.andEnaDis.y and enaDis1.and3.u2 ($RES_EVT_792) (213) [SCAL] (1) $SEV_34 = enaDis1.truFalHol.outputTrue.outerStatePort.localActive and supFanSta.k ($RES_EVT_793) (214) [SCAL] (1) $SEV_35 = not enaDis1.andEnaDis.y and not enaDis1.delRetDam.y ($RES_EVT_794) (215) [SCAL] (1) $SEV_36 = 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_795) (216) [SCAL] (1) $SEV_37 = 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_796) (217) [SCAL] (1) $SEV_38 = enaDis1.and1.y and enaDis1.intEqu.y ($RES_EVT_797) (218) [SCAL] (1) $SEV_39 = (not enaDis1.truFalHol.toTrue1.localCondition and enaDis1.truFalHol.toFalse1.inPort.available) and not enaDis1.truFalHol.toFalse1.outPort.occupied ($RES_EVT_798) (219) [SCAL] (1) $SEV_40 = (enaDis1.truFalHol.toTrue1.localCondition and enaDis1.truFalHol.toTrue1.inPort.available) and not enaDis1.truFalHol.toTrue1.outPort.occupied ($RES_EVT_799) (220) [SCAL] (1) $FUN_1 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.outputFalse.inPort.set) ($RES_$AUX_684) (221) [SCAL] (1) $FUN_2 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.outputFalse.outPort.reset) ($RES_$AUX_683) (222) [SCAL] (1) $FUN_3 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.outputTrue.inPort.set) ($RES_$AUX_682) (223) [SCAL] (1) $FUN_4 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.outputTrue.outPort.reset) ($RES_$AUX_681) (224) [SCAL] (1) $FUN_6 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.initialStep.outPort.reset) ($RES_$AUX_679) (225) [SCAL] (1) $FUN_7 = Modelica.Math.BooleanVectors.anyTrue(enaDis1.truFalHol.outputFalse.inPort.set) ($RES_$AUX_678) (226) [SCAL] (1) $FUN_8 = Modelica.Math.BooleanVectors.anyTrue(enaDis1.truFalHol.outputFalse.outPort.reset) ($RES_$AUX_677) (227) [SCAL] (1) $FUN_9 = Modelica.Math.BooleanVectors.anyTrue(enaDis1.truFalHol.outputTrue.inPort.set) ($RES_$AUX_676) (228) [SCAL] (1) $FUN_10 = Modelica.Math.BooleanVectors.anyTrue(enaDis1.truFalHol.outputTrue.outPort.reset) ($RES_$AUX_675) (229) [SCAL] (1) $FUN_11 = Modelica.Math.BooleanVectors.anyTrue(enaDis1.truFalHol.initialStep.outPort.reset) ($RES_$AUX_674) (230) [SCAL] (1) $FUN_12 = Modelica.Math.BooleanVectors.anyTrue(enaDis2.truFalHol.outputFalse.inPort.set) ($RES_$AUX_673) (231) [SCAL] (1) $FUN_13 = Modelica.Math.BooleanVectors.anyTrue(enaDis2.truFalHol.outputFalse.outPort.reset) ($RES_$AUX_672) (232) [SCAL] (1) $FUN_14 = Modelica.Math.BooleanVectors.anyTrue(enaDis2.truFalHol.outputTrue.inPort.set) ($RES_$AUX_671) (233) [SCAL] (1) $FUN_15 = Modelica.Math.BooleanVectors.anyTrue(enaDis2.truFalHol.outputTrue.outPort.reset) ($RES_$AUX_670) (234) [SCAL] (1) hOut.y = hOut.offset + (if $TEV_68 then 0.0 else hOut.amplitude * $FUN_18) ($RES_SIM_108) (235) [SCAL] (1) enaDis.TOut = TOut.offset + (if $TEV_69 then 0.0 else TOut.amplitude * $FUN_17) ($RES_SIM_109) (236) [SCAL] (1) $FUN_16 = Modelica.Math.BooleanVectors.anyTrue(enaDis2.truFalHol.initialStep.outPort.reset) ($RES_$AUX_669) (237) [SCAL] (1) $FUN_17 = sin(6.283185307179586 * TOut.freqHz * (time - TOut.startTime) + TOut.phase) ($RES_$AUX_668) (238) [SCAL] (1) $FUN_18 = sin(6.283185307179586 * hOut.freqHz * (time - hOut.startTime) + hOut.phase) ($RES_$AUX_667) (239) [SCAL] (1) enaDis2.truFalHol.toTrue1.localCondition = $SEV_5 ($RES_SIM_110) (240) [WHEN] (1)when $SEV_6 then (240) [----] enaDis2.delRetDam.t_next := enaDis2.delRetDam.t_past (240) [----] else when not (not enaDis2.andEnaDis.y) then (240) [----] enaDis2.delRetDam.t_next := enaDis2.delRetDam.t_past (240) [----] else when not enaDis2.andEnaDis.y then (240) [----] enaDis2.delRetDam.t_next := time + enaDis2.delRetDam.delayTime (240) [----] else when initial() then (240) [----] enaDis2.delRetDam.t_next := if not enaDis2.delRetDam.delayOnInit then enaDis2.delRetDam.t_past else time + enaDis2.delRetDam.delayTime (240) [----] end when; (241) [WHEN] (1)when $SEV_6 then (241) [----] enaDis2.delRetDam.y := not enaDis2.andEnaDis.y (241) [----] else when not (not enaDis2.andEnaDis.y) then (241) [----] enaDis2.delRetDam.y := false (241) [----] else when not enaDis2.andEnaDis.y then (241) [----] enaDis2.delRetDam.y := not enaDis2.delRetDam.delayTime > 0.0 (241) [----] else when initial() then (241) [----] enaDis2.delRetDam.y := if not (enaDis2.delRetDam.delayOnInit and enaDis2.delRetDam.delayTime > 0.0) then not enaDis2.andEnaDis.y else false (241) [----] end when; (242) [WHEN] (1)when $SEV_7 then (242) [----] enaDis2.delOutDamOsc.t_next := enaDis2.delOutDamOsc.t_past (242) [----] else when not (not enaDis2.andEnaDis.y) then (242) [----] enaDis2.delOutDamOsc.t_next := enaDis2.delOutDamOsc.t_past (242) [----] else when not enaDis2.andEnaDis.y then (242) [----] enaDis2.delOutDamOsc.t_next := time + enaDis2.delOutDamOsc.delayTime (242) [----] else when initial() then (242) [----] enaDis2.delOutDamOsc.t_next := if not enaDis2.delOutDamOsc.delayOnInit then enaDis2.delOutDamOsc.t_past else time + enaDis2.delOutDamOsc.delayTime (242) [----] end when; (243) [WHEN] (1)when $SEV_7 then (243) [----] enaDis2.and3.u2 := not enaDis2.andEnaDis.y (243) [----] else when not (not enaDis2.andEnaDis.y) then (243) [----] enaDis2.and3.u2 := false (243) [----] else when not enaDis2.andEnaDis.y then (243) [----] enaDis2.and3.u2 := not enaDis2.delOutDamOsc.delayTime > 0.0 (243) [----] else when initial() then (243) [----] enaDis2.and3.u2 := if not (enaDis2.delOutDamOsc.delayOnInit and enaDis2.delOutDamOsc.delayTime > 0.0) then not enaDis2.andEnaDis.y else false (243) [----] end when; (244) [SCAL] (1) enaDis2.intEqu.y = $SEV_8 ($RES_SIM_118) (245) [SCAL] (1) enaDis2.outDamSwitch.u2 = $SEV_9 ($RES_SIM_119) (246) [SCAL] (1) enaDis1.truFalHol.toTrue1.localCondition = $SEV_29 ($RES_SIM_200) (247) [WHEN] (1)when $SEV_30 then (247) [----] enaDis1.delRetDam.y := not enaDis1.andEnaDis.y (247) [----] else when not (not enaDis1.andEnaDis.y) then (247) [----] enaDis1.delRetDam.y := false (247) [----] else when not enaDis1.andEnaDis.y then (247) [----] enaDis1.delRetDam.y := not enaDis1.delRetDam.delayTime > 0.0 (247) [----] else when initial() then (247) [----] enaDis1.delRetDam.y := if not (enaDis1.delRetDam.delayOnInit and enaDis1.delRetDam.delayTime > 0.0) then not enaDis1.andEnaDis.y else false (247) [----] end when; (248) [WHEN] (1)when $SEV_30 then (248) [----] enaDis1.delRetDam.t_next := enaDis1.delRetDam.t_past (248) [----] else when not (not enaDis1.andEnaDis.y) then (248) [----] enaDis1.delRetDam.t_next := enaDis1.delRetDam.t_past (248) [----] else when not enaDis1.andEnaDis.y then (248) [----] enaDis1.delRetDam.t_next := time + enaDis1.delRetDam.delayTime (248) [----] else when initial() then (248) [----] enaDis1.delRetDam.t_next := if not enaDis1.delRetDam.delayOnInit then enaDis1.delRetDam.t_past else time + enaDis1.delRetDam.delayTime (248) [----] end when; (249) [WHEN] (1)when $SEV_31 then (249) [----] enaDis1.delOutDamOsc.t_next := enaDis1.delOutDamOsc.t_past (249) [----] else when not (not enaDis1.andEnaDis.y) then (249) [----] enaDis1.delOutDamOsc.t_next := enaDis1.delOutDamOsc.t_past (249) [----] else when not enaDis1.andEnaDis.y then (249) [----] enaDis1.delOutDamOsc.t_next := time + enaDis1.delOutDamOsc.delayTime (249) [----] else when initial() then (249) [----] enaDis1.delOutDamOsc.t_next := if not enaDis1.delOutDamOsc.delayOnInit then enaDis1.delOutDamOsc.t_past else time + enaDis1.delOutDamOsc.delayTime (249) [----] end when; (250) [WHEN] (1)when $SEV_31 then (250) [----] enaDis1.and3.u2 := not enaDis1.andEnaDis.y (250) [----] else when not (not enaDis1.andEnaDis.y) then (250) [----] enaDis1.and3.u2 := false (250) [----] else when not enaDis1.andEnaDis.y then (250) [----] enaDis1.and3.u2 := not enaDis1.delOutDamOsc.delayTime > 0.0 (250) [----] else when initial() then (250) [----] enaDis1.and3.u2 := if not (enaDis1.delOutDamOsc.delayOnInit and enaDis1.delOutDamOsc.delayTime > 0.0) then not enaDis1.andEnaDis.y else false (250) [----] end when; (251) [SCAL] (1) enaDis1.intEqu.y = $SEV_32 ($RES_SIM_207) (252) [SCAL] (1) enaDis1.outDamSwitch.u2 = $SEV_33 ($RES_SIM_208) (253) [SCAL] (1) enaDis1.and1.y = $SEV_34 ($RES_SIM_209) (254) [SCAL] (1) enaDis2.and1.y = $SEV_10 ($RES_SIM_120) (255) [SCAL] (1) enaDis2.maxRetDamSwitch.u2 = $SEV_11 ($RES_SIM_121) (256) [SCAL] (1) enaDis2.minRetDamSwitch.y = smooth(0, if enaDis2.maxRetDamSwitch.u2 then retDamPhyPosMax.k else enaDis2.retDamSwitch.y) ($RES_SIM_123) (257) [SCAL] (1) enaDis2.maxRetDamSwitch.y = smooth(0, if enaDis2.maxRetDamSwitch.u2 then retDamPhyPosMax.k else retDamPosMax.k) ($RES_SIM_124) (258) [SCAL] (1) enaDis2.retDamSwitch.y = smooth(0, if not enaDis2.andEnaDis.y then retDamPosMax.k else retDamPosMin.k) ($RES_SIM_125) (259) [SCAL] (1) enaDis2.outDamSwitch.y = smooth(0, if enaDis2.outDamSwitch.u2 then outDamPosMin.k else outDamPosMax.k) ($RES_SIM_126) (260) [SCAL] (1) enaDis2.hysOutTem.y = $SEV_12 ($RES_SIM_127) (261) [SCAL] (1) enaDis2.sub1.y = enaDis.TOut - TOutCut.k ($RES_SIM_128) (262) [SCAL] (1) enaDis2.andEnaDis.y = $SEV_13 ($RES_SIM_129) (263) [SCAL] (1) enaDis1.maxRetDamSwitch.u2 = $SEV_35 ($RES_SIM_210) (264) [SCAL] (1) enaDis1.minRetDamSwitch.y = smooth(0, if enaDis1.maxRetDamSwitch.u2 then retDamPhyPosMax.k else enaDis1.retDamSwitch.y) ($RES_SIM_212) (265) [SCAL] (1) enaDis1.maxRetDamSwitch.y = smooth(0, if enaDis1.maxRetDamSwitch.u2 then retDamPhyPosMax.k else retDamPosMax.k) ($RES_SIM_213) (266) [SCAL] (1) enaDis1.retDamSwitch.y = smooth(0, if not enaDis1.andEnaDis.y then retDamPosMax.k else retDamPosMin.k) ($RES_SIM_214) (267) [SCAL] (1) enaDis1.outDamSwitch.y = smooth(0, if enaDis1.outDamSwitch.u2 then outDamPosMin.k else outDamPosMax.k) ($RES_SIM_215) (268) [SCAL] (1) enaDis1.hysOutEnt.y = $SEV_36 ($RES_SIM_216) (269) [SCAL] (1) enaDis1.hysOutTem.y = $SEV_37 ($RES_SIM_217) (270) [SCAL] (1) enaDis1.sub1.y = TOutBelowCutoff.k - TOutCut1.k ($RES_SIM_218) (271) [SCAL] (1) enaDis1.sub2.y = hOut.y - hOutCut1.k ($RES_SIM_219) (272) [SCAL] (1) enaDis.and1.y = $SEV_58 ($RES_SIM_300) (273) [SCAL] (1) enaDis.maxRetDamSwitch.u2 = $SEV_59 ($RES_SIM_301) (274) [SCAL] (1) enaDis.minRetDamSwitch.y = smooth(0, if enaDis.maxRetDamSwitch.u2 then retDamPhyPosMax.k else enaDis.retDamSwitch.y) ($RES_SIM_303) (275) [SCAL] (1) enaDis.maxRetDamSwitch.y = smooth(0, if enaDis.maxRetDamSwitch.u2 then retDamPhyPosMax.k else retDamPosMax.k) ($RES_SIM_304) (276) [SCAL] (1) enaDis.retDamSwitch.y = smooth(0, if not enaDis.andEnaDis.y then retDamPosMax.k else retDamPosMin.k) ($RES_SIM_305) (277) [SCAL] (1) enaDis.outDamSwitch.y = smooth(0, if enaDis.outDamSwitch.u2 then outDamPosMin.k else outDamPosMax.k) ($RES_SIM_306) (278) [SCAL] (1) enaDis.hysOutEnt.y = $SEV_60 ($RES_SIM_307) (279) [SCAL] (1) enaDis2.truFalHol.toFalse1.outPort.set = $SEV_14 ($RES_SIM_132) (280) [SCAL] (1) enaDis.hysOutTem.y = $SEV_61 ($RES_SIM_308) (281) [SCAL] (1) enaDis.sub1.y = enaDis.TOut - TOutCut.k ($RES_SIM_309) (282) [SCAL] (1) enaDis2.truFalHol.toTrue1.outPort.set = $SEV_15 ($RES_SIM_139) (283) [SCAL] (1) enaDis1.andEnaDis.y = $SEV_38 ($RES_SIM_220) (284) [SCAL] (1) enaDis1.truFalHol.toFalse1.outPort.set = $SEV_39 ($RES_SIM_223) (285) [SCAL] (1) enaDis.sub2.y = hOutBelowCutoff.k - hOutCut.k ($RES_SIM_310) (286) [SCAL] (1) enaDis.andEnaDis.y = $SEV_62 ($RES_SIM_311) (287) [SCAL] (1) enaDis.truFalHol.toFalse1.outPort.set = $SEV_63 ($RES_SIM_314) (288) [FOR-] (2) ($RES_SIM_144) (288) [----] for $i1 in 1:2 loop (288) [----] [SCAL] (1) enaDis2.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_145) (288) [----] end for; (289) [FOR-] (2) ($RES_SIM_146) (289) [----] for $i1 in 1:2 loop (289) [----] [SCAL] (1) enaDis2.truFalHol.initialStep.outPort[$i1].available = if $SEV_16[$i1] then enaDis2.truFalHol.initialStep.outerStatePort.localActive else $SEV_17[$i1] ($RES_SIM_147) (289) [----] end for; (290) [WHEN] (1)when false then (290) [----] enaDis2.truFalHol.initialStep.oldActive := enaDis2.truFalHol.initialStep.outerStatePort.localActive (290) [----] end when; (291) [SCAL] (1) enaDis2.truFalHol.initialStep.newActive = $SEV_18 ($RES_SIM_149) (292) [SCAL] (1) $TEV_15 = $PRE.enaDis2.truFalHol.toTrue.outPort.set ($RES_EVT_700) (293) [SCAL] (1) enaDis1.truFalHol.toTrue1.outPort.set = $SEV_40 ($RES_SIM_230) (294) [SCAL] (1) $TEV_17 = $PRE.enaDis2.truFalHol.outputFalse.oldActive ($RES_EVT_702) (295) [SCAL] (1) $TEV_18 = $PRE.enaDis2.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_703) (296) [SCAL] (1) $TEV_19 = $PRE.enaDis2.truFalHol.outputFalse.newActive ($RES_EVT_704) (297) [SCAL] (1) $TEV_20 = $PRE.enaDis2.truFalHol.onDel2.t_next ($RES_EVT_705) (298) [FOR-] (2) ($RES_SIM_235) (298) [----] for $i1 in 1:2 loop (298) [----] [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_236) (298) [----] end for; (299) [SCAL] (1) $TEV_21 = $PRE.enaDis2.truFalHol.onDel1.t_next ($RES_EVT_706) (300) [SCAL] (1) $TEV_22 = $PRE.enaDis1.delRetDam.t_next ($RES_EVT_707) (301) [FOR-] (2) ($RES_SIM_237) (301) [----] for $i1 in 1:2 loop (301) [----] [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[$i1].available = if $SEV_16[$i1] then enaDis1.truFalHol.initialStep.outerStatePort.localActive else $SEV_41[$i1] ($RES_SIM_238) (301) [----] end for; (302) [SCAL] (1) $TEV_23 = $PRE.enaDis1.delOutDamOsc.t_next ($RES_EVT_708) (303) [SCAL] (1) $TEV_24 = $PRE.enaDis1.hysOutEnt.y ($RES_EVT_709) (304) [WHEN] (1)when false then (304) [----] enaDis1.truFalHol.initialStep.oldActive := enaDis1.truFalHol.initialStep.outerStatePort.localActive (304) [----] end when; (305) [SCAL] (1) enaDis.truFalHol.toTrue1.outPort.set = $SEV_64 ($RES_SIM_321) (306) [SCAL] (1) enaDis2.truFalHol.initialStep.outerStatePort.localActive = $TEV_9 ($RES_SIM_150) (307) [FOR-] (2) ($RES_SIM_326) (307) [----] for $i1 in 1:2 loop (307) [----] [SCAL] (1) enaDis.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_327) (307) [----] end for; (308) [SCAL] (1) enaDis2.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if enaDis2.truFalHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_152) (309) [FOR-] (2) ($RES_SIM_328) (309) [----] for $i1 in 1:2 loop (309) [----] [SCAL] (1) enaDis.truFalHol.initialStep.outPort[$i1].available = if $SEV_16[$i1] then enaDis.truFalHol.initialStep.outerStatePort.localActive else $SEV_65[$i1] ($RES_SIM_329) (309) [----] end for; (310) [SCAL] (1) enaDis2.truFalHol.toTrue.localCondition = $SEV_19 ($RES_SIM_153) (311) [SCAL] (1) enaDis2.truFalHol.toFalse.localCondition = $SEV_20 ($RES_SIM_154) (312) [SCAL] (1) enaDis2.truFalHol.toFalse.outPort.set = $SEV_21 ($RES_SIM_157) (313) [SCAL] (1) $TEV_25 = $PRE.enaDis1.hysOutTem.y ($RES_EVT_710) (314) [SCAL] (1) enaDis1.truFalHol.initialStep.newActive = $SEV_42 ($RES_SIM_240) (315) [SCAL] (1) $TEV_26 = $PRE.enaDis1.truFalHol.toFalse1.outPort.set ($RES_EVT_711) (316) [SCAL] (1) enaDis1.truFalHol.initialStep.outerStatePort.localActive = $TEV_32 ($RES_SIM_241) (317) [SCAL] (1) $TEV_28 = $PRE.enaDis1.truFalHol.toTrue1.outPort.set ($RES_EVT_713) (318) [SCAL] (1) enaDis1.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if enaDis1.truFalHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_243) (319) [SCAL] (1) enaDis1.truFalHol.toTrue.localCondition = $SEV_43 ($RES_SIM_244) (320) [SCAL] (1) $TEV_30 = $PRE.enaDis1.truFalHol.initialStep.oldActive ($RES_EVT_715) (321) [SCAL] (1) enaDis1.truFalHol.toFalse.localCondition = $SEV_44 ($RES_SIM_245) (322) [SCAL] (1) $TEV_31 = $PRE.enaDis1.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_716) (323) [SCAL] (1) $TEV_32 = $PRE.enaDis1.truFalHol.initialStep.newActive ($RES_EVT_717) (324) [SCAL] (1) $TEV_33 = $PRE.enaDis1.truFalHol.toFalse.outPort.set ($RES_EVT_718) (325) [SCAL] (1) enaDis1.truFalHol.toFalse.outPort.set = $SEV_45 ($RES_SIM_248) (326) [FOR-] (2) ($RES_EVT_800) (326) [----] for $i1 in 1:2 loop (326) [----] [SCAL] (1) $SEV_41[$i1] = enaDis1.truFalHol.initialStep.outPort[$i1 - 1].available and not enaDis1.truFalHol.initialStep.outPort[$i1 - 1].reset ($RES_EVT_801) (326) [----] end for; (327) [WHEN] (1)when false then (327) [----] enaDis.truFalHol.initialStep.oldActive := enaDis.truFalHol.initialStep.outerStatePort.localActive (327) [----] end when; (328) [SCAL] (1) enaDis.truFalHol.initialStep.newActive = $SEV_66 ($RES_SIM_331) (329) [SCAL] (1) $SEV_42 = enaDis1.truFalHol.initialStep.outerStatePort.localActive and not $FUN_11 ($RES_EVT_802) (330) [SCAL] (1) enaDis.truFalHol.initialStep.outerStatePort.localActive = $TEV_55 ($RES_SIM_332) (331) [SCAL] (1) $SEV_43 = enaDis1.truFalHol.onDel1.y and enaDis1.truFalHol.toTrue1.localCondition ($RES_EVT_803) (332) [SCAL] (1) $SEV_44 = enaDis1.truFalHol.onDel2.y and not enaDis1.truFalHol.toTrue1.localCondition ($RES_EVT_804) (333) [SCAL] (1) enaDis.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if enaDis.truFalHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_334) (334) [SCAL] (1) $SEV_45 = (enaDis1.truFalHol.toFalse.localCondition and enaDis1.truFalHol.toFalse.inPort.available) and not enaDis1.truFalHol.toFalse.outPort.occupied ($RES_EVT_805) (335) [SCAL] (1) enaDis.truFalHol.toTrue.localCondition = $SEV_67 ($RES_SIM_335) (336) [FOR-] (2) ($RES_EVT_806) (336) [----] for $i1 in 1:2 loop (336) [----] [SCAL] (1) $SEV_46[$i1] = enaDis1.truFalHol.outputTrue.inPort[$i1 - 1].occupied or enaDis1.truFalHol.outputTrue.inPort[$i1 - 1].set ($RES_EVT_807) (336) [----] end for; (337) [SCAL] (1) enaDis.truFalHol.toFalse.localCondition = $SEV_68 ($RES_SIM_336) (338) [SCAL] (1) enaDis2.truFalHol.outputTrue.outPort[1].reset = false ($RES_SIM_162) (339) [SCAL] (1) $SEV_47 = $FUN_9 or enaDis1.truFalHol.outputTrue.outerStatePort.localActive and not $FUN_10 ($RES_EVT_808) (340) [FOR-] (2) ($RES_SIM_163) (340) [----] for $i1 in 1:2 loop (340) [----] [SCAL] (1) enaDis2.truFalHol.outputTrue.inPort[$i1].set = false ($RES_SIM_164) (340) [----] end for; (341) [SCAL] (1) $SEV_48 = (enaDis1.truFalHol.toTrue.localCondition and enaDis1.truFalHol.toTrue.inPort.available) and not enaDis1.truFalHol.toTrue.outPort.occupied ($RES_EVT_809) (342) [SCAL] (1) enaDis.truFalHol.toFalse.outPort.set = $SEV_69 ($RES_SIM_339) (343) [SCAL] (1) enaDis2.truFalHol.outputTrue.outPort[1].available = enaDis2.truFalHol.outputTrue.outerStatePort.localActive ($RES_SIM_165) (344) [FOR-] (2) ($RES_SIM_166) (344) [----] for $i1 in 1:2 loop (344) [----] [SCAL] (1) enaDis2.truFalHol.outputTrue.inPort[$i1].occupied = if $SEV_16[$i1] then enaDis2.truFalHol.outputTrue.outerStatePort.localActive else $SEV_22[$i1] ($RES_SIM_167) (344) [----] end for; (345) [WHEN] (1)when false then (345) [----] enaDis2.truFalHol.outputTrue.oldActive := enaDis2.truFalHol.outputTrue.outerStatePort.localActive (345) [----] end when; (346) [SCAL] (1) enaDis2.truFalHol.outputTrue.newActive = $SEV_23 ($RES_SIM_169) (347) [SCAL] (1) $TEV_35 = $PRE.enaDis1.truFalHol.outputTrue.oldActive ($RES_EVT_720) (348) [SCAL] (1) $TEV_36 = $PRE.enaDis1.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_721) (349) [SCAL] (1) $TEV_37 = $PRE.enaDis1.truFalHol.outputTrue.newActive ($RES_EVT_722) (350) [SCAL] (1) $TEV_38 = $PRE.enaDis1.truFalHol.toTrue.outPort.set ($RES_EVT_723) (351) [SCAL] (1) enaDis1.truFalHol.outputTrue.outPort[1].reset = false ($RES_SIM_253) =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 260 var 2 --> eqn 27 var 3 --> eqn 28 var 4 --> eqn 264 var 5 --> eqn 361 var 6 --> eqn 362 var 7 --> eqn 310 var 8 --> eqn 121 var 9 --> eqn 271 var 10 --> eqn 7 var 11 --> eqn 8 var 12 --> eqn 184 var 13 --> eqn 95 var 14 --> eqn 170 var 15 --> eqn 195 var 16 --> eqn 68 var 17 --> eqn 69 var 18 --> eqn 114 var 19 --> eqn 115 var 20 --> eqn 21 var 21 --> eqn 24 var 22 --> eqn 318 var 23 --> eqn 93 var 24 --> eqn 201 var 25 --> eqn 202 var 26 --> eqn 142 var 27 --> eqn 117 var 28 --> eqn 118 var 29 --> eqn 31 var 30 --> eqn 298 var 31 --> eqn 152 var 32 --> eqn 140 var 33 --> eqn 370 var 34 --> eqn 342 var 35 --> eqn 275 var 36 --> eqn 59 var 37 --> eqn 281 var 38 --> eqn 265 var 39 --> eqn 124 var 40 --> eqn 292 var 41 --> eqn 334 var 42 --> eqn 149 var 43 --> eqn 272 var 44 --> eqn 127 var 45 --> eqn 198 var 46 --> eqn 199 var 47 --> eqn 71 var 48 --> eqn 197 var 49 --> eqn 294 var 50 --> eqn 276 var 51 --> eqn 284 var 52 --> eqn 85 var 53 --> eqn 155 var 54 --> eqn 156 var 55 --> eqn 293 var 56 --> eqn 56 var 57 --> eqn 374 var 58 --> eqn 107 var 59 --> eqn 213 var 60 --> eqn 212 var 61 --> eqn 211 var 62 --> eqn 210 var 63 --> eqn 193 var 64 --> eqn 192 var 65 --> eqn 191 var 66 --> eqn 190 var 67 --> eqn 98 var 68 --> eqn 72 var 69 --> eqn 288 var 70 --> eqn 123 var 71 --> eqn 143 var 72 --> eqn 5 var 73 --> eqn 45 var 74 --> eqn 150 var 75 --> eqn 42 var 76 --> eqn 146 var 77 --> eqn 186 var 78 --> eqn 161 var 79 --> eqn 159 var 80 --> eqn 103 var 81 --> eqn 104 var 82 --> eqn 259 var 83 --> eqn 322 var 84 --> eqn 323 var 85 --> eqn 70 var 86 --> eqn 76 var 87 --> eqn 194 var 88 --> eqn 340 var 89 --> eqn 203 var 90 --> eqn 289 var 91 --> eqn 338 var 92 --> eqn 49 var 93 --> eqn 274 var 94 --> eqn 343 var 95 --> eqn 145 var 96 --> eqn 178 var 97 --> eqn 279 var 98 --> eqn 267 var 99 --> eqn 11 var 100 --> eqn 263 var 101 --> eqn 350 var 102 --> eqn 351 var 103 --> eqn 162 var 104 --> eqn 25 var 105 --> eqn 371 var 106 --> eqn 372 var 107 --> eqn 266 var 108 --> eqn 252 var 109 --> eqn 81 var 110 --> eqn 82 var 111 --> eqn 79 var 112 --> eqn 148 var 113 --> eqn 147 var 114 --> eqn 119 var 115 --> eqn 62 var 116 --> eqn 63 var 117 --> eqn 64 var 118 --> eqn 262 var 119 --> eqn 169 var 120 --> eqn 108 var 121 --> eqn 168 var 122 --> eqn 167 var 123 --> eqn 165 var 124 --> eqn 163 var 125 --> eqn 158 var 126 --> eqn 172 var 127 --> eqn 189 var 128 --> eqn 353 var 129 --> eqn 90 var 130 --> eqn 176 var 131 --> eqn 19 var 132 --> eqn 20 var 133 --> eqn 101 var 134 --> eqn 99 var 135 --> eqn 97 var 136 --> eqn 65 var 137 --> eqn 126 var 138 --> eqn 287 var 139 --> eqn 221 var 140 --> eqn 222 var 141 --> eqn 58 var 142 --> eqn 57 var 143 --> eqn 345 var 144 --> eqn 273 var 145 --> eqn 55 var 146 --> eqn 54 var 147 --> eqn 52 var 148 --> eqn 166 var 149 --> eqn 185 var 150 --> eqn 33 var 151 --> eqn 133 var 152 --> eqn 110 var 153 --> eqn 35 var 154 --> eqn 1 var 155 --> eqn 2 var 156 --> eqn 120 var 157 --> eqn 116 var 158 --> eqn 34 var 159 --> eqn 335 var 160 --> eqn 105 var 161 --> eqn 50 var 162 --> eqn 67 var 163 --> eqn 96 var 164 --> eqn 48 var 165 --> eqn 29 var 166 --> eqn 26 var 167 --> eqn 23 var 168 --> eqn 22 var 169 --> eqn 18 var 170 --> eqn 129 var 171 --> eqn 16 var 172 --> eqn 15 var 173 --> eqn 14 var 174 --> eqn 141 var 175 --> eqn 139 var 176 --> eqn 355 var 177 --> eqn 136 var 178 --> eqn 134 var 179 --> eqn 311 var 180 --> eqn 131 var 181 --> eqn 91 var 182 --> eqn 89 var 183 --> eqn 86 var 184 --> eqn 84 var 185 --> eqn 290 var 186 --> eqn 331 var 187 --> eqn 181 var 188 --> eqn 270 var 189 --> eqn 258 var 190 --> eqn 60 var 191 --> eqn 61 var 192 --> eqn 157 var 193 --> eqn 153 var 194 --> eqn 285 var 195 --> eqn 277 var 196 --> eqn 328 var 197 --> eqn 368 var 198 --> eqn 137 var 199 --> eqn 365 var 200 --> eqn 349 var 201 --> eqn 357 var 202 --> eqn 356 var 203 --> eqn 218 var 204 --> eqn 354 var 205 --> eqn 237 var 206 --> eqn 83 var 207 --> eqn 80 var 208 --> eqn 78 var 209 --> eqn 77 var 210 --> eqn 94 var 211 --> eqn 135 var 212 --> eqn 358 var 213 --> eqn 47 var 214 --> eqn 46 var 215 --> eqn 245 var 216 --> eqn 244 var 217 --> eqn 44 var 218 --> eqn 243 var 219 --> eqn 74 var 220 --> eqn 242 var 221 --> eqn 138 var 222 --> eqn 360 var 223 --> eqn 241 var 224 --> eqn 240 var 225 --> eqn 239 var 226 --> eqn 238 var 227 --> eqn 286 var 228 --> eqn 301 var 229 --> eqn 236 var 230 --> eqn 235 var 231 --> eqn 234 var 232 --> eqn 308 var 233 --> eqn 309 var 234 --> eqn 233 var 235 --> eqn 283 var 236 --> eqn 232 var 237 --> eqn 231 var 238 --> eqn 306 var 239 --> eqn 132 var 240 --> eqn 200 var 241 --> eqn 230 var 242 --> eqn 229 var 243 --> eqn 228 var 244 --> eqn 278 var 245 --> eqn 227 var 246 --> eqn 43 var 247 --> eqn 41 var 248 --> eqn 40 var 249 --> eqn 38 var 250 --> eqn 36 var 251 --> eqn 10 var 252 --> eqn 9 var 253 --> eqn 256 var 254 --> eqn 39 var 255 --> eqn 6 var 256 --> eqn 255 var 257 --> eqn 113 var 258 --> eqn 4 var 259 --> eqn 254 var 260 --> eqn 3 var 261 --> eqn 251 var 262 --> eqn 87 var 263 --> eqn 88 var 264 --> eqn 12 var 265 --> eqn 13 var 266 --> eqn 250 var 267 --> eqn 249 var 268 --> eqn 248 var 269 --> eqn 247 var 270 --> eqn 154 var 271 --> eqn 246 var 272 --> eqn 174 var 273 --> eqn 226 var 274 --> eqn 109 var 275 --> eqn 208 var 276 --> eqn 209 var 277 --> eqn 225 var 278 --> eqn 224 var 279 --> eqn 223 var 280 --> eqn 182 var 281 --> eqn 30 var 282 --> eqn 219 var 283 --> eqn 269 var 284 --> eqn 326 var 285 --> eqn 207 var 286 --> eqn 282 var 287 --> eqn 206 var 288 --> eqn 378 var 289 --> eqn 66 var 290 --> eqn 377 var 291 --> eqn 376 var 292 --> eqn 332 var 293 --> eqn 333 var 294 --> eqn 375 var 295 --> eqn 160 var 296 --> eqn 348 var 297 --> eqn 373 var 298 --> eqn 347 var 299 --> eqn 346 var 300 --> eqn 344 var 301 --> eqn 363 var 302 --> eqn 329 var 303 --> eqn 330 var 304 --> eqn 37 var 305 --> eqn 53 var 306 --> eqn 188 var 307 --> eqn 183 var 308 --> eqn 144 var 309 --> eqn 122 var 310 --> eqn 253 var 311 --> eqn 205 var 312 --> eqn 204 var 313 --> eqn 196 var 314 --> eqn 179 var 315 --> eqn 100 var 316 --> eqn 177 var 317 --> eqn 175 var 318 --> eqn 173 var 319 --> eqn 171 var 320 --> eqn 341 var 321 --> eqn 299 var 322 --> eqn 339 var 323 --> eqn 337 var 324 --> eqn 325 var 325 --> eqn 324 var 326 --> eqn 321 var 327 --> eqn 320 var 328 --> eqn 317 var 329 --> eqn 291 var 330 --> eqn 17 var 331 --> eqn 295 var 332 --> eqn 280 var 333 --> eqn 304 var 334 --> eqn 296 var 335 --> eqn 316 var 336 --> eqn 315 var 337 --> eqn 92 var 338 --> eqn 125 var 339 --> eqn 352 var 340 --> eqn 314 var 341 --> eqn 312 var 342 --> eqn 217 var 343 --> eqn 216 var 344 --> eqn 187 var 345 --> eqn 215 var 346 --> eqn 151 var 347 --> eqn 214 var 348 --> eqn 32 var 349 --> eqn 261 var 350 --> eqn 75 var 351 --> eqn 303 var 352 --> eqn 164 var 353 --> eqn 268 var 354 --> eqn 257 var 355 --> eqn 51 equation to variable ********************** eqn 1 --> var 154 eqn 2 --> var 155 eqn 3 --> var 260 eqn 4 --> var 258 eqn 5 --> var 72 eqn 6 --> var 255 eqn 7 --> var 10 eqn 8 --> var 11 eqn 9 --> var 252 eqn 10 --> var 251 eqn 11 --> var 99 eqn 12 --> var 264 eqn 13 --> var 265 eqn 14 --> var 173 eqn 15 --> var 172 eqn 16 --> var 171 eqn 17 --> var 330 eqn 18 --> var 169 eqn 19 --> var 131 eqn 20 --> var 132 eqn 21 --> var 20 eqn 22 --> var 168 eqn 23 --> var 167 eqn 24 --> var 21 eqn 25 --> var 104 eqn 26 --> var 166 eqn 27 --> var 2 eqn 28 --> var 3 eqn 29 --> var 165 eqn 30 --> var 281 eqn 31 --> var 29 eqn 32 --> var 348 eqn 33 --> var 150 eqn 34 --> var 158 eqn 35 --> var 153 eqn 36 --> var 250 eqn 37 --> var 304 eqn 38 --> var 249 eqn 39 --> var 254 eqn 40 --> var 248 eqn 41 --> var 247 eqn 42 --> var 75 eqn 43 --> var 246 eqn 44 --> var 217 eqn 45 --> var 73 eqn 46 --> var 214 eqn 47 --> var 213 eqn 48 --> var 164 eqn 49 --> var 92 eqn 50 --> var 161 eqn 51 --> var 355 eqn 52 --> var 147 eqn 53 --> var 305 eqn 54 --> var 146 eqn 55 --> var 145 eqn 56 --> var 56 eqn 57 --> var 142 eqn 58 --> var 141 eqn 59 --> var 36 eqn 60 --> var 190 eqn 61 --> var 191 eqn 62 --> var 115 eqn 63 --> var 116 eqn 64 --> var 117 eqn 65 --> var 136 eqn 66 --> var 289 eqn 67 --> var 162 eqn 68 --> var 16 eqn 69 --> var 17 eqn 70 --> var 85 eqn 71 --> var 47 eqn 72 --> var 68 eqn 73 --> var -1 eqn 74 --> var 219 eqn 75 --> var 350 eqn 76 --> var 86 eqn 77 --> var 209 eqn 78 --> var 208 eqn 79 --> var 111 eqn 80 --> var 207 eqn 81 --> var 109 eqn 82 --> var 110 eqn 83 --> var 206 eqn 84 --> var 184 eqn 85 --> var 52 eqn 86 --> var 183 eqn 87 --> var 262 eqn 88 --> var 263 eqn 89 --> var 182 eqn 90 --> var 129 eqn 91 --> var 181 eqn 92 --> var 337 eqn 93 --> var 23 eqn 94 --> var 210 eqn 95 --> var 13 eqn 96 --> var 163 eqn 97 --> var 135 eqn 98 --> var 67 eqn 99 --> var 134 eqn 100 --> var 315 eqn 101 --> var 133 eqn 102 --> var -1 eqn 103 --> var 80 eqn 104 --> var 81 eqn 105 --> var 160 eqn 106 --> var -1 eqn 107 --> var 58 eqn 108 --> var 120 eqn 109 --> var 274 eqn 110 --> var 152 eqn 111 --> var -1 eqn 112 --> var -1 eqn 113 --> var 257 eqn 114 --> var 18 eqn 115 --> var 19 eqn 116 --> var 157 eqn 117 --> var 27 eqn 118 --> var 28 eqn 119 --> var 114 eqn 120 --> var 156 eqn 121 --> var 8 eqn 122 --> var 309 eqn 123 --> var 70 eqn 124 --> var 39 eqn 125 --> var 338 eqn 126 --> var 137 eqn 127 --> var 44 eqn 128 --> var -1 eqn 129 --> var 170 eqn 130 --> var -1 eqn 131 --> var 180 eqn 132 --> var 239 eqn 133 --> var 151 eqn 134 --> var 178 eqn 135 --> var 211 eqn 136 --> var 177 eqn 137 --> var 198 eqn 138 --> var 221 eqn 139 --> var 175 eqn 140 --> var 32 eqn 141 --> var 174 eqn 142 --> var 26 eqn 143 --> var 71 eqn 144 --> var 308 eqn 145 --> var 95 eqn 146 --> var 76 eqn 147 --> var 113 eqn 148 --> var 112 eqn 149 --> var 42 eqn 150 --> var 74 eqn 151 --> var 346 eqn 152 --> var 31 eqn 153 --> var 193 eqn 154 --> var 270 eqn 155 --> var 53 eqn 156 --> var 54 eqn 157 --> var 192 eqn 158 --> var 125 eqn 159 --> var 79 eqn 160 --> var 295 eqn 161 --> var 78 eqn 162 --> var 103 eqn 163 --> var 124 eqn 164 --> var 352 eqn 165 --> var 123 eqn 166 --> var 148 eqn 167 --> var 122 eqn 168 --> var 121 eqn 169 --> var 119 eqn 170 --> var 14 eqn 171 --> var 319 eqn 172 --> var 126 eqn 173 --> var 318 eqn 174 --> var 272 eqn 175 --> var 317 eqn 176 --> var 130 eqn 177 --> var 316 eqn 178 --> var 96 eqn 179 --> var 314 eqn 180 --> var -1 eqn 181 --> var 187 eqn 182 --> var 280 eqn 183 --> var 307 eqn 184 --> var 12 eqn 185 --> var 149 eqn 186 --> var 77 eqn 187 --> var 344 eqn 188 --> var 306 eqn 189 --> var 127 eqn 190 --> var 66 eqn 191 --> var 65 eqn 192 --> var 64 eqn 193 --> var 63 eqn 194 --> var 87 eqn 195 --> var 15 eqn 196 --> var 313 eqn 197 --> var 48 eqn 198 --> var 45 eqn 199 --> var 46 eqn 200 --> var 240 eqn 201 --> var 24 eqn 202 --> var 25 eqn 203 --> var 89 eqn 204 --> var 312 eqn 205 --> var 311 eqn 206 --> var 287 eqn 207 --> var 285 eqn 208 --> var 275 eqn 209 --> var 276 eqn 210 --> var 62 eqn 211 --> var 61 eqn 212 --> var 60 eqn 213 --> var 59 eqn 214 --> var 347 eqn 215 --> var 345 eqn 216 --> var 343 eqn 217 --> var 342 eqn 218 --> var 203 eqn 219 --> var 282 eqn 220 --> var -1 eqn 221 --> var 139 eqn 222 --> var 140 eqn 223 --> var 279 eqn 224 --> var 278 eqn 225 --> var 277 eqn 226 --> var 273 eqn 227 --> var 245 eqn 228 --> var 243 eqn 229 --> var 242 eqn 230 --> var 241 eqn 231 --> var 237 eqn 232 --> var 236 eqn 233 --> var 234 eqn 234 --> var 231 eqn 235 --> var 230 eqn 236 --> var 229 eqn 237 --> var 205 eqn 238 --> var 226 eqn 239 --> var 225 eqn 240 --> var 224 eqn 241 --> var 223 eqn 242 --> var 220 eqn 243 --> var 218 eqn 244 --> var 216 eqn 245 --> var 215 eqn 246 --> var 271 eqn 247 --> var 269 eqn 248 --> var 268 eqn 249 --> var 267 eqn 250 --> var 266 eqn 251 --> var 261 eqn 252 --> var 108 eqn 253 --> var 310 eqn 254 --> var 259 eqn 255 --> var 256 eqn 256 --> var 253 eqn 257 --> var 354 eqn 258 --> var 189 eqn 259 --> var 82 eqn 260 --> var 1 eqn 261 --> var 349 eqn 262 --> var 118 eqn 263 --> var 100 eqn 264 --> var 4 eqn 265 --> var 38 eqn 266 --> var 107 eqn 267 --> var 98 eqn 268 --> var 353 eqn 269 --> var 283 eqn 270 --> var 188 eqn 271 --> var 9 eqn 272 --> var 43 eqn 273 --> var 144 eqn 274 --> var 93 eqn 275 --> var 35 eqn 276 --> var 50 eqn 277 --> var 195 eqn 278 --> var 244 eqn 279 --> var 97 eqn 280 --> var 332 eqn 281 --> var 37 eqn 282 --> var 286 eqn 283 --> var 235 eqn 284 --> var 51 eqn 285 --> var 194 eqn 286 --> var 227 eqn 287 --> var 138 eqn 288 --> var 69 eqn 289 --> var 90 eqn 290 --> var 185 eqn 291 --> var 329 eqn 292 --> var 40 eqn 293 --> var 55 eqn 294 --> var 49 eqn 295 --> var 331 eqn 296 --> var 334 eqn 297 --> var -1 eqn 298 --> var 30 eqn 299 --> var 321 eqn 300 --> var -1 eqn 301 --> var 228 eqn 302 --> var -1 eqn 303 --> var 351 eqn 304 --> var 333 eqn 305 --> var -1 eqn 306 --> var 238 eqn 307 --> var -1 eqn 308 --> var 232 eqn 309 --> var 233 eqn 310 --> var 7 eqn 311 --> var 179 eqn 312 --> var 341 eqn 313 --> var -1 eqn 314 --> var 340 eqn 315 --> var 336 eqn 316 --> var 335 eqn 317 --> var 328 eqn 318 --> var 22 eqn 319 --> var -1 eqn 320 --> var 327 eqn 321 --> var 326 eqn 322 --> var 83 eqn 323 --> var 84 eqn 324 --> var 325 eqn 325 --> var 324 eqn 326 --> var 284 eqn 327 --> var -1 eqn 328 --> var 196 eqn 329 --> var 302 eqn 330 --> var 303 eqn 331 --> var 186 eqn 332 --> var 292 eqn 333 --> var 293 eqn 334 --> var 41 eqn 335 --> var 159 eqn 336 --> var -1 eqn 337 --> var 323 eqn 338 --> var 91 eqn 339 --> var 322 eqn 340 --> var 88 eqn 341 --> var 320 eqn 342 --> var 34 eqn 343 --> var 94 eqn 344 --> var 300 eqn 345 --> var 143 eqn 346 --> var 299 eqn 347 --> var 298 eqn 348 --> var 296 eqn 349 --> var 200 eqn 350 --> var 101 eqn 351 --> var 102 eqn 352 --> var 339 eqn 353 --> var 128 eqn 354 --> var 204 eqn 355 --> var 176 eqn 356 --> var 202 eqn 357 --> var 201 eqn 358 --> var 212 eqn 359 --> var -1 eqn 360 --> var 222 eqn 361 --> var 5 eqn 362 --> var 6 eqn 363 --> var 301 eqn 364 --> var -1 eqn 365 --> var 199 eqn 366 --> var -1 eqn 367 --> var -1 eqn 368 --> var 197 eqn 369 --> var -1 eqn 370 --> var 33 eqn 371 --> var 105 eqn 372 --> var 106 eqn 373 --> var 297 eqn 374 --> var 57 eqn 375 --> var 294 eqn 376 --> var 291 eqn 377 --> var 290 eqn 378 --> var 288 eqn 379 --> var -1