diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-09-13 01:31:30 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-13 01:31:30 -0700 |
| commit | 3a00b0c4586ef61c93b7b7320cce4d720014f2bf (patch) | |
| tree | a6fe5d508905508df657111f5eb5bb5237c163f7 /src/expr/record.i | |
| parent | e87c898707f609f636318a2489dd1dd3afda4d8e (diff) | |
Remove unused RecordSelect and TupleSelect (#1087)
Commit 62b673a6b8444c14c169a984dd6e3fc8f685851e remove most of the
record/tuple infrastructure but did not remove the classes RecordSelect and
TupleSelect which lead to issues with Java bindings (the references to the
corresponding mkConst implementations could not be resolved). This commit
removes the remaining traces of those classes.
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 |