add espresso benchmark

1 files changed, 44 insertions, 0 deletions

diff --git a/src/benchmarks/espresso/mincov_int.h b/src/benchmarks/espresso/mincov_int.h
new file mode 100644
index 0000000..a9f932e
--- /dev/null
+++ b/src/benchmarks/espresso/mincov_int.h
@@ -0,0 +1,44 @@
+#include "port.h"
+#include "utility.h"
+#include "sparse.h"
+#include "mincov.h"
+
+
+typedef struct stats_struct stats_t;
+struct stats_struct {
+    int debug;			/* 1 if debugging is enabled */
+    int max_print_depth;	/* dump stats for levels up to this level */
+    int max_depth;		/* deepest the recursion has gone */
+    int nodes;			/* total nodes visited */
+    int component;		/* currently solving a component */
+    int comp_count;		/* number of components detected */
+    int gimpel_count;		/* number of times Gimpel reduction applied */
+    int gimpel;			/* currently inside Gimpel reduction */
+    long start_time;		/* cpu time when the covering started */
+    int no_branching;
+    int lower_bound;
+};
+
+
+
+typedef struct solution_struct solution_t;
+struct solution_struct {
+    sm_row *row;
+    int cost;
+};
+
+
+extern solution_t *solution_alloc();
+extern void solution_free();
+extern solution_t *solution_dup();
+extern void solution_accept();
+extern void solution_reject();
+extern void solution_add();
+extern solution_t *solution_choose_best();
+
+extern solution_t *sm_maximal_independent_set();
+extern solution_t *sm_mincov();
+extern int gimpel_reduce();
+
+
+#define WEIGHT(weight, col)	(weight == NIL(int) ? 1 : weight[col])