projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9be8854) | patch
Refactor disequality processing in string solver (#4209)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 6 Apr 2020 20:56:35 +0000 (13:56 -0700)
committerGitHub <noreply@github.com>
Mon, 6 Apr 2020 20:56:35 +0000 (15:56 -0500)
commit49c5a2aef84d1c17b4401eae9c60a92190b0b5a7
tree80815221de855ede0c613c3a2517763bf37dc2b5tree
parent9be8854786a6d27dfde21525e810a3b2f15e9d21commit | diff
Refactor disequality processing in string solver (#4209)

This commit refactors disequality processing in the core string solver.
It also adds statistics for the inferences and splits in those methods.
No semantic changes intended.
src/theory/strings/core_solver.cpp diff | blob | history
src/theory/strings/core_solver.h diff | blob | history
src/theory/strings/infer_info.cpp diff | blob | history
src/theory/strings/infer_info.h diff | blob | history
src/theory/strings/inference_manager.cpp diff | blob | history
src/theory/strings/inference_manager.h diff | blob | history