From 3a00b0c4586ef61c93b7b7320cce4d720014f2bf Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Wed, 13 Sep 2017 01:31:30 -0700 Subject: 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. --- src/util/tuple.i | 5 ----- 1 file changed, 5 deletions(-) (limited to 'src/util/tuple.i') 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" -- cgit v1.2.3