diff options
Diffstat (limited to 'src/util/tuple.i')
| -rw-r--r-- | src/util/tuple.i | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/util/tuple.i b/src/util/tuple.i index 1498f9289..d5bf22f30 100644 --- a/src/util/tuple.i +++ b/src/util/tuple.i @@ -2,16 +2,11 @@ #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; -%rename(apply) CVC4::TupleSelectHashFunction::operator()(const TupleSelect&) const; %rename(apply) CVC4::TupleUpdateHashFunction::operator()(const TupleUpdate&) const; -%ignore CVC4::operator<<(std::ostream&, const TupleSelect&); %ignore CVC4::operator<<(std::ostream&, const TupleUpdate&); %include "util/tuple.h" |