diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-15 12:16:20 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-15 12:16:20 -0700 |
| commit | 2a4827990b1e083a0351f4f86de6889d0bb21719 (patch) | |
| tree | 57a27ad51a6a6261f875552c22ad8e7419d1d8bb /src/theory/arrays/theory_arrays.h | |
| parent | 3e2a8562b4f76bfe8b43d066bcf18dab0fa6631e (diff) | |
Remove unused tuple classes (#2313)
Since we are using C++11, we can replace the triple and quad classes
with std::tuple.
Diffstat (limited to 'src/theory/arrays/theory_arrays.h')
| -rw-r--r-- | src/theory/arrays/theory_arrays.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/arrays/theory_arrays.h b/src/theory/arrays/theory_arrays.h index aca4cbcb9..363ad16ff 100644 --- a/src/theory/arrays/theory_arrays.h +++ b/src/theory/arrays/theory_arrays.h @@ -19,6 +19,7 @@ #ifndef __CVC4__THEORY__ARRAYS__THEORY_ARRAYS_H #define __CVC4__THEORY__ARRAYS__THEORY_ARRAYS_H +#include <tuple> #include <unordered_map> #include "context/cdhashmap.h" @@ -369,7 +370,7 @@ class TheoryArrays : public Theory { bool d_mergeInProgress; - typedef quad<TNode, TNode, TNode, TNode> RowLemmaType; + using RowLemmaType = std::tuple<TNode, TNode, TNode, TNode>; context::CDQueue<RowLemmaType> d_RowQueue; context::CDHashSet<RowLemmaType, RowLemmaTypeHashFunction > d_RowAlreadyAdded; |