diff options
| author | ziejd2 | 2021-10-11 16:00:02 -0500 |
|---|---|---|
| committer | ziejd2 | 2021-10-11 16:00:02 -0500 |
| commit | 566a4de3fcc9b90da036dbf385044319c11a2b6a (patch) | |
| tree | 15c23be0643f41128f11cf9bb378ed505e259a6b /sourcecodes/k-best/src/datak.sh | |
| parent | a20784bad5cfa214ce23d16695d0064571bae9c3 (diff) | |
| parent | 73ba58868451b5fc6611e1feaa9b63f17b6cd19d (diff) | |
| download | BNW-566a4de3fcc9b90da036dbf385044319c11a2b6a.tar.gz | |
Resolved merge conflict
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" |