69 lines
1.8 KiB
Text
Executable file
69 lines
1.8 KiB
Text
Executable file
digraph structs {
|
|
newrank=true;
|
|
size="5,5";
|
|
subgraph cluster1 { style=invis;
|
|
node [shape=record, height=0.8, width=0.5, fontsize=50, penwidth=4, fillcolor=white, style=filled];
|
|
edge [arrowhead=vee, minlen=1, penwidth=4, color=blue];
|
|
n34 [label="<i0>0|<i1>1"];
|
|
n34:i0 -> n33:n;
|
|
n34:i1 -> n28:n;
|
|
n33 [label="<i0>0|<i1>1"];
|
|
n33:i0 -> n32:n;
|
|
n33:i1 -> n27:n;
|
|
n32 [label="<i0>0|<i1>1"];
|
|
n32:i0 -> n31:n;
|
|
n32:i1 -> n30:n;
|
|
n31 [label="<i1>1"];
|
|
n31:i1 -> n29:n;
|
|
n29 [label="<i1>1"];
|
|
n29:i1 -> n24:n;
|
|
n24 [label="<i0>0"];
|
|
n24:i0 -> n14:n;
|
|
n14 [label="<i0>0"];
|
|
n14:i0 -> n13:n;
|
|
n13 [label="<i0>0"];
|
|
n13:i0 -> n12:n;
|
|
n12 [label="<i0>0|<i1>1"];
|
|
n12:i0 -> n1:n;
|
|
n12:i1 -> n11:n;
|
|
n1 [label="<i1>1"];
|
|
n11 [label="<i0>0"];
|
|
n30 [label="<i0>0"];
|
|
n30:i0 -> n29:n;
|
|
n27 [label="<i0>0"];
|
|
n27:i0 -> n26:n;
|
|
n26 [label="<i0>0"];
|
|
n26:i0 -> n25:n;
|
|
n25 [label="<i0>0|<i1>1"];
|
|
n25:i0 -> n23:n;
|
|
n25:i1 -> n24:n;
|
|
n23 [label="<i1>1"];
|
|
n23:i1 -> n22:n;
|
|
n22 [label="<i0>0|<i1>1"];
|
|
n22:i0 -> n18:n;
|
|
n22:i1 -> n20:n;
|
|
n18 [label="<i0>0|<i1>1"];
|
|
n18:i0 -> n12:n;
|
|
n18:i1 -> n15:n;
|
|
n15 [label="<i0>0"];
|
|
n15:i0 -> n11:n;
|
|
n20 [label="<i0>0"];
|
|
n20:i0 -> n15:n;
|
|
n28 [label="<i0>0"];
|
|
n28:i0 -> n27:n;
|
|
}
|
|
subgraph cluster2 { style=invis;
|
|
node [shape=none, fontsize=60, margin="0.5,0.1"];
|
|
P1 [label="P1"];
|
|
P2 [label="P2"];
|
|
P3 [label="P3"];
|
|
P4 [label="P4"];
|
|
P5 [label="Turn_P"];
|
|
P6 [label="Turn_Q"];
|
|
P10 [label="Q1"];
|
|
P9 [label="Q2"];
|
|
P8 [label="Q3"];
|
|
P7 [label="Q4"];
|
|
}
|
|
{rank=same n34 P10} -> {rank=same n33 n28 P9} -> {rank=same n32 n27 P8} -> {rank=same n31 n30 n26 P7} -> {rank=same n29 n25 P6} -> {rank=same n24 n23 P5} -> {rank=same n14 n22 P4} -> {rank=same n13 n18 n20 P3} -> {rank=same n12 n15 P2} -> {rank=same n1 n11 P1} [style=invis]
|
|
}
|