diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-03-01 21:00:34 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-03-01 21:00:34 +0100 |
| commit | d500bd749f84c0b05a8ec96d2a5fc33ace0c5b58 (patch) | |
| tree | 90f2dc8cf7195a71ab48c4fea0b9ce1e6e105f71 /libs/ezsat/ezsat.h | |
| parent | 23f0a12c727721478bcb87ec142fb86a329f7cdb (diff) | |
| download | yosys-d500bd749f84c0b05a8ec96d2a5fc33ace0c5b58.tar.gz yosys-d500bd749f84c0b05a8ec96d2a5fc33ace0c5b58.tar.bz2 yosys-d500bd749f84c0b05a8ec96d2a5fc33ace0c5b58.zip | |
Added ezSAT::eliminated API to help the SAT solver remember eliminated variables
Diffstat (limited to 'libs/ezsat/ezsat.h')
| -rw-r--r-- | libs/ezsat/ezsat.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h index 8d340b3d6..16f940a1d 100644 --- a/libs/ezsat/ezsat.h +++ b/libs/ezsat/ezsat.h @@ -141,6 +141,7 @@ public: virtual void clear(); virtual void freeze(int id); + virtual bool eliminated(int idx); void assume(int id); int bind(int id); int bound(int id) const; |