fin du premier jet de la conclusion

[rairo15.git] / images / iter_f0c.dot

diff --git a/images/iter_f0c.dot b/images/iter_f0c.dot
index be8e69525ec2a0db5e0a81c704c8fe64a9aba2e1..74be438b6cc11623310669d0460465f09f3d8192 100644 (file)
--- a/images/iter_f0c.dot
+++ b/images/iter_f0c.dot
@@ -7,30 +7,37 @@ digraph  {
 101 [shape="none", label="101", pos="11.7320508076,9!"];
 110 [shape="none", label="110", pos="12,8!"];
 111 [shape="none", label="111", pos="13.7320508076,9!"];
 101 [shape="none", label="101", pos="11.7320508076,9!"];
 110 [shape="none", label="110", pos="12,8!"];
 111 [shape="none", label="111", pos="13.7320508076,9!"];

-    // 000:nw -> 000:so [color="blue"]
-       000 -> 010;
-       000 -> 001;
-       //010:ne -> 010:se [color="blue"] 
-       010 -> 110;
-       010 -> 011;
-       001 -> 000;
-       //001 -> 001 [color="blue"]
-       001 -> 101;
-       //101 -> 101 [color="blue"]
-       101 -> 100;
-       101 -> 111;
-       //110 -> 110 [color="blue"]
-       110 -> 100;
-       110 -> 111;
-       011 -> 010;
-       011 -> 001;
-       //011 -> 011 [color="blue"]
-       100 -> 000;
-       //100 -> 100 [color="blue"]
-       100 -> 110 
-       //111 -> 111 [color="blue"]
-       111 -> 011;
-       111 -> 101 
+       000:nw -> 000:w [label="1"]
+       000 -> 010      [label="2"]
+       000 -> 001      [label="3"]
+
+        010 -> 010      [label="2"]
+       010 -> 110      [label="1"]
+       010 -> 011      [label="3"]
+       
+       001 -> 000      [label="3"]
+       001:nw -> 001:w [label="2"]
+       001 -> 101      [label="1"]
+
+       101:nw -> 101:w [label="1"]
+       101 -> 100      [label="3"]
+       101 -> 111      [label="2"]
+       
+       110 -> 110      [label="1"]
+       110 -> 100      [label="2"]
+       110 -> 111      [label="3"]
+       
+       011 -> 010      [label="3"]
+       011 -> 001      [label="2"]
+       011 -> 011      [label="1"]
+       
+       100 -> 000      [label="1"]
+       100:nw -> 100:w [label="3"]
+       100 -> 110      [label="2"]
+       
+       111 -> 111      [label="3"]
+       111 -> 011      [label="1"]
+       111 -> 101      [label="2"]

 /*     
        000 -> 100 [style="dashed"]
        100 -> 101 [style="dashed"]
 /*     
        000 -> 100 [style="dashed"]
        100 -> 101 [style="dashed"]