Version abc70930

1 files changed, 0 insertions, 44 deletions

diff --git a/src/misc/espresso/sminterf.c b/src/misc/espresso/sminterf.c
deleted file mode 100644
index 50a6db4e..00000000
--- a/src/misc/espresso/sminterf.c
+++ /dev/null
@@ -1,44 +0,0 @@
-/*
- * Revision Control Information
- *
- * $Source$
- * $Author$
- * $Revision$
- * $Date$
- *
- */
-#include "espresso.h"
-
-
-pset
-do_sm_minimum_cover(A)
-pset_family A;
-{
-    sm_matrix *M;
-    sm_row *sparse_cover;
-    sm_element *pe;
-    pset cover;
-    register int i, base, rownum;
-    register unsigned val;
-    register pset last, p;
-
-    M = sm_alloc();
-    rownum = 0;
-    foreach_set(A, last, p) {
-    foreach_set_element(p, i, val, base) {
-        (void) sm_insert(M, rownum, base);
-    }
-    rownum++;
-    }
-
-    sparse_cover = sm_minimum_cover(M, NIL(int), 1, 0);
-    sm_free(M);
-
-    cover = set_new(A->sf_size);
-    sm_foreach_row_element(sparse_cover, pe) {
-    set_insert(cover, pe->col_num);
-    }
-    sm_row_free(sparse_cover);
-
-    return cover;
-}