projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3915eb7) | patch
Introduce enums for all string inferences, excluding the core solver (#4195)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 2 Apr 2020 05:01:21 +0000 (00:01 -0500)
committerGitHub <noreply@github.com>
Thu, 2 Apr 2020 05:01:21 +0000 (00:01 -0500)
commitaa6fb6fa3df0b1519e6763e72541c022396ab1dc
treec01a620079998579583150ef117c08b2db2318c4tree
parent3915eb7b497bd185385048f8c7f2b4c8f2bf7c03commit | diff
Introduce enums for all string inferences, excluding the core solver (#4195)

Introduce enum values for all calls to sendInference outside of the core solver.

This included some minor refactoring.
src/theory/strings/base_solver.cpp diff | blob | history
src/theory/strings/extf_solver.cpp diff | blob | history
src/theory/strings/extf_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/regexp_operation.cpp diff | blob | history
src/theory/strings/regexp_solver.cpp diff | blob | history
src/theory/strings/regexp_solver.h diff | blob | history
src/theory/strings/sequences_stats.cpp diff | blob | history
src/theory/strings/sequences_stats.h diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history