projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc27481) | patch
Minor cleanup related to notifications (#4898)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 15 Aug 2020 12:07:28 +0000 (07:07 -0500)
committerGitHub <noreply@github.com>
Sat, 15 Aug 2020 12:07:28 +0000 (07:07 -0500)
commita1e951127f7a3af158ca1408e62bd46d5cb065ff
tree222791b1dad319e93d9caed260a098a455b47d35tree
parentdc2748198fb2c404b31a144fcad67379b3089e3dcommit | diff
Minor cleanup related to notifications (#4898)

This includes eliminating TheoryBV's call to eqNotifyNewEqClass and fixing an issue with string's eqNotifyNewEqClass method, which was registering constant integers.

It also removes some unnecessary methods in Theory.
src/theory/bv/bv_subtheory_core.cpp diff | blob | history
src/theory/bv/bv_subtheory_core.h diff | blob | history
src/theory/strings/solver_state.cpp diff | blob | history
src/theory/theory.h diff | blob | history