minxmod/simpleProgram1states.dot at master · mburyakov/minxmod · GitHub

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
digraph {
    1 [label=F];
    2 [label=T];
    3 [label="[1,0,0]"];
    4 [label="[0,0,2]"];
    5 [label="[1,0,0]"];
    6 [label="[0,0,1]"];
    7 [label="[1,1,0]"];
    8 [label="[1,0,0]"];
    9 [label="[0,0,2]"];
    10 [label="[0,0,2]"];
    11 [label="[0,0,1]"];
    12 [label="[0,0,0]"];
    3 -> 1 [style=dashed
           ,color=blue];
    3 -> 2 [color=red];
    4 -> 3 [style=dashed
           ,color=blue];
    4 -> 1 [color=red];
    5 -> 2 [style=dashed
           ,color=blue];
    5 -> 1 [color=red];
    6 -> 4 [color=red];
    6 -> 5 [style=dashed
           ,color=blue];
    7 -> 2 [style=dashed
           ,color=blue];
    7 -> 1 [color=red];
    8 -> 7 [color=red];
    8 -> 1 [style=dashed
           ,color=blue];
    9 -> 8 [style=dashed
           ,color=blue];
    9 -> 2 [color=red];
    10 -> 5 [color=red];
    10 -> 2 [style=dashed
            ,color=blue];
    11 -> 9 [color=red];
    11 -> 10 [style=dashed
             ,color=blue];
    12 -> 6 [color=red];
    12 -> 11 [style=dashed
             ,color=blue];
}