/* Exported nodes: */ node("1", "ct_file", "d:/phd/EclipseSpace/Helios_3.6/runtime-GTSExplore/org.eclipse.viatra2.gtasm.gtsexplore/testgraphs/service/SC/ServConf_1.pl"). node("2", "ct", "removeService(D, Rd, E)"). node("3", "condition_literal", "serviceNode(D)"). node("4", "condition_literal", "downStateRelation(Rd, D, D)"). node("5", "condition_literal", "not(serviceNode(S), D\=S, backupStateRelation(_G3666, D, S))"). node("6", "action_literal", "delete(downStateRelation(Rd, D, D))"). node("7", "action_literal", "delete(serviceNode(D))"). node("8", "action_literal", "add(emptyNode(E))"). node("9", "ct", "initializeEmptyNode(E)"). node("10", "condition_literal", "emptyNode(E)"). node("11", "action_literal", "add(emptyNode(E))"). node("12", "ct", "powerOnService(E, A, Ra)"). node("13", "condition_literal", "emptyNode(E)"). node("14", "action_literal", "add(serviceNode(A))"). node("15", "action_literal", "add(upStateRelation(Ra, A, A))"). node("16", "action_literal", "delete(emptyNode(E))"). node("17", "ct", "registerService(S, R, Ra)"). node("18", "condition_literal", "serviceNode(S)"). node("19", "condition_literal", "upStateRelation(R, S, S)"). node("20", "action_literal", "delete(upStateRelation(R, S, S))"). node("21", "action_literal", "add(activeStateRelation(Ra, S, S))"). node("22", "ct", "unregisterService(S, Ra, Ru)"). node("23", "condition_literal", "serviceNode(S)"). node("24", "condition_literal", "activeStateRelation(Ra, S, S)"). node("25", "condition_literal", "not(serviceNode(S2), S2\=S, backupStateRelation(_b, S, S2))"). node("26", "action_literal", "delete(activeStateRelation(Ra, S, S))"). node("27", "action_literal", "add(upStateRelation(Ru, S, S))"). node("28", "ct", "standbyService(A, U, Ru, Ra, Rs, Rb)"). node("29", "condition_literal", "serviceNode(A)"). node("30", "condition_literal", "serviceNode(U)"). node("31", "condition_literal", "A\=U"). node("32", "condition_literal", "upStateRelation(Ru, U, U)"). node("33", "condition_literal", "activeStateRelation(Ra, A, A)"). node("34", "condition_literal", "backupStateRelation(Rb, A, U)"). node("35", "action_literal", "delete(upStateRelation(Ru, U, U))"). node("36", "action_literal", "add(standbyStateRelation(Rs, U, U))"). node("37", "action_literal", "add(backupStateRelation(Rb, A, U))"). node("38", "ct", "detachService(A, S, Rs, Ra, Rb, Ru)"). node("39", "condition_literal", "serviceNode(A)"). node("40", "condition_literal", "serviceNode(S)"). node("41", "condition_literal", "A\=S"). node("42", "condition_literal", "standsyStateRelation(Rs, S, S)"). node("43", "condition_literal", "activeStateRelation(Ra, A, A)"). node("44", "condition_literal", "backupStateRelation(Rb, A, S)"). node("45", "action_literal", "delete(backupStateRelation(Rb, A, S))"). node("46", "action_literal", "delete(standbyStateRelation(Rs, S, S))"). node("47", "action_literal", "add(upStateRelation(Ru, S, S))"). node("48", "ct", "failoverService(D, S, Rs, Rd, Rb, Ra)"). node("49", "condition_literal", "serviceNode(D)"). node("50", "condition_literal", "serviceNode(S)"). node("51", "condition_literal", "D\=S"). node("52", "condition_literal", "standbyStateRelation(Rs, S, S)"). node("53", "condition_literal", "downStateRelation(Rd, D, D)"). node("54", "condition_literal", "backupStateRelation(Rb, D, S)"). node("55", "action_literal", "delete(standbyStateRelation(Rs, S, S))"). node("56", "action_literal", "delete(backupStateRelation(Rb, D, S))"). node("57", "action_literal", "add(activeStateRelation(Ra, S, S))"). /* 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("2", "7", "parent-child"). within("2", "8", "parent-child"). within("1", "9", "parent-child"). within("9", "10", "parent-child"). within("9", "11", "parent-child"). within("1", "12", "parent-child"). within("12", "13", "parent-child"). within("12", "14", "parent-child"). within("12", "15", "parent-child"). within("12", "16", "parent-child"). within("1", "17", "parent-child"). within("17", "18", "parent-child"). within("17", "19", "parent-child"). within("17", "20", "parent-child"). within("17", "21", "parent-child"). within("1", "22", "parent-child"). within("22", "23", "parent-child"). within("22", "24", "parent-child"). within("22", "25", "parent-child"). within("22", "26", "parent-child"). within("22", "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("28", "33", "parent-child"). within("28", "34", "parent-child"). within("28", "35", "parent-child"). within("28", "36", "parent-child"). within("28", "37", "parent-child"). within("1", "38", "parent-child"). within("38", "39", "parent-child"). within("38", "40", "parent-child"). within("38", "41", "parent-child"). within("38", "42", "parent-child"). within("38", "43", "parent-child"). within("38", "44", "parent-child"). within("38", "45", "parent-child"). within("38", "46", "parent-child"). within("38", "47", "parent-child"). within("1", "48", "parent-child"). within("48", "49", "parent-child"). within("48", "50", "parent-child"). within("48", "51", "parent-child"). within("48", "52", "parent-child"). within("48", "53", "parent-child"). within("48", "54", "parent-child"). within("48", "55", "parent-child"). within("48", "56", "parent-child"). within("48", "57", "parent-child"). /* Exported properties: */ property("2", "position(37, 262)"). property("3", "position(66, 80)"). property("4", "position(83, 108)"). property("5", "position(111, 175)"). property("6", "position(181, 214)"). property("7", "position(217, 239)"). property("8", "position(242, 259)"). property("9", "position(265, 338)"). property("10", "position(299, 311)"). property("10", "negative"). property("11", "position(315, 337)"). property("12", "position(454, 579)"). property("13", "position(481, 499)"). property("14", "position(503, 522)"). property("15", "position(525, 553)"). property("16", "position(556, 576)"). property("17", "position(657, 814)"). property("18", "position(691, 705)"). property("19", "position(711, 733)"). property("20", "position(743, 773)"). property("21", "position(779, 811)"). property("22", "position(817, 1062)"). property("23", "position(854, 868)"). property("24", "position(874, 901)"). property("25", "position(907, 987)"). property("26", "position(993, 1028)"). property("27", "position(1031, 1059)"). property("28", "position(1065, 1349)"). property("29", "position(1104, 1118)"). property("30", "position(1121, 1135)"). property("31", "position(1138, 1144)"). property("32", "position(1147, 1170)"). property("33", "position(1173, 1200)"). property("34", "position(1208, 1235)"). property("34", "negative"). property("35", "position(1244, 1275)"). property("36", "position(1278, 1311)"). property("37", "position(1314, 1346)"). property("38", "position(1352, 1647)"). property("39", "position(1390, 1404)"). property("40", "position(1407, 1421)"). property("41", "position(1424, 1430)"). property("42", "position(1433, 1461)"). property("43", "position(1464, 1491)"). property("44", "position(1494, 1521)"). property("45", "position(1539, 1574)"). property("46", "position(1577, 1613)"). property("47", "position(1616, 1644)"). property("48", "position(1650, 1938)"). property("49", "position(1690, 1704)"). property("50", "position(1707, 1721)"). property("51", "position(1724, 1730)"). property("52", "position(1733, 1761)"). property("53", "position(1764, 1789)"). property("54", "position(1792, 1819)"). property("55", "position(1825, 1861)"). property("56", "position(1864, 1899)"). property("57", "position(1902, 1934)"). /* Exported edges: */ edge("58", "triggers", "emptyNode(_G3621)", "11", "13"). edge("59", "triggers", "emptyNode(_G3621)", "8", "13"). edge("60", "triggers", "upStateRelation(_G3622, _G3621, _G3621)", "47", "19"). edge("61", "triggers", "upStateRelation(_G3622, _G3621, _G3621)", "27", "19"). edge("62", "triggers", "upStateRelation(_G3622, _G3621, _G3621)", "15", "19"). edge("63", "triggers", "serviceNode(_G3621)", "14", "18"). edge("64", "triggers", "serviceNode(_G3621)", "14", "3"). edge("65", "triggers", "activeStateRelation(_G3622, _G3621, _G3621)", "57", "24"). edge("66", "triggers", "activeStateRelation(_G3622, _G3621, _G3621)", "21", "24"). edge("67", "triggers", "serviceNode(_G3621)", "14", "23"). edge("68", "triggers", "activeStateRelation(_G3624, _G3621, _G3621)", "57", "43"). edge("69", "triggers", "backupStateRelation(_G3625, _G3621, _G3622)", "37", "44"). edge("70", "triggers", "activeStateRelation(_G3624, _G3621, _G3621)", "21", "43"). edge("71", "triggers", "serviceNode(_G3622)", "14", "39"). edge("72", "triggers", "serviceNode(_G3622)", "14", "40"). edge("73", "triggers", "serviceNode(_G3621)", "14", "39"). edge("74", "triggers", "serviceNode(_G3621)", "14", "40"). edge("75", "triggers", "backupStateRelation(_G3625, _G3621, _G3622)", "37", "54"). edge("76", "triggers", "standbyStateRelation(_G3623, _G3622, _G3622)", "36", "52"). edge("77", "triggers", "serviceNode(_G3622)", "14", "49"). edge("78", "triggers", "serviceNode(_G3622)", "14", "50"). edge("79", "triggers", "serviceNode(_G3621)", "14", "49"). edge("80", "triggers", "serviceNode(_G3621)", "14", "50"). edge("81", "triggers", "activeStateRelation(_G3624, _G3621, _G3621)", "57", "33"). edge("82", "triggers", "upStateRelation(_G3623, _G3622, _G3622)", "47", "32"). edge("83", "triggers", "upStateRelation(_G3623, _G3622, _G3622)", "27", "32"). edge("84", "triggers", "activeStateRelation(_G3624, _G3621, _G3621)", "21", "33"). edge("85", "triggers", "upStateRelation(_G3623, _G3622, _G3622)", "15", "32"). edge("86", "triggers", "serviceNode(_G3622)", "14", "29"). edge("87", "triggers", "serviceNode(_G3622)", "14", "30"). edge("88", "triggers", "serviceNode(_G3621)", "14", "29"). edge("89", "triggers", "serviceNode(_G3621)", "14", "30"). edge("90", "inhibits", "emptyNode(_G3621)", "16", "13"). edge("91", "inhibits", "upStateRelation(_G3622, _G3621, _G3621)", "35", "19"). edge("92", "inhibits", "upStateRelation(_G3622, _G3621, _G3621)", "20", "19"). edge("93", "inhibits", "serviceNode(_G3621)", "7", "18"). edge("94", "inhibits", "serviceNode(_G3621)", "7", "3"). edge("95", "inhibits", "downStateRelation(_G3622, _G3621, _G3621)", "6", "4"). edge("96", "inhibits", "activeStateRelation(_G3622, _G3621, _G3621)", "26", "24"). edge("97", "inhibits", "serviceNode(_G3621)", "7", "23"). edge("98", "inhibits", "backupStateRelation(_G3625, _G3621, _G3622)", "56", "44"). edge("99", "inhibits", "backupStateRelation(_G3625, _G3621, _G3622)", "45", "44"). edge("100", "inhibits", "activeStateRelation(_G3624, _G3621, _G3621)", "26", "43"). edge("101", "inhibits", "serviceNode(_G3622)", "7", "39"). edge("102", "inhibits", "serviceNode(_G3622)", "7", "40"). edge("103", "inhibits", "serviceNode(_G3621)", "7", "39"). edge("104", "inhibits", "serviceNode(_G3621)", "7", "40"). edge("105", "inhibits", "backupStateRelation(_G3625, _G3621, _G3622)", "56", "54"). edge("106", "inhibits", "standbyStateRelation(_G3623, _G3622, _G3622)", "55", "52"). edge("107", "inhibits", "standbyStateRelation(_G3623, _G3622, _G3622)", "46", "52"). edge("108", "inhibits", "backupStateRelation(_G3625, _G3621, _G3622)", "45", "54"). edge("109", "inhibits", "serviceNode(_G3622)", "7", "49"). edge("110", "inhibits", "serviceNode(_G3622)", "7", "50"). edge("111", "inhibits", "serviceNode(_G3621)", "7", "49"). edge("112", "inhibits", "serviceNode(_G3621)", "7", "50"). edge("113", "inhibits", "downStateRelation(_G3624, _G3621, _G3621)", "6", "53"). edge("114", "inhibits", "upStateRelation(_G3623, _G3622, _G3622)", "35", "32"). edge("115", "inhibits", "activeStateRelation(_G3624, _G3621, _G3621)", "26", "33"). edge("116", "inhibits", "upStateRelation(_G3623, _G3622, _G3622)", "20", "32"). edge("117", "inhibits", "serviceNode(_G3622)", "7", "29"). edge("118", "inhibits", "serviceNode(_G3622)", "7", "30"). edge("119", "inhibits", "serviceNode(_G3621)", "7", "29"). edge("120", "inhibits", "serviceNode(_G3621)", "7", "30"). /* Exported everything...: */