diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-03-03 02:12:45 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-03-03 02:12:45 +0100 |
| commit | 895e9fc70cb2d45c606c64a7b12d51dc0564c005 (patch) | |
| tree | 0196c15a853c1aff006fbe95a0d61b281a06e977 /libs/ezsat/ezsat.h | |
| parent | d500bd749f84c0b05a8ec96d2a5fc33ace0c5b58 (diff) | |
| download | yosys-895e9fc70cb2d45c606c64a7b12d51dc0564c005.tar.gz yosys-895e9fc70cb2d45c606c64a7b12d51dc0564c005.tar.bz2 yosys-895e9fc70cb2d45c606c64a7b12d51dc0564c005.zip | |
ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressions
Diffstat (limited to 'libs/ezsat/ezsat.h')
| -rw-r--r-- | libs/ezsat/ezsat.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h index 16f940a1d..13b39d4ef 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; } |