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/util/tuple.h | |
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/util/tuple.h')
-rw-r--r-- | src/util/tuple.h | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/src/util/tuple.h b/src/util/tuple.h index 8d7eca3fd..e2440cc39 100644 --- a/src/util/tuple.h +++ b/src/util/tuple.h @@ -26,15 +26,6 @@ namespace CVC4 { -class CVC4_PUBLIC TupleSelect { - unsigned d_index; -public: - TupleSelect(unsigned index) throw() : d_index(index) { } - unsigned getIndex() const throw() { return d_index; } - bool operator==(const TupleSelect& t) const throw() { return d_index == t.d_index; } - bool operator!=(const TupleSelect& t) const throw() { return d_index != t.d_index; } -};/* class TupleSelect */ - class CVC4_PUBLIC TupleUpdate { unsigned d_index; public: @@ -44,25 +35,14 @@ public: bool operator!=(const TupleUpdate& t) const throw() { return d_index != t.d_index; } };/* class TupleUpdate */ -struct CVC4_PUBLIC TupleSelectHashFunction { - inline size_t operator()(const TupleSelect& t) const { - return t.getIndex(); - } -};/* struct TupleSelectHashFunction */ - struct CVC4_PUBLIC TupleUpdateHashFunction { inline size_t operator()(const TupleUpdate& t) const { return t.getIndex(); } };/* struct TupleUpdateHashFunction */ -std::ostream& operator<<(std::ostream& out, const TupleSelect& t) CVC4_PUBLIC; std::ostream& operator<<(std::ostream& out, const TupleUpdate& t) CVC4_PUBLIC; -inline std::ostream& operator<<(std::ostream& out, const TupleSelect& t) { - return out << "[" << t.getIndex() << "]"; -} - inline std::ostream& operator<<(std::ostream& out, const TupleUpdate& t) { return out << "[" << t.getIndex() << "]"; } |