diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2011-07-11 19:53:44 +0000 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2011-07-11 19:53:44 +0000 |
commit | f65c5c4cbc59527dc0c9c57283a373ef501792c5 (patch) | |
tree | 4a5b270413a72260d404c431a27c2f01209fae21 /src/util/ntuple.h | |
parent | 7515ee9cda0925721c4fa7e1ba9ef3b25dc5e0d0 (diff) |
Clark's work on array theory - can now solve all QF_AX problems
Diffstat (limited to 'src/util/ntuple.h')
-rw-r--r-- | src/util/ntuple.h | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/util/ntuple.h b/src/util/ntuple.h index a3b0dfdf4..4c9a033a1 100644 --- a/src/util/ntuple.h +++ b/src/util/ntuple.h @@ -45,12 +45,9 @@ public: T2 second; T3 third; T4 fourth; - quad(const T1& t1, const T2& t2, const T3& t3, const T4& t4) { - first = t1; - second = t2; - third = t3; - fourth = t4; - } + quad(const T1& t1, const T2& t2, const T3& t3, const T4& t4) + : first(t1), second(t2), third(t3), fourth(t4) + { } };/* class quad<> */ template <class T1, class T2, class T3, class T4> |