diff options
Diffstat (limited to 'src/util/array_store_all.i')
-rw-r--r-- | src/util/array_store_all.i | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/util/array_store_all.i b/src/util/array_store_all.i deleted file mode 100644 index aee550314..000000000 --- a/src/util/array_store_all.i +++ /dev/null @@ -1,17 +0,0 @@ -%{ -#include "util/array_store_all.h" -%} - -%rename(equals) CVC4::ArrayStoreAll::operator==(const ArrayStoreAll&) const; -%ignore CVC4::ArrayStoreAll::operator!=(const ArrayStoreAll&) const; -%rename(less) CVC4::ArrayStoreAll::operator<(const ArrayStoreAll&) const; -%rename(lessEqual) CVC4::ArrayStoreAll::operator<=(const ArrayStoreAll&) const; -%rename(greater) CVC4::ArrayStoreAll::operator>(const ArrayStoreAll&) const; -%rename(greaterEqual) CVC4::ArrayStoreAll::operator>=(const ArrayStoreAll&) const; - -%rename(apply) CVC4::ArrayStoreAllHashFunction::operator()(const ArrayStoreAll&) const; - -%ignore CVC4::operator<<(std::ostream&, const ArrayStoreAll&); - -%include "expr/type.i" -%include "util/array_store_all.h" |