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/data.sh | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 sourcecodes/k-best/src/data.sh

(limited to 'sourcecodes/k-best/src/data.sh')

diff --git a/sourcecodes/k-best/src/data.sh b/sourcecodes/k-best/src/data.sh
new file mode 100644
index 00000000..d775b92a
--- /dev/null
+++ b/sourcecodes/k-best/src/data.sh
@@ -0,0 +1,27 @@
+#!/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"
+
-- 
cgit 1.4.1