diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-02-01 22:41:03 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-02-01 22:50:48 +0100 |
commit | 893fe87a33dc6646cabc7538d4dbe411041afb94 (patch) | |
tree | 8ad5af7f59ec617d84be268351458a17ea691493 /libs/ezsat/ezsat.h | |
parent | 3cbfa3815ee0c40fcafe80d56afec97c36368f06 (diff) | |
download | yosys-893fe87a33dc6646cabc7538d4dbe411041afb94.tar.gz yosys-893fe87a33dc6646cabc7538d4dbe411041afb94.tar.bz2 yosys-893fe87a33dc6646cabc7538d4dbe411041afb94.zip |
Improved performance in equiv_simple
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 a20713bc1..0faaa6b8d 100644 --- a/libs/ezsat/ezsat.h +++ b/libs/ezsat/ezsat.h @@ -163,6 +163,7 @@ public: virtual void freeze(int id); virtual bool eliminated(int idx); void assume(int id); + void assume(int id, int context_id) { assume(OR(id, NOT(context_id))); } int bind(int id, bool auto_freeze = true); int bound(int id) const; |