/*
 Exported nodes:
*/
node("1", "ct_file", "d:/phd/eclipsespace/condor/workspace/arinc/arinc.pl").
node("2", "ct", "allocateJobInstance(JInstance)").
node("3", "condition_literal", "partition(P1)").
node("4", "condition_literal", "jobInstance(JInstance)").
node("5", "condition_literal", "ins(_G1340, JInstance, Job)").
node("6", "condition_literal", "memory(M1)").
node("7", "condition_literal", "memory(M2)").
node("8", "condition_literal", "freeMemory(_1, P1, M1)").
node("9", "condition_literal", "job(Job)").
node("10", "condition_literal", "memoryNeeded(_2, Job, M2)").
node("11", "condition_literal", "jobs(_G1340, _P2, JInstance)").
node("12", "condition_literal", "not(jobs(_j1, P1, _ji1), jobs(_j2, P1, _ji2), jobs(_j3, P1, _ji3), jobs(_j4, P1, _ji4), jobs(_j5, P1, _ji5), jobs(_j6, P1, _ji6), jobs(_j7, P1, _ji7), jobs(_j8, P1, _ji8), jobs(_j9, P1, _ji9), jobs(_j10, P1, _ji10))").
node("13", "action_literal", "add(jobs(_G1342, P1, JInstance))").
node("14", "ct", "allocatePartition(Partition)").
node("15", "condition_literal", "partition(Partition)").
node("16", "condition_literal", "cPIOM(CPIOM)").
node("17", "condition_literal", "partitions(_G1340, _OtherCPIOM, Partition)").
node("18", "action_literal", "add(partitions(_G1342, CPIOM, Partition))").
node("19", "ct", "allocateCPIOM(CPIOM)").
node("20", "condition_literal", "cabinet(Cabinet)").
node("21", "condition_literal", "cPIOM(CPIOM)").
node("22", "condition_literal", "cpioms(_G1340, _OtherCabinet, CPIOM)").
node("23", "action_literal", "add(cpioms(_G1342, Cabinet, CPIOM))").
node("24", "ct", "createCPIOM(Cl, S)").
node("25", "condition_literal", "iDCPIOM(ID)").
node("26", "action_literal", "add(cPIOM(CP))").

/*
 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("2", "9", "parent-child").
within("2", "10", "parent-child").
within("2", "11", "parent-child").
within("2", "12", "parent-child").
within("2", "13", "parent-child").
within("1", "14", "parent-child").
within("14", "15", "parent-child").
within("14", "16", "parent-child").
within("14", "17", "parent-child").
within("14", "18", "parent-child").
within("1", "19", "parent-child").
within("19", "20", "parent-child").
within("19", "21", "parent-child").
within("19", "22", "parent-child").
within("19", "23", "parent-child").
within("1", "24", "parent-child").
within("24", "25", "parent-child").
within("24", "26", "parent-child").

/*
 Exported properties:
*/
property("2", "position(37, 579)").
property("3", "position(75, 88)").
property("4", "position(91, 113)").
property("5", "position(116, 136)").
property("6", "position(140, 150)").
property("7", "position(153, 163)").
property("8", "position(167, 187)").
property("9", "position(191, 199)").
property("10", "position(203, 226)").
property("11", "position(235, 256)").
property("11", "negative").
property("12", "position(261, 545)").
property("13", "position(548, 578)").
property("14", "position(582, 742)").
property("15", "position(619, 639)").
property("16", "position(642, 654)").
property("17", "position(662, 697)").
property("17", "negative").
property("18", "position(702, 741)").
property("19", "position(745, 879)").
property("20", "position(773, 789)").
property("21", "position(792, 804)").
property("22", "position(812, 841)").
property("22", "negative").
property("23", "position(845, 878)").
property("24", "position(882, 941)").
property("25", "position(904, 920)").
property("26", "position(921, 940)").

/*
 Exported edges:
*/
edge("27", "triggers", "cPIOM(_G1304)", "26", "21").
edge("28", "triggers", "cPIOM(_G1309)", "26", "16").

/*
 Exported everything...:
*/