diff options
| author | ziejd2 | 2021-03-02 11:17:06 -0600 |
|---|---|---|
| committer | GitHub | 2021-03-02 11:17:06 -0600 |
| commit | 33c4b9f23a53daed3b0a97114d7658015da6a07f (patch) | |
| tree | 3ed43fec4c313b81d5586a3a2969bcbe33297b6d /sourcecodes/k-best/src/datak.sh | |
| parent | b798acc788139830c427769c1b8a5ade717d8c20 (diff) | |
| download | BNW-33c4b9f23a53daed3b0a97114d7658015da6a07f.tar.gz | |
Delete sourcecodes/k-best directory
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" |