diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-08-15 14:40:26 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-08-15 14:40:26 +0200 |
| commit | 457dc09cdc3546d70eb347d35ad28ffca1621f7d (patch) | |
| tree | 81129b260db30c397e908d994fc8b37dd503815f /libs/ezsat/ezsat.cc | |
| parent | 2f3da54f269fac5dab4b03eec80182c534f8c28f (diff) | |
| download | yosys-457dc09cdc3546d70eb347d35ad28ffca1621f7d.tar.gz yosys-457dc09cdc3546d70eb347d35ad28ffca1621f7d.tar.bz2 yosys-457dc09cdc3546d70eb347d35ad28ffca1621f7d.zip | |
Added ezsat api for creation of anonymous vectors
Diffstat (limited to 'libs/ezsat/ezsat.cc')
| -rw-r--r-- | libs/ezsat/ezsat.cc | 8 |
1 files changed, 8 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; |