<?xml version="1.0" encoding="UTF-8"?> <graphml xmlns="http://graphml.graphdrawing.org/xmlns/graphml" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns/graphml"> <key id="Optimized" for="graph"> <desc>Label optimization</desc> <default></default> </key> <key id="Name" for="graph"> <desc>LabeledIntGraph Name</desc> <default></default> </key> <key id="Obs" for="node"> <desc>Proposition Observed. Format: [a-zA-Z]</desc> <default></default> </key> <key id="x" for="node"> <desc>The x coordinate for the visualitation. A positive value.</desc> <default>0</default> </key> <key id="Label" for="node"> <desc>Label. Format: [¬[a-zA-Z]|[a-zA-Z]]+|⊡</desc> <default></default> </key> <key id="y" for="node"> <desc>The y coordinate for the visualitation. A positive value.</desc> <default>0</default> </key> <key id="Type" for="edge"> <desc>Type: Possible values: normal|contingent|constraint.</desc> <default>normal</default> </key> <key id="LowerCaseLabeledValues" for="edge"> <desc>Lower-Case Labeled Values. Format: {[[\('label', 'lower case name', 'integer'\) ]+}|{}</desc> <default></default> </key> <key id="Optimized" for="edge"> <desc>If the labeled values must be optimized. Format: a boolean.</desc> <default>true</default> </key> <key id="UpperCaseLabeledValues" for="edge"> <desc>Upper-Case Labeled Values. Format: {[[\('label', 'UPPER CASE NAME', 'integer'\) ]+}|{}</desc> <default></default> </key> <key id="LabeledValues" for="edge"> <desc>Labeled Values. Format: {[[\('label', 'integer'\) ]+}|{}</desc> <default></default> </key> <graph edgedefault="directed"> <data key="Optimized">false</data> <data key="Name">4AlternativeWFpaths.cstn</data> <node id="A?"> <data key="Obs">a</data> <data key="x">357.0</data> <data key="Label">⊡</data> <data key="y">5.0</data> </node> <node id="B?"> <data key="Obs">b</data> <data key="x">451.0</data> <data key="Label">⊡</data> <data key="y">686.0</data> </node> <node id="n10"> <data key="Obs"></data> <data key="x">564.0</data> <data key="Label">⊡</data> <data key="y">571.0</data> </node> <node id="n12"> <data key="Obs"></data> <data key="x">309.0</data> <data key="Label">b</data> <data key="y">767.0</data> </node> <node id="n13"> <data key="Obs"></data> <data key="x">173.0</data> <data key="Label">b</data> <data key="y">855.0</data> </node> <node id="n14"> <data key="Obs"></data> <data key="x">612.0</data> <data key="Label">¬b</data> <data key="y">751.0</data> </node> <node id="n15"> <data key="Obs"></data> <data key="x">621.0</data> <data key="Label">¬b</data> <data key="y">925.0</data> </node> <node id="n16"> <data key="Obs"></data> <data key="x">406.0</data> <data key="Label">⊡</data> <data key="y">1012.0</data> </node> <node id="n17"> <data key="Obs"></data> <data key="x">73.0</data> <data key="Label">⊡</data> <data key="y">987.0</data> </node> <node id="n2"> <data key="Obs"></data> <data key="x">186.0</data> <data key="Label">a</data> <data key="y">126.0</data> </node> <node id="n3"> <data key="Obs"></data> <data key="x">289.0</data> <data key="Label">a</data> <data key="y">221.0</data> </node> <node id="n4"> <data key="Obs"></data> <data key="x">617.0</data> <data key="Label">¬a</data> <data key="y">85.0</data> </node> <node id="n5"> <data key="Obs"></data> <data key="x">506.0</data> <data key="Label">¬a</data> <data key="y">208.0</data> </node> <node id="n6"> <data key="Obs"></data> <data key="x">401.0</data> <data key="Label">⊡</data> <data key="y">300.0</data> </node> <node id="n7"> <data key="Obs"></data> <data key="x">242.0</data> <data key="Label">⊡</data> <data key="y">323.0</data> </node> <node id="n8"> <data key="Obs"></data> <data key="x">241.0</data> <data key="Label">⊡</data> <data key="y">437.0</data> </node> <node id="n9"> <data key="Obs"></data> <data key="x">401.0</data> <data key="Label">⊡</data> <data key="y">472.0</data> </node> <node id="Z"> <data key="Obs"></data> <data key="x">80.0</data> <data key="Label">⊡</data> <data key="y">31.0</data> </node> <edge id="e0" source="A?" target="Z"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, -1) }</data> </edge> <edge id="e1" source="A?" target="n2"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(a, 2) }</data> </edge> <edge id="e10" source="n6" target="n3"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(a, -1) }</data> </edge> <edge id="e11" source="n5" target="n6"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(¬a, 1) }</data> </edge> <edge id="e12" source="n6" target="n5"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(¬a, -1) }</data> </edge> <edge id="e13" source="n6" target="n7"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, 2) }</data> </edge> <edge id="e14" source="n7" target="n6"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, -1) }</data> </edge> <edge id="e15" source="n7" target="n8"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, 1) }</data> </edge> <edge id="e16" source="n8" target="n7"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, -1) }</data> </edge> <edge id="e17" source="n8" target="n9"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, 7) }</data> </edge> <edge id="e18" source="n9" target="n8"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, -2) }</data> </edge> <edge id="e19" source="n9" target="n10"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, 1) }</data> </edge> <edge id="e2" source="n2" target="A?"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(a, -2) }</data> </edge> <edge id="e20" source="n10" target="n9"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, -1) }</data> </edge> <edge id="e21" source="B?" target="n10"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, -1) }</data> </edge> <edge id="e22" source="B?" target="n12"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(b, 1) }</data> </edge> <edge id="e23" source="n12" target="B?"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(b, -1) }</data> </edge> <edge id="e24" source="n12" target="n13"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(b, 8) }</data> </edge> <edge id="e25" source="n13" target="n12"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(b, -3) }</data> </edge> <edge id="e26" source="B?" target="n14"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(¬b, 1) }</data> </edge> <edge id="e27" source="n14" target="B?"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(¬b, -1) }</data> </edge> <edge id="e28" source="n14" target="n15"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(¬b, 7) }</data> </edge> <edge id="e29" source="n15" target="n14"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(¬b, -5) }</data> </edge> <edge id="e3" source="n2" target="n3"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(a, 6) }</data> </edge> <edge id="e30" source="n13" target="n16"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(b, 1) }</data> </edge> <edge id="e31" source="n16" target="n13"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(b, -1) }</data> </edge> <edge id="e32" source="n15" target="n16"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(¬b, 1) }</data> </edge> <edge id="e33" source="n16" target="n15"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(¬b, -1) }</data> </edge> <edge id="e34" source="n16" target="n17"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, 2) }</data> </edge> <edge id="e35" source="n17" target="n16"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, -1) }</data> </edge> <edge id="e36" source="n2" target="n13"> <data key="Type">constraint</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, 27) }</data> </edge> <edge id="e37" source="n13" target="n2"> <data key="Type">constraint</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, -22) }</data> </edge> <edge id="e38" source="Z" target="n17"> <data key="Type">constraint</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, 34) }</data> </edge> <edge id="e39" source="n17" target="Z"> <data key="Type">constraint</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, -15) }</data> </edge> <edge id="e4" source="n3" target="n2"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(a, -2) }</data> </edge> <edge id="e40" source="n13" target="n4"> <data key="Type">constraint</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, -17) }</data> </edge> <edge id="e41" source="n4" target="n13"> <data key="Type">constraint</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, 27) }</data> </edge> <edge id="e42" source="n10" target="B?"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, 10) }</data> </edge> <edge id="e43" source="Z" target="A?"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(⊡, 5) }</data> </edge> <edge id="e5" source="A?" target="n4"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(¬a, 1) }</data> </edge> <edge id="e6" source="n4" target="A?"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(¬a, -1) }</data> </edge> <edge id="e7" source="n4" target="n5"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(¬a, 6) }</data> </edge> <edge id="e8" source="n5" target="n4"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(¬a, -4) }</data> </edge> <edge id="e9" source="n3" target="n6"> <data key="Type">normal</data> <data key="LowerCaseLabeledValues">{}</data> <data key="Optimized">false</data> <data key="UpperCaseLabeledValues">{}</data> <data key="LabeledValues">{(a, 1) }</data> </edge> </graph> </graphml>