/* Exported nodes: */ node("1", "ct_file", "d:/phd/EclipseSpace/Helios_3.6/runtime-GTSExplore/org.eclipse.viatra2.gtasm.gtsexplore/testgraphs/service/SC/servconf_subtype3.pl"). node("2", "ct", "removeService(D, E)"). node("3", "condition_literal", "downN(D)"). node("4", "condition_literal", "backupRelation(_G3460, D, _1)"). node("5", "action_literal", "delete(downN(D))"). node("6", "action_literal", "add(emptyN(E))"). node("7", "ct", "removeServiceWBackup(D, E)"). node("8", "condition_literal", "downN(D)"). node("9", "condition_literal", "standbyN(S)"). node("10", "condition_literal", "D\=S"). node("11", "condition_literal", "backupRelation(R, D, S)"). node("12", "action_literal", "delete(backupRelation(R, D, S))"). node("13", "action_literal", "delete(standByN(S))"). node("14", "action_literal", "delete(downN(D))"). node("15", "action_literal", "add(emptyN(E))"). node("16", "action_literal", "add(up(_G3462))"). node("17", "ct", "initializeEmptyNode(E)"). node("18", "condition_literal", "emptyN(E)"). node("19", "action_literal", "add(emptyN(E))"). node("20", "ct", "powerOnService(E, A)"). node("21", "condition_literal", "emptyN(E)"). node("22", "action_literal", "add(upN(A))"). node("23", "action_literal", "delete(emptyN(E))"). node("24", "ct", "registerService(S, A)"). node("25", "condition_literal", "upN(S)"). node("26", "action_literal", "delete(upN(S))"). node("27", "action_literal", "add(activeN(A))"). node("28", "ct", "unregisterService(S, U)"). node("29", "condition_literal", "activeN(S)"). node("30", "condition_literal", "not(initN(S2), S2\=S, backupRelation(_b, S, S2))"). node("31", "action_literal", "delete(activeN(S))"). node("32", "action_literal", "add(upN(U))"). node("33", "ct", "standbyService(A, U, Rb, S)"). node("34", "condition_literal", "activeN(A)"). node("35", "condition_literal", "upN(U)"). node("36", "condition_literal", "A\=U"). node("37", "condition_literal", "backupRelation(Rb, A, U)"). node("38", "action_literal", "delete(upN(U))"). node("39", "action_literal", "add(standbyN(S))"). node("40", "action_literal", "add(backupRelation(Rb, A, S))"). node("41", "ct", "detachService(A, S, Rb, U)"). node("42", "condition_literal", "activeN(A)"). node("43", "condition_literal", "standbyN(S)"). node("44", "condition_literal", "A\=S"). node("45", "condition_literal", "backupRelation(Rb, A, S)"). node("46", "action_literal", "delete(backupRelation(Rb, A, S))"). node("47", "action_literal", "delete(standbyN(S))"). node("48", "action_literal", "add(upN(U))"). node("49", "ct", "failoverService(D, S, Rb, A)"). node("50", "condition_literal", "downN(D)"). node("51", "condition_literal", "standbyN(S)"). node("52", "condition_literal", "D\=S"). node("53", "condition_literal", "backupRelation(Rb, D, S)"). node("54", "action_literal", "delete(backupRelation(Rb, D, S))"). node("55", "action_literal", "delete(standbyN(S))"). node("56", "action_literal", "add(activeN(A))"). /* Exported hierarchy: */ within("1", "2", "parent-child"). within("2", "3", "parent-child"). within("2", "4", "parent-child"). within("2", "5", "parent-child"). within("2", "6", "parent-child"). within("1", "7", "parent-child"). within("7", "8", "parent-child"). within("7", "9", "parent-child"). within("7", "10", "parent-child"). within("7", "11", "parent-child"). within("7", "12", "parent-child"). within("7", "13", "parent-child"). within("7", "14", "parent-child"). within("7", "15", "parent-child"). within("7", "16", "parent-child"). within("1", "17", "parent-child"). within("17", "18", "parent-child"). within("17", "19", "parent-child"). within("1", "20", "parent-child"). within("20", "21", "parent-child"). within("20", "22", "parent-child"). within("20", "23", "parent-child"). within("1", "24", "parent-child"). within("24", "25", "parent-child"). within("24", "26", "parent-child"). within("24", "27", "parent-child"). within("1", "28", "parent-child"). within("28", "29", "parent-child"). within("28", "30", "parent-child"). within("28", "31", "parent-child"). within("28", "32", "parent-child"). within("1", "33", "parent-child"). within("33", "34", "parent-child"). within("33", "35", "parent-child"). within("33", "36", "parent-child"). within("33", "37", "parent-child"). within("33", "38", "parent-child"). within("33", "39", "parent-child"). within("33", "40", "parent-child"). within("1", "41", "parent-child"). within("41", "42", "parent-child"). within("41", "43", "parent-child"). within("41", "44", "parent-child"). within("41", "45", "parent-child"). within("41", "46", "parent-child"). within("41", "47", "parent-child"). within("41", "48", "parent-child"). within("1", "49", "parent-child"). within("49", "50", "parent-child"). within("49", "51", "parent-child"). within("49", "52", "parent-child"). within("49", "53", "parent-child"). within("49", "54", "parent-child"). within("49", "55", "parent-child"). within("49", "56", "parent-child"). /* Exported properties: */ property("2", "position(37, 180)"). property("3", "position(63, 71)"). property("4", "position(113, 135)"). property("4", "negative"). property("5", "position(144, 160)"). property("6", "position(163, 177)"). property("7", "position(184, 390)"). property("8", "position(217, 225)"). property("9", "position(235, 246)"). property("10", "position(249, 255)"). property("11", "position(258, 279)"). property("12", "position(287, 316)"). property("13", "position(319, 338)"). property("14", "position(341, 357)"). property("15", "position(360, 374)"). property("16", "position(377, 387)"). property("17", "position(393, 460)"). property("18", "position(427, 436)"). property("18", "negative"). property("19", "position(440, 459)"). property("20", "position(577, 668)"). property("21", "position(601, 630)"). property("22", "position(634, 645)"). property("23", "position(648, 665)"). property("24", "position(746, 830)"). property("25", "position(771, 785)"). property("26", "position(792, 806)"). property("27", "position(812, 827)"). property("28", "position(833, 992)"). property("29", "position(866, 876)"). property("30", "position(882, 951)"). property("31", "position(957, 975)"). property("32", "position(978, 989)"). property("33", "position(995, 1160)"). property("34", "position(1027, 1037)"). property("35", "position(1040, 1046)"). property("36", "position(1049, 1055)"). property("37", "position(1063, 1085)"). property("37", "negative"). property("38", "position(1094, 1108)"). property("39", "position(1111, 1127)"). property("40", "position(1130, 1157)"). property("41", "position(1163, 1327)"). property("42", "position(1194, 1204)"). property("43", "position(1207, 1218)"). property("44", "position(1221, 1227)"). property("45", "position(1230, 1252)"). property("46", "position(1258, 1288)"). property("47", "position(1291, 1310)"). property("48", "position(1313, 1324)"). property("49", "position(1330, 1498)"). property("50", "position(1363, 1371)"). property("51", "position(1374, 1385)"). property("52", "position(1388, 1394)"). property("53", "position(1397, 1419)"). property("54", "position(1425, 1455)"). property("55", "position(1458, 1477)"). property("56", "position(1480, 1495)"). /* Exported edges: */ edge("57", "triggers", "emptyN(_G3424)", "19", "21"). edge("58", "triggers", "emptyN(_G3424)", "15", "21"). edge("59", "triggers", "emptyN(_G3424)", "6", "21"). edge("60", "triggers", "upN(_G3424)", "48", "25"). edge("61", "triggers", "upN(_G3424)", "32", "25"). edge("62", "triggers", "upN(_G3424)", "22", "25"). edge("63", "triggers", "standbyN(_G3430)", "39", "9"). edge("64", "triggers", "activeN(_G3424)", "56", "29"). edge("65", "triggers", "activeN(_G3424)", "27", "29"). edge("66", "triggers", "activeN(_G3424)", "56", "42"). edge("67", "triggers", "backupRelation(_G3426, _G3424, _G3425)", "40", "45"). edge("68", "triggers", "standbyN(_G3425)", "39", "43"). edge("69", "triggers", "activeN(_G3424)", "27", "42"). edge("70", "triggers", "standbyN(_G3425)", "39", "51"). edge("71", "triggers", "activeN(_G3424)", "56", "34"). edge("72", "triggers", "upN(_G3425)", "48", "35"). edge("73", "triggers", "upN(_G3425)", "32", "35"). edge("74", "triggers", "activeN(_G3424)", "27", "34"). edge("75", "triggers", "upN(_G3425)", "22", "35"). edge("76", "inhibits", "emptyN(_G3424)", "23", "21"). edge("77", "inhibits", "upN(_G3424)", "38", "25"). edge("78", "inhibits", "upN(_G3424)", "26", "25"). edge("79", "inhibits", "downN(_G3424)", "14", "3"). edge("80", "inhibits", "downN(_G3424)", "5", "3"). edge("81", "inhibits", "standbyN(_G3428)", "55", "9"). edge("82", "inhibits", "backupRelation(_G3429, _G3424, _G3428)", "54", "11"). edge("83", "inhibits", "standbyN(_G3428)", "47", "9"). edge("84", "inhibits", "downN(_G3424)", "14", "8"). edge("85", "inhibits", "backupRelation(_G3430, _G3424, _G3432)", "12", "11"). edge("86", "inhibits", "downN(_G3424)", "5", "8"). edge("87", "inhibits", "activeN(_G3424)", "31", "29"). edge("88", "inhibits", "standbyN(_G3425)", "55", "43"). edge("89", "inhibits", "standbyN(_G3425)", "47", "43"). edge("90", "inhibits", "backupRelation(_G3426, _G3424, _G3425)", "46", "45"). edge("91", "inhibits", "activeN(_G3424)", "31", "42"). edge("92", "inhibits", "standbyN(_G3425)", "55", "51"). edge("93", "inhibits", "backupRelation(_G3426, _G3424, _G3425)", "54", "53"). edge("94", "inhibits", "standbyN(_G3425)", "47", "51"). edge("95", "inhibits", "downN(_G3424)", "14", "50"). edge("96", "inhibits", "backupRelation(_G3426, _G3424, _G3425)", "12", "53"). edge("97", "inhibits", "downN(_G3424)", "5", "50"). edge("98", "inhibits", "upN(_G3425)", "38", "35"). edge("99", "inhibits", "activeN(_G3424)", "31", "34"). edge("100", "inhibits", "upN(_G3425)", "26", "35"). /* Exported everything...: */