diff options
Diffstat (limited to 'sourcecodes/k-best/src/datak.sh')
| -rw-r--r-- | sourcecodes/k-best/src/datak.sh | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/sourcecodes/k-best/src/datak.sh b/sourcecodes/k-best/src/datak.sh deleted file mode 100644 index 8ae66439..00000000 --- a/sourcecodes/k-best/src/datak.sh +++ /dev/null @@ -1,23 +0,0 @@ -#!/bin/bash - -binpath=`dirname $0` - -if [ $# -ne 5 ]; then - echo Usage: data2net.sh vdfile datafile score resultdir k 1>&2 - exit 1 -fi - -vdfile=$1; shift -datafile=$1; shift -score=$1; shift -rdir=$1; shift -k=$1; shift - -mkdir -p $rdir -nof_vars=`cat $vdfile | wc -l` -START=$(date +%s) -$binpath/get_kbest_parents $nof_vars ${rdir} $k -$binpath/get_kbest_nets $nof_vars ${rdir} $k -END=$(date +%s) -DIFF=$(( $END - $START )) -echo "Top k took $DIFF seconds" |