diff options
Diffstat (limited to 'src/util/tuple.i')
| -rw-r--r-- | src/util/tuple.i | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/util/tuple.i b/src/util/tuple.i index d7301d201..f3de7b51b 100644 --- a/src/util/tuple.i +++ b/src/util/tuple.i @@ -2,4 +2,10 @@ #include "util/tuple.h" %} +%rename(equals) CVC4::TupleSelect::operator==(const TupleSelect&) const; +%ignore CVC4::TupleSelect::operator!=(const TupleSelect&) const; + +%rename(equals) CVC4::TupleUpdate::operator==(const TupleUpdate&) const; +%ignore CVC4::TupleUpdate::operator!=(const TupleUpdate&) const; + %include "util/tuple.h" |