/*
 Exported nodes:
*/
node("1", "ct_file", "d:/phd/eclipsespace/condor/workspace/serviceconfiguration/test.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(_G2387, 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))").

/*
 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").

/*
 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)").

/*
 Exported edges:
*/
edge("38", "triggers", "emptyNode(_G2342)", "11", "13"). % initializeEmptyNode - powerOnService
edge("39", "triggers", "emptyNode(_G2342)", "8", "13"). % removeService - powerOn
edge("40", "triggers", "upStateRelation(_G2343, _G2342, _G2342)", "27", "19"). % unregisterService - registerService
edge("41", "triggers", "upStateRelation(_G2343, _G2342, _G2342)", "15", "19"). % powerOnService - registerService
edge("42", "triggers", "serviceNode(_G2342)", "14", "18"). % powerOnService - registerService
edge("43", "triggers", "serviceNode(_G2342)", "14", "3"). % removeService - powerOn
edge("44", "triggers", "activeStateRelation(_G2343, _G2342, _G2342)", "21", "24"). % registerService - unregisterService
edge("45", "triggers", "serviceNode(_G2342)", "14", "23"). % powerOnService - unregisterService
edge("46", "triggers", "upStateRelation(_G2344, _G2343, _G2343)", "27", "32"). % unregisterService - standbyService
edge("47", "triggers", "activeStateRelation(_G2345, _G2342, _G2342)", "21", "33"). % registerService - standbyService
edge("48", "triggers", "upStateRelation(_G2344, _G2343, _G2343)", "15", "32"). % powerOnService - standbyService
edge("49", "triggers", "serviceNode(_G2343)", "14", "29"). % powerOnService - standbyService
edge("50", "triggers", "serviceNode(_G2343)", "14", "30"). % powerOnService - standbyService
edge("51", "triggers", "serviceNode(_G2342)", "14", "29"). % powerOnService - standbyService
edge("52", "triggers", "serviceNode(_G2342)", "14", "30"). % powerOnService - standbyService
edge("53", "inhibits", "emptyNode(_G2342)", "16", "13"). % powerOnService -powerOnService
edge("54", "inhibits", "upStateRelation(_G2343, _G2342, _G2342)", "35", "19"). % standbyService - registerService
edge("55", "inhibits", "upStateRelation(_G2343, _G2342, _G2342)", "20", "19"). % registerService - registerService
edge("56", "inhibits", "serviceNode(_G2342)", "7", "18"). % removeService - registerService
edge("57", "inhibits", "serviceNode(_G2342)", "7", "3"). % removeService - removeServoce
edge("58", "inhibits", "downStateRelation(_G2343, _G2342, _G2342)", "6", "4"). % removeService - removeService
edge("59", "inhibits", "activeStateRelation(_G2343, _G2342, _G2342)", "26", "24"). % unregisterService - unregisterService
edge("60", "inhibits", "serviceNode(_G2342)", "7", "23"). % removeService - unregisterService
edge("61", "inhibits", "upStateRelation(_G2344, _G2343, _G2343)", "35", "32"). % standbyService - standbyService
edge("62", "inhibits", "activeStateRelation(_G2345, _G2342, _G2342)", "26", "33"). % unregisterService - standbyService
edge("63", "inhibits", "upStateRelation(_G2344, _G2343, _G2343)", "20", "32"). % registerService - standbyService
edge("64", "inhibits", "serviceNode(_G2343)", "7", "29"). % removeService - standbyService
edge("65", "inhibits", "serviceNode(_G2343)", "7", "30"). % removeService - standbyService
edge("66", "inhibits", "serviceNode(_G2342)", "7", "29"). % removeService - standbyService
edge("67", "inhibits", "serviceNode(_G2342)", "7", "30"). % removeService - standbyService

/*
 Exported everything...:
*/