diff options
Diffstat (limited to 'src/expr/record.i')
| -rw-r--r-- | src/expr/record.i | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/expr/record.i b/src/expr/record.i index 695ff105b..d5b018f72 100644 --- a/src/expr/record.i +++ b/src/expr/record.i @@ -9,9 +9,6 @@ #endif /* SWIGJAVA */ %} -%rename(equals) CVC4::RecordSelect::operator==(const RecordSelect&) const; -%ignore CVC4::RecordSelect::operator!=(const RecordSelect&) const; - %rename(equals) CVC4::RecordUpdate::operator==(const RecordUpdate&) const; %ignore CVC4::RecordUpdate::operator!=(const RecordUpdate&) const; @@ -20,11 +17,9 @@ %rename(getField) CVC4::Record::operator[](size_t) const; %rename(apply) CVC4::RecordHashFunction::operator()(const Record&) const; -%rename(apply) CVC4::RecordSelectHashFunction::operator()(const RecordSelect&) const; %rename(apply) CVC4::RecordUpdateHashFunction::operator()(const RecordUpdate&) const; %ignore CVC4::operator<<(std::ostream&, const Record&); -%ignore CVC4::operator<<(std::ostream&, const RecordSelect&); %ignore CVC4::operator<<(std::ostream&, const RecordUpdate&); #ifdef SWIGJAVA |