projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ddbf7c) | patch
Split eager solver from strings solver state (#5775)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 13 Jan 2021 22:01:53 +0000 (16:01 -0600)
committerGitHub <noreply@github.com>
Wed, 13 Jan 2021 22:01:53 +0000 (16:01 -0600)
commit9fd4e5758df5e1085a3d6c80e3a6162d61b36566
tree0f7d9cdee187a98b8abf31838c7bab728239eca8tree
parent4ddbf7c13d2ce344e46a57bdef5af44922ca2552commit | diff
Split eager solver from strings solver state (#5775)

This splits the eager solver from solver state. The solver state contains the EqcInfo data, while the eager solver is responsible for populating it.

This is in preparation for adding new techniques to the eager solver.

No behavior changes in this PR, only reorganization.
src/CMakeLists.txt diff | blob | history
src/theory/strings/eager_solver.cpp [new file with mode: 0644] blob
src/theory/strings/eager_solver.h [new file with mode: 0644] blob
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