projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e2a856) | patch
Remove unused tuple classes (#2313)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 15 Aug 2018 19:16:20 +0000 (12:16 -0700)
committerGitHub <noreply@github.com>
Wed, 15 Aug 2018 19:16:20 +0000 (12:16 -0700)
commit2a4827990b1e083a0351f4f86de6889d0bb21719
tree57a27ad51a6a6261f875552c22ad8e7419d1d8bbtree
parent3e2a8562b4f76bfe8b43d066bcf18dab0fa6631ecommit | diff
Remove unused tuple classes (#2313)

Since we are using C++11, we can replace the triple and quad classes
with std::tuple.
src/smt/smt_engine.cpp diff | blob | history
src/theory/arrays/array_info.h diff | blob | history
src/theory/arrays/theory_arrays.cpp diff | blob | history
src/theory/arrays/theory_arrays.h diff | blob | history
src/util/Makefile.am diff | blob | history
src/util/ntuple.h [deleted file] blob | history