summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezsat.h
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-03-03 02:12:45 +0100
committerClifford Wolf <clifford@clifford.at>2014-03-03 02:12:45 +0100
commit895e9fc70cb2d45c606c64a7b12d51dc0564c005 (patch)
tree0196c15a853c1aff006fbe95a0d61b281a06e977 /libs/ezsat/ezsat.h
parentd500bd749f84c0b05a8ec96d2a5fc33ace0c5b58 (diff)
ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressions
Diffstat (limited to 'libs/ezsat/ezsat.h')
-rw-r--r--libs/ezsat/ezsat.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h
index 16f940a1..13b39d4e 100644
--- a/libs/ezsat/ezsat.h
+++ b/libs/ezsat/ezsat.h
@@ -143,7 +143,7 @@ public:
virtual void freeze(int id);
virtual bool eliminated(int idx);
void assume(int id);
- int bind(int id);
+ int bind(int id, bool auto_freeze = true);
int bound(int id) const;
int numCnfVariables() const { return cnfVariableCount; }