diff --git a/example/dots/examplem7LpTs.svg b/example/dots/examplem7LpTs.svg index 920649e..5a8b87b 100644 --- a/example/dots/examplem7LpTs.svg +++ b/example/dots/examplem7LpTs.svg @@ -4,161 +4,161 @@ - - + + G - + node0 - -a:#f b:#f c:#f + +a:#f b:#f c:#f node0->node0 - - - - -node5 - -a:#f b:#f c:#t - - - -node0->node5 - - - - -node1 - -a:#f b:#t c:#f - - - -node1->node0 - - - - - -node3 - -a:#f b:#t c:#t - - - -node1->node3 - - - - -node7 - -a:#t b:#t c:#f - - - -node1->node7 - - - - - -node2 - -a:#t b:#f c:#f - - - -node2->node0 - - - - - -node2->node2 - - - - -node6 - -a:#t b:#f c:#t - - - -node2->node6 - - - - -node3->node3 - + node4 - -a:#t b:#t c:#t + +a:#f b:#f c:#t - + + +node0->node4 + + + + +node1 + +a:#f b:#t c:#f + + + +node1->node0 + + + + + +node3 + +a:#f b:#t c:#t + + + +node1->node3 + + + + +node5 + +a:#t b:#t c:#f + + + +node1->node5 + + + + + +node2 + +a:#t b:#f c:#f + + + +node2->node0 + + + + + +node2->node2 + + + + +node6 + +a:#t b:#f c:#t + + + +node2->node6 + + + + +node3->node3 + + + + +node7 + +a:#t b:#t c:#t + + -node3->node4 - - +node3->node7 + + + + + +node4->node3 + + - -node4->node4 - - - - -node4->node6 - - - - -node4->node7 - +node4->node4 + - + -node5->node3 - - +node5->node2 + + - + node5->node5 - + - + + +node5->node7 + + + -node6->node5 - - +node6->node4 + + node6->node6 - + - + -node7->node2 - - +node7->node6 + + node7->node7 - +