forked from klausuren/klausuren-allgemein
27 lines
575 B
Plaintext
27 lines
575 B
Plaintext
digraph {
|
|
kh1 [shape=record,label=<kh<SUB>1</SUB>>];
|
|
kh0 [shape=record,label=<kh<SUB>0</SUB>>];
|
|
subgraph cluster_0 {
|
|
cs0 [label=<cs<SUB>0</SUB>>,shape=none];
|
|
m [label="T merge F", shape=record];
|
|
cs0 -> m;
|
|
label = kf;
|
|
}
|
|
subgraph cluster_1 {
|
|
w1,w2 [label=when, shape=record];
|
|
cs1 [label=<cs<SUB>1</SUB>>,shape=none];
|
|
cs2 [label=<cs<SUB>2</SUB>>,shape=none];
|
|
|
|
cs1 -> w1;
|
|
cs2 -> w2;
|
|
label = kg;
|
|
}
|
|
|
|
w2 -> kh1 [label=<ts<SUB>1</SUB>>];
|
|
kh1 -> m [label=<ys<SUB>1</SUB>>];
|
|
w1 -> kh0 [label=<ts<SUB>0</SUB>>];
|
|
kh0 -> m [label=<ys<SUB>0</SUB>>];
|
|
m -> {w1;w2} [label=xs];
|
|
|
|
}
|