/* Exported nodes: */ node("1", "ct_file", "d:/phd/EclipseSpace/Helios_3.6/runtime-GTSExplore/org.eclipse.viatra2.gtasm.gtsexplore/testgraphs/service/SC/servconf_subtype2.pl"). node("2", "ct", "removeService(D, E)"). node("3", "condition_literal", "downN(D)"). node("4", "condition_literal", "not(standbyN(S), D\=S, backupRelation(_G2710, D, S))"). node("5", "action_literal", "delete(downN(D))"). node("6", "action_literal", "add(emptyN(E))"). node("7", "ct", "initializeEmptyNode(E)"). node("8", "condition_literal", "emptyN(E)"). node("9", "action_literal", "add(emptyN(E))"). node("10", "ct", "powerOnService(E, A)"). node("11", "condition_literal", "emptyN(E)"). node("12", "action_literal", "add(upN(A))"). node("13", "action_literal", "delete(emptyN(E))"). node("14", "ct", "registerService(S, A)"). node("15", "condition_literal", "upN(S)"). node("16", "action_literal", "delete(upN(S))"). node("17", "action_literal", "add(activeN(A))"). node("18", "ct", "unregisterService(S, U)"). node("19", "condition_literal", "activeN(S)"). node("20", "condition_literal", "not(initN(S2), S2\=S, backupRelation(_b, S, S2))"). node("21", "action_literal", "delete(activeN(S))"). node("22", "action_literal", "add(upN(U))"). node("23", "ct", "standbyService(A, U, Rb, S)"). node("24", "condition_literal", "activeN(A)"). node("25", "condition_literal", "upN(U)"). node("26", "condition_literal", "A\=U"). node("27", "condition_literal", "backupRelation(Rb, A, U)"). node("28", "action_literal", "delete(upN(U))"). node("29", "action_literal", "add(standbyN(S))"). node("30", "action_literal", "add(backupRelation(Rb, A, S))"). node("31", "ct", "detachService(A, S, Rb, U)"). node("32", "condition_literal", "activeN(A)"). node("33", "condition_literal", "standbyN(S)"). node("34", "condition_literal", "A\=S"). node("35", "condition_literal", "backupRelation(Rb, A, S)"). node("36", "action_literal", "delete(backupRelation(Rb, A, S))"). node("37", "action_literal", "delete(standbyN(S))"). node("38", "action_literal", "add(upN(U))"). node("39", "ct", "failoverService(D, S, Rb, A)"). node("40", "condition_literal", "downN(D)"). node("41", "condition_literal", "standbyN(S)"). node("42", "condition_literal", "D\=S"). node("43", "condition_literal", "backupRelation(Rb, D, S)"). node("44", "action_literal", "delete(backupRelation(Rb, D, S))"). node("45", "action_literal", "delete(standbyN(S))"). node("46", "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("1", "10", "parent-child"). within("10", "11", "parent-child"). within("10", "12", "parent-child"). within("10", "13", "parent-child"). within("1", "14", "parent-child"). within("14", "15", "parent-child"). within("14", "16", "parent-child"). within("14", "17", "parent-child"). within("1", "18", "parent-child"). within("18", "19", "parent-child"). within("18", "20", "parent-child"). within("18", "21", "parent-child"). within("18", "22", "parent-child"). within("1", "23", "parent-child"). within("23", "24", "parent-child"). within("23", "25", "parent-child"). within("23", "26", "parent-child"). within("23", "27", "parent-child"). within("23", "28", "parent-child"). within("23", "29", "parent-child"). within("23", "30", "parent-child"). within("1", "31", "parent-child"). within("31", "32", "parent-child"). within("31", "33", "parent-child"). within("31", "34", "parent-child"). within("31", "35", "parent-child"). within("31", "36", "parent-child"). within("31", "37", "parent-child"). within("31", "38", "parent-child"). within("1", "39", "parent-child"). within("39", "40", "parent-child"). within("39", "41", "parent-child"). within("39", "42", "parent-child"). within("39", "43", "parent-child"). within("39", "44", "parent-child"). within("39", "45", "parent-child"). within("39", "46", "parent-child"). /* Exported properties: */ property("2", "position(37, 172)"). property("3", "position(63, 71)"). property("4", "position(74, 130)"). property("5", "position(136, 152)"). property("6", "position(155, 169)"). property("7", "position(175, 242)"). property("8", "position(209, 218)"). property("8", "negative"). property("9", "position(222, 241)"). property("10", "position(358, 435)"). property("11", "position(382, 397)"). property("12", "position(401, 412)"). property("13", "position(415, 432)"). property("14", "position(513, 597)"). property("15", "position(538, 552)"). property("16", "position(559, 573)"). property("17", "position(579, 594)"). property("18", "position(600, 759)"). property("19", "position(633, 643)"). property("20", "position(649, 718)"). property("21", "position(724, 742)"). property("22", "position(745, 756)"). property("23", "position(762, 927)"). property("24", "position(794, 804)"). property("25", "position(807, 813)"). property("26", "position(816, 822)"). property("27", "position(830, 852)"). property("27", "negative"). property("28", "position(861, 875)"). property("29", "position(878, 894)"). property("30", "position(897, 924)"). property("31", "position(930, 1094)"). property("32", "position(961, 971)"). property("33", "position(974, 985)"). property("34", "position(988, 994)"). property("35", "position(997, 1019)"). property("36", "position(1025, 1055)"). property("37", "position(1058, 1077)"). property("38", "position(1080, 1091)"). property("39", "position(1097, 1265)"). property("40", "position(1130, 1138)"). property("41", "position(1141, 1152)"). property("42", "position(1155, 1161)"). property("43", "position(1164, 1186)"). property("44", "position(1192, 1222)"). property("45", "position(1225, 1244)"). property("46", "position(1247, 1262)"). /* Exported edges: */ edge("47", "triggers", "emptyN(_G2665)", "9", "11"). edge("48", "triggers", "emptyN(_G2665)", "6", "11"). edge("49", "triggers", "upN(_G2665)", "38", "15"). edge("50", "triggers", "upN(_G2665)", "22", "15"). edge("51", "triggers", "upN(_G2665)", "12", "15"). edge("52", "triggers", "activeN(_G2665)", "46", "19"). edge("53", "triggers", "activeN(_G2665)", "17", "19"). edge("54", "triggers", "activeN(_G2665)", "46", "32"). edge("55", "triggers", "backupRelation(_G2667, _G2665, _G2666)", "30", "35"). edge("56", "triggers", "standbyN(_G2666)", "29", "33"). edge("57", "triggers", "activeN(_G2665)", "17", "32"). edge("58", "triggers", "standbyN(_G2666)", "29", "41"). edge("59", "triggers", "activeN(_G2665)", "46", "24"). edge("60", "triggers", "upN(_G2666)", "38", "25"). edge("61", "triggers", "upN(_G2666)", "22", "25"). edge("62", "triggers", "activeN(_G2665)", "17", "24"). edge("63", "triggers", "upN(_G2666)", "12", "25"). edge("64", "inhibits", "emptyN(_G2665)", "13", "11"). edge("65", "inhibits", "upN(_G2665)", "28", "15"). edge("66", "inhibits", "upN(_G2665)", "16", "15"). edge("67", "inhibits", "downN(_G2665)", "5", "3"). edge("68", "inhibits", "activeN(_G2665)", "21", "19"). edge("69", "inhibits", "standbyN(_G2666)", "45", "33"). edge("70", "inhibits", "standbyN(_G2666)", "37", "33"). edge("71", "inhibits", "backupRelation(_G2667, _G2665, _G2666)", "36", "35"). edge("72", "inhibits", "activeN(_G2665)", "21", "32"). edge("73", "inhibits", "standbyN(_G2666)", "45", "41"). edge("74", "inhibits", "backupRelation(_G2667, _G2665, _G2666)", "44", "43"). edge("75", "inhibits", "standbyN(_G2666)", "37", "41"). edge("76", "inhibits", "downN(_G2665)", "5", "40"). edge("77", "inhibits", "upN(_G2666)", "28", "25"). edge("78", "inhibits", "activeN(_G2665)", "21", "24"). edge("79", "inhibits", "upN(_G2666)", "16", "25"). /* Exported everything...: */