diff options
| -rw-r--r-- | libs/ezsat/ezsat.cc | 8 | ||||
| -rw-r--r-- | libs/ezsat/ezsat.h | 1 |
2 files changed, 9 insertions, 0 deletions
diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc index 4258fb6fe..27e74e010 100644 --- a/libs/ezsat/ezsat.cc +++ b/libs/ezsat/ezsat.cc @@ -667,6 +667,14 @@ std::vector<int> ezSAT::vec_const_unsigned(uint64_t value, int bits) return vec; } +std::vector<int> ezSAT::vec_var(int bits) +{ + std::vector<int> vec; + for (int i = 0; i < bits; i++) + vec.push_back(literal()); + return vec; +} + std::vector<int> ezSAT::vec_var(std::string name, int bits) { std::vector<int> vec; diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h index 4a6a72785..3fb5fcaf6 100644 --- a/libs/ezsat/ezsat.h +++ b/libs/ezsat/ezsat.h @@ -208,6 +208,7 @@ public: std::vector<int> vec_const_signed(int64_t value, int bits); std::vector<int> vec_const_unsigned(uint64_t value, int bits); + std::vector<int> vec_var(int bits); std::vector<int> vec_var(std::string name, int bits); std::vector<int> vec_cast(const std::vector<int> &vec1, int toBits, bool signExtend = false); |