|
@@ -2,13 +2,13 @@
|
|
|
|
|
|
DOTOPTS="-Nfontsize=15 -Tpdf"
|
|
|
|
|
|
dot recycling-noopt.dot $DOTOPTS > recycling-noopt.pdf
|
|
|
dot recycling-opt.dot $DOTOPTS > recycling-opt.pdf
|
|
|
|
|
|
dot identity-noopt.dot $DOTOPTS > identity-noopt.pdf
|
|
|
dot identity-noopt.dot -Granksep=0.3 $DOTOPTS > identity-noopt.pdf
|
|
|
dot identity-opt.dot $DOTOPTS > identity-opt.pdf
|
|
|
|
|
|
dot pushdown-noopt.dot $DOTOPTS > pushdown-noopt.pdf
|
|
|
dot pushdown-opt.dot $DOTOPTS > pushdown-opt.pdf
|
|
|
|
|
|
dot parallel.dot $DOTOPTS > parallel-tree.pdf
|