diff options
Diffstat (limited to 'sourcecodes/k-best/src/graph.sh')
| -rw-r--r-- | sourcecodes/k-best/src/graph.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/sourcecodes/k-best/src/graph.sh b/sourcecodes/k-best/src/graph.sh new file mode 100644 index 00000000..12967360 --- /dev/null +++ b/sourcecodes/k-best/src/graph.sh @@ -0,0 +1,13 @@ +#!/bin/bash +k=10 +rdir=./../iris3/resdir +for (( i = 0 ; i < k; i++ )) +do +#if which dot > /dev/null; then + ${rdir}/../../src/net2parents ${rdir}/${i}net ${rdir}/${i}parent \ + | ${rdir}/../../src/parents2arcs ${rdir}/${i}parent ${rdir}/${i}arc \ + | ${rdir}/../../src/arcs2dot ${rdir}/../iris.vd ${rdir}/${i}arc ${rdir}/dot_$i \ + | dot ${rdir}/dot_$i -Tps -o ${rdir}/dot_res_${i}.ps + echo See $d/resdir/iris.ps for a postscript picture of the net. +#fi +done \ No newline at end of file |