projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b70c2eb) | patch
Minor refactoring of equality notifications (#3798)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 23 Feb 2020 05:41:42 +0000 (23:41 -0600)
committerGitHub <noreply@github.com>
Sun, 23 Feb 2020 05:41:42 +0000 (21:41 -0800)
commit6f379f2b83a28995aa77504da1931a598b54bcc0
tree4133e6a9100d2cf68f0b00e10c6492059207d8f0tree
parentb70c2eb3fe78f6985fda3086a52d0d74aecb78c2commit | diff
Minor refactoring of equality notifications (#3798)

Towards moving functionalities to proper places in strings. Also removes a block of code that was duplicated as a result of splitting the ExtfSolver.
src/theory/strings/solver_state.cpp diff | blob | history
src/theory/strings/solver_state.h diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history