diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-02-24 16:21:45 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-24 16:21:45 -0600 |
| commit | b0fa6b29a1e15b231547eab147b49f2883a139de (patch) | |
| tree | 6aa77261ea9d53d945d93b8847acade934a1a914 /src/CMakeLists.txt | |
| parent | 9fbe415992986d33d09b3b9e5049ebc22d20790a (diff) | |
Utilities for words (#3797)
This adds a utility file for handling operations over constant "words" (this will eventually generalize string or sequence constants). This is work towards CVC4/cvc4-projects#23.
Also improves documentation in regexp.h.
Diffstat (limited to 'src/CMakeLists.txt')
| -rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 45912a30d..9a81ccc63 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -702,6 +702,8 @@ libcvc4_add_sources( theory/strings/theory_strings_utils.cpp theory/strings/theory_strings_utils.h theory/strings/type_enumerator.h + theory/strings/word.cpp + theory/strings/word.h theory/subs_minimize.cpp theory/subs_minimize.h theory/substitutions.cpp |