From 33c4b9f23a53daed3b0a97114d7658015da6a07f Mon Sep 17 00:00:00 2001
From: ziejd2
Date: Tue, 2 Mar 2021 11:17:06 -0600
Subject: Delete sourcecodes/k-best directory

---
 sourcecodes/k-best/src/data.sh | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete 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
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"
-
-- 
cgit 1.4.1