projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 733083c) | patch
Clean the header file of TheoryStrings (#4272)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 19 Jun 2020 19:40:27 +0000 (14:40 -0500)
committerGitHub <noreply@github.com>
Fri, 19 Jun 2020 19:40:27 +0000 (14:40 -0500)
commitf5e2348c7350ce21716f595eb8703635782c6285
treefd4555f6ce47cf89452cb257712b4663bb2b1432tree
parent733083c3bb6700b70ff31c3a679d519f493b680fcommit | diff
Clean the header file of TheoryStrings (#4272)

Now conforms to coding guidelines. For the sake of ensuring that the aspects related to the strategy were maintained in one place, I split this to its own file, strategy.h/cpp.
src/CMakeLists.txt diff | blob | history
src/theory/strings/strategy.cpp [new file with mode: 0644] blob
src/theory/strings/strategy.h [new file with mode: 0644] blob
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history