summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezsat.h
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-11-25 15:10:32 +0100
committerClifford Wolf <clifford@clifford.at>2013-11-25 15:10:32 +0100
commit11e811858913cb2d03249d0a7239da10f4af5a7c (patch)
tree2dd3d2c4f4c675b2b9617443f2377d2e85025668 /libs/ezsat/ezsat.h
parent8c3f4b395712419f786b2d2bb013d94b7c09986a (diff)
Added ezsat vec_const() api
Diffstat (limited to 'libs/ezsat/ezsat.h')
-rw-r--r--libs/ezsat/ezsat.h11
1 files changed, 6 insertions, 5 deletions
diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h
index abec0b23..547edb93 100644
--- a/libs/ezsat/ezsat.h
+++ b/libs/ezsat/ezsat.h
@@ -203,10 +203,11 @@ public:
// simple helpers for building expressions with bit vectors
- 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_const(const std::vector<bool> &bits);
+ std::vector<int> vec_const_signed(int64_t value, int numBits);
+ std::vector<int> vec_const_unsigned(uint64_t value, int numBits);
+ std::vector<int> vec_var(int numBits);
+ std::vector<int> vec_var(std::string name, int numBits);
std::vector<int> vec_cast(const std::vector<int> &vec1, int toBits, bool signExtend = false);
std::vector<int> vec_not(const std::vector<int> &vec1);
@@ -218,7 +219,7 @@ public:
std::vector<int> vec_ite(const std::vector<int> &vec1, const std::vector<int> &vec2, const std::vector<int> &vec3);
std::vector<int> vec_ite(int sel, const std::vector<int> &vec2, const std::vector<int> &vec3);
- std::vector<int> vec_count(const std::vector<int> &vec, int bits, bool clip = true);
+ std::vector<int> vec_count(const std::vector<int> &vec, int numBits, bool clip = true);
std::vector<int> vec_add(const std::vector<int> &vec1, const std::vector<int> &vec2);
std::vector<int> vec_sub(const std::vector<int> &vec1, const std::vector<int> &vec2);
std::vector<int> vec_neg(const std::vector<int> &vec);