aboutsummaryrefslogtreecommitdiff
path: root/src/benchmarks/espresso/mincov_int.h
diff options
context:
space:
mode:
authorFlorian Fischer <florian.fl.fischer@fau.de>2020-05-06 16:56:32 +0200
committerFlorian Fischer <florian.fl.fischer@fau.de>2020-06-02 11:18:47 +0200
commit8174a918ea3b7cb216bf7ea98cfdc10661b5c37d (patch)
tree0747ec3ccb9f8d7eeccfac35977fc17855ca3bbb /src/benchmarks/espresso/mincov_int.h
parent8f52e8fc02dd235582f5961941bcd564e9a681cd (diff)
downloadallocbench-8174a918ea3b7cb216bf7ea98cfdc10661b5c37d.tar.gz
allocbench-8174a918ea3b7cb216bf7ea98cfdc10661b5c37d.zip
make the whole project more python idiomatic
* rename src directory to allocbench * make global variable names UPPERCASE * format a lot of code using yapf * use lowercase ld_preload and ld_library_path as Allocator members * name expected Errors 'err' and don't raise a new Exception * disable some pylint messages
Diffstat (limited to 'src/benchmarks/espresso/mincov_int.h')
-rw-r--r--src/benchmarks/espresso/mincov_int.h44
1 files changed, 0 insertions, 44 deletions
diff --git a/src/benchmarks/espresso/mincov_int.h b/src/benchmarks/espresso/mincov_int.h
deleted file mode 100644
index a9f932e..0000000
--- a/src/benchmarks/espresso/mincov_int.h
+++ /dev/null
@@ -1,44 +0,0 @@
-#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])