projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b20af2) | patch
Move check memberships to reg exp solver (#3793)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 22 Feb 2020 16:07:44 +0000 (10:07 -0600)
committerGitHub <noreply@github.com>
Sat, 22 Feb 2020 16:07:44 +0000 (10:07 -0600)
commit25d2ed390bf5ad825fadbc4ed21676100b01de68
tree156852139ee7a5bc5e42d1fc2564c75b291216fetree
parent9b20af281db3e77a25540305dfb73cbe56519f75commit | diff
 Move check memberships to reg exp solver (#3793)

There was previously a function in TheoryStrings to make the proper call to checkMembership. In the refactored code, this is no longer necessary and the interface to RegExp can be simplified.
src/theory/strings/extf_solver.cpp diff | blob | history
src/theory/strings/extf_solver.h diff | blob | history
src/theory/strings/regexp_solver.cpp diff | blob | history
src/theory/strings/regexp_solver.h diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history