summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezsat.h
diff options
context:
space:
mode:
Diffstat (limited to 'libs/ezsat/ezsat.h')
-rw-r--r--libs/ezsat/ezsat.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h
index 4a6a7278..3fb5fcaf 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);