projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5fae3f) | patch
Refactor `CoreSolver::processSimpleNEq()` (#3736)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 11 Feb 2020 07:51:34 +0000 (23:51 -0800)
committerGitHub <noreply@github.com>
Tue, 11 Feb 2020 07:51:34 +0000 (23:51 -0800)
commit3fec15351e149fe88ad32cf8a436da5270730eae
tree9420eb6b2b7231004f47399757f50b26570d3ddbtree
parentd5fae3f69a2ab8b07bb89e94a368a73bd281c203commit | diff
Refactor `CoreSolver::processSimpleNEq()` (#3736)

This commit refactors and documents `CoreSolver::processSimpleNEq()`.
This method processes equalities between normal forms.
src/theory/strings/core_solver.cpp diff | blob | history
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history
src/theory/strings/theory_strings_rewriter.h diff | blob | history