1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
<?xml version="1.0" encoding="UTF-8"?>
<!-- This file was written by the JAVA GraphML Library.-->
<graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://graphml.graphdrawing.org/xmlns/1.0/graphml.xsd">
<key id="color" for="all" attr.name="color" attr.type="string"/>
<key id="style" for="graph" attr.name="style" attr.type="string"/>
<key id="label" for="all" attr.name="label" attr.type="string"/>
<graph id="G" edgedefault="directed">
<node id="n0"/>
<node id="n1"/>
<node id="n2"/>
<node id="n3"/>
<node id="n4"/>
<node id="n5">
<graph id="n5:" edgedefault="directed">
<data key="color">black</data>
<data key="style">filled</data>
<data key="label">SUB n5</data>
<node id="n5::n0"/>
<node id="n5::n1"/>
<node id="n5::n2"/>
<edge id="e0" source="n5::n0" target="n5::n2"/>
<edge id="e1" source="n5::n1" target="n5::n2"/>
</graph>
</node>
<node id="n6">
<graph id="n6:" edgedefault="directed">
<data key="color">red</data>
<data key="style">filled</data>
<data key="label">SUB n6</data>
<node id="n6::n0">
<graph id="n6::n0:" edgedefault="directed">
<data key="label">SUB n6::n0</data>
<data key="color">blue</data>
<data key="style">filled</data>
<node id="n6::n0::n0"/>
</graph>
</node>
<node id="n6::n1"/>
<node id="n6::n2"/>
<edge id="e10" source="n6::n1" target="n6::n0::n0"/>
<edge id="e11" source="n6::n1" target="n6::n2"/>
</graph>
</node>
<edge id="e2" source="n5::n2" target="n0"/>
<edge id="e3" source="n0" target="n2"/>
<edge id="e4" source="n0" target="n1"/>
<edge id="e5" source="n1" target="n3"/>
<edge id="e6" source="n3" target="n2"/>
<edge id="e7" source="n2" target="n4"/>
<edge id="e8" source="n3" target="n6::n1"/>
<edge id="e9" source="n6::n1" target="n4"/>
</graph>
</graphml>
|
