projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bef9df6) | patch
Move more string utility functions (#3398)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 6 Nov 2019 23:12:29 +0000 (17:12 -0600)
committerAndres Noetzli <andres.noetzli@gmail.com>
Wed, 6 Nov 2019 23:12:29 +0000 (15:12 -0800)
commitcbd86eb4ed8bafc17f28244b746a376a019462f1
tree69abc6102e61036f9e60c8276f350d68eaecb931tree
parentbef9df667e2788cab327b0c8c6590ba833297670commit | diff
Move more string utility functions (#3398)

This is work towards splitting a "core solver" object from TheoryStrings.

This moves global functions from TheoryStrings to InferenceManager/SolverState, making them accessible in the future by modules that have references to these objects.

It also corrects an issue where we were maintaining two `d_conflict` fields.
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
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