summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezminisat.h
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-06-20 12:49:10 +0200
committerClifford Wolf <clifford@clifford.at>2013-06-20 12:49:10 +0200
commit8fbb5b62400edf82f6719eda90a75730d467db83 (patch)
tree5f11874a9ffcb1553cca9a1de0d2a2234aa01ea5 /libs/ezsat/ezminisat.h
parent21e38bed98d3d6bc4ae5833f6f609ac8f12d6361 (diff)
Added timout functionality to SAT solver
Diffstat (limited to 'libs/ezsat/ezminisat.h')
-rw-r--r--libs/ezsat/ezminisat.h5
1 files changed, 5 insertions, 0 deletions
diff --git a/libs/ezsat/ezminisat.h b/libs/ezsat/ezminisat.h
index 4171985b..2919aa2e 100644
--- a/libs/ezsat/ezminisat.h
+++ b/libs/ezsat/ezminisat.h
@@ -21,6 +21,7 @@
#define EZMINISAT_H
#include "ezsat.h"
+#include <time.h>
// minisat is using limit macros and format macros in their headers that
// can be the source of some troubles when used from c++11. thefore we
@@ -36,6 +37,10 @@ private:
std::vector<int> minisatVars;
bool foundContradiction;
+ static ezMiniSAT *alarmHandlerThis;
+ static clock_t alarmHandlerTimeout;
+ static void alarmHandler(int);
+
public:
ezMiniSAT();
virtual ~ezMiniSAT();