diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-08-11 16:27:15 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-08-11 16:27:15 +0200 |
| commit | ccf36cb7d81a9513db15b8a36c240d2c7ec9f5b5 (patch) | |
| tree | a81d36a260ad19154cb160da0aba95aa0d3444d1 /libs/ezsat/ezsat.cc | |
| parent | a5836af172a154bc0b8f9fdea34e140a5662bc99 (diff) | |
Added SAT support for $div and $mod cells
Diffstat (limited to 'libs/ezsat/ezsat.cc')
| -rw-r--r-- | libs/ezsat/ezsat.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc index 00918f62..4258fb6f 100644 --- a/libs/ezsat/ezsat.cc +++ b/libs/ezsat/ezsat.cc @@ -852,6 +852,12 @@ std::vector<int> ezSAT::vec_sub(const std::vector<int> &vec1, const std::vector< return vec; } +std::vector<int> ezSAT::vec_neg(const std::vector<int> &vec) +{ + std::vector<int> zero(vec.size(), FALSE); + return vec_sub(zero, vec); +} + void ezSAT::vec_cmp(const std::vector<int> &vec1, const std::vector<int> &vec2, int &carry, int &overflow, int &sign, int &zero) { assert(vec1.size() == vec2.size()); |