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.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/expr/record.h')
-rw-r--r-- | src/expr/record.h | 19 |
1 files changed, 1 insertions, 18 deletions
diff --git a/src/expr/record.h b/src/expr/record.h index 7c5854db2..ae03a7acd 100644 --- a/src/expr/record.h +++ b/src/expr/record.h @@ -34,17 +34,7 @@ class Type; namespace CVC4 { -// operators for record select and update - -class CVC4_PUBLIC RecordSelect { - std::string d_field; -public: - RecordSelect(const std::string& field) throw() : d_field(field) { } - std::string getField() const throw() { return d_field; } - bool operator==(const RecordSelect& t) const throw() { return d_field == t.d_field; } - bool operator!=(const RecordSelect& t) const throw() { return d_field != t.d_field; } -};/* class RecordSelect */ - +// operators for record update class CVC4_PUBLIC RecordUpdate { std::string d_field; public: @@ -54,19 +44,12 @@ public: bool operator!=(const RecordUpdate& t) const throw() { return d_field != t.d_field; } };/* class RecordUpdate */ -struct CVC4_PUBLIC RecordSelectHashFunction { - inline size_t operator()(const RecordSelect& t) const { - return std::hash<std::string>()(t.getField()); - } -};/* struct RecordSelectHashFunction */ - struct CVC4_PUBLIC RecordUpdateHashFunction { inline size_t operator()(const RecordUpdate& t) const { return std::hash<std::string>()(t.getField()); } };/* struct RecordUpdateHashFunction */ -std::ostream& operator<<(std::ostream& out, const RecordSelect& t) CVC4_PUBLIC; std::ostream& operator<<(std::ostream& out, const RecordUpdate& t) CVC4_PUBLIC; // now an actual record definition |