projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6861f66) | patch
Unify hash functions for pairs (#1161)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 3 Oct 2017 05:48:00 +0000 (22:48 -0700)
committerGitHub <noreply@github.com>
Tue, 3 Oct 2017 05:48:00 +0000 (22:48 -0700)
commitd0faa2b676130119c5d01e00851427fa97f44464
tree76e25b4558e6752d75230c7ac297af97f870ea24tree
parent6861f66d2e2b54fc31d9151b4dbeb2964ea07f94commit | diff
Unify hash functions for pairs (#1161)

CVC4 was implementing multiple, slightly different hash functions for
pairs. With pull request #1157, we have a decent generic hash function
for pairs. This commit replaces the existing hash function
implementations with a typedef of the generic hash function.
src/expr/node.h diff | blob | history
src/theory/ite_utilities.h diff | blob | history
src/theory/theory_engine.h diff | blob | history
src/theory/uf/equality_engine_types.h diff | blob | history