From c4f926438dcb8abe805e910399940f79ff643c4b Mon Sep 17 00:00:00 2001 From: ziejd2 Date: Thu, 14 Sep 2017 15:39:41 -0500 Subject: Add files via upload --- sourcecodes/k-best/src/datak.sh | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 sourcecodes/k-best/src/datak.sh (limited to 'sourcecodes/k-best/src/datak.sh') diff --git a/sourcecodes/k-best/src/datak.sh b/sourcecodes/k-best/src/datak.sh new file mode 100644 index 00000000..8ae66439 --- /dev/null +++ b/sourcecodes/k-best/src/datak.sh @@ -0,0 +1,23 @@ +#!/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" -- cgit 1.4.1