projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a20e885) | patch
Refactor KindMap (#5646)
authorGereon Kremer <gkremer@stanford.edu>
Thu, 10 Dec 2020 18:53:00 +0000 (19:53 +0100)
committerGitHub <noreply@github.com>
Thu, 10 Dec 2020 18:53:00 +0000 (10:53 -0800)
commite4fd524b02054a3ac9724f184e55a983cb6cb6b9
treeb67af610d902a293423ef313f5510985372beaf5tree
parenta20e8855be20f2cb4a8f43e03df35ff7caf31f96commit | diff
Refactor KindMap (#5646)

The KindMap class is only used in the EqualityEngine and implements way more than necessary.
This PR removes all the functionality that is never used.
src/expr/kind_map.h diff | blob | history
src/theory/uf/equality_engine.cpp diff | blob | history
src/theory/uf/equality_engine.h diff | blob | history
test/unit/expr/kind_map_black.cpp diff | blob | history