projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4190e79) | patch
Refactor enumerator for strings (#4014)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 20 Mar 2020 14:25:24 +0000 (09:25 -0500)
committerGitHub <noreply@github.com>
Fri, 20 Mar 2020 14:25:24 +0000 (09:25 -0500)
commit74a31b92b0d7bd83777fa1650b5c21ed968fb887
tree11e50dc2f6e6e5b6172d55494c625f53e917e5d8tree
parent4190e79f22015de75a0c33ddda89d6b7ac2fd5c3commit | diff
Refactor enumerator for strings (#4014)

Towards theory of sequences. This separates out a virtual base class and utility class for the strings enumerator, which will be extended for sequences later.
src/CMakeLists.txt diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/type_enumerator.cpp [new file with mode: 0644] blob
src/theory/strings/type_enumerator.h diff | blob | history