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/data.sh | |
| parent | a20784bad5cfa214ce23d16695d0064571bae9c3 (diff) | |
| parent | 73ba58868451b5fc6611e1feaa9b63f17b6cd19d (diff) | |
| download | BNW-566a4de3fcc9b90da036dbf385044319c11a2b6a.tar.gz | |
Resolved merge conflict
Diffstat (limited to 'sourcecodes/k-best/src/data.sh')
| -rw-r--r-- | sourcecodes/k-best/src/data.sh | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/sourcecodes/k-best/src/data.sh b/sourcecodes/k-best/src/data.sh deleted file mode 100644 index d775b92a..00000000 --- a/sourcecodes/k-best/src/data.sh +++ /dev/null @@ -1,27 +0,0 @@ -#!/bin/bash - -binpath=`dirname $0` - -if [ $# -ne 4 ]; then - echo Usage: data2net.sh vdfile datafile score resultdir 1>&2 - exit 1 -fi - -vdfile=$1; shift -datafile=$1; shift -score=$1; shift -rdir=$1; shift - -mkdir -p $rdir -nof_vars=`cat $vdfile | wc -l` - -START=$(date +%s) -$binpath/get_best_parents $nof_vars ${rdir} -$binpath/get_best_sinks $nof_vars ${rdir} ${rdir}/sinks -$binpath/get_best_order $nof_vars ${rdir}/sinks ${rdir}/ord -$binpath/get_best_net $nof_vars ${rdir} ${rdir}/ord ${rdir}/net -$binpath/score_net ${rdir}/net ${rdir} -END=$(date +%s) -DIFF=$(( $END - $START )) -echo "Best network took $DIFF seconds" - |