summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezsat.h
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-12-29 17:10:37 +0100
committerClifford Wolf <clifford@clifford.at>2014-12-29 17:10:37 +0100
commit29a555ec7eaa0e561f76c65258a50c54b6468546 (patch)
tree74d48ff9a1623b617338956ace2d373643f80139 /libs/ezsat/ezsat.h
parent7a4d5d1c0fb78d49163160bfabb8cd1f5d1a2899 (diff)
Added statehash to ezSAT
Diffstat (limited to 'libs/ezsat/ezsat.h')
-rw-r--r--libs/ezsat/ezsat.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h
index 5c8c1ed0..a20713bc 100644
--- a/libs/ezsat/ezsat.h
+++ b/libs/ezsat/ezsat.h
@@ -83,6 +83,9 @@ public:
ezSAT();
virtual ~ezSAT();
+ unsigned int statehash;
+ void addhash(unsigned int);
+
void keep_cnf() { flag_keep_cnf = true; }
void non_incremental() { flag_non_incremental = true; }