projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: baeb7af) | patch
Use std::hash for API types (#6432)
authorGereon Kremer <gkremer@stanford.edu>
Tue, 27 Apr 2021 05:31:58 +0000 (07:31 +0200)
committerGitHub <noreply@github.com>
Tue, 27 Apr 2021 05:31:58 +0000 (05:31 +0000)
commit20820daece2eaf340a944ff386ffbafed1b79b75
treefc7865a1bb468fa4d3749052f65106d15532dd31tree
parentbaeb7af81166d709bfbbc7b8da13ac238c1e9579commit | diff
Use std::hash for API types (#6432)

This PR replaces all api::*HashFunction objects by specializations of std::hash. std::hash is meant to be extended in this way, and it allows for a much cleaner usage of std::unordered_set and std::unordered_map with these types.
15 files changed:
docs/CMakeLists.txt diff | blob | history
docs/cpp/cpp.rst diff | blob | history
docs/cpp/kind.rst diff | blob | history
docs/cpp/op.rst diff | blob | history
docs/cpp/roundingmode.rst diff | blob | history
docs/cpp/sort.rst diff | blob | history
docs/cpp/term.rst diff | blob | history
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/api/cpp/cvc5_kind.h diff | blob | history
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
src/expr/symbol_manager.cpp diff | blob | history
src/expr/symbol_table.cpp diff | blob | history
src/parser/tptp/tptp.h diff | blob | history