projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9fbe415) | patch
Utilities for words (#3797)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 24 Feb 2020 22:21:45 +0000 (16:21 -0600)
committerGitHub <noreply@github.com>
Mon, 24 Feb 2020 22:21:45 +0000 (16:21 -0600)
commitb0fa6b29a1e15b231547eab147b49f2883a139de
tree6aa77261ea9d53d945d93b8847acade934a1a914tree
parent9fbe415992986d33d09b3b9e5049ebc22d20790acommit | 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.
src/CMakeLists.txt diff | blob | history
src/theory/strings/word.cpp [new file with mode: 0644] blob
src/theory/strings/word.h [new file with mode: 0644] blob
src/util/regexp.cpp diff | blob | history
src/util/regexp.h diff | blob | history
test/unit/theory/CMakeLists.txt diff | blob | history
test/unit/theory/theory_strings_word_white.h [new file with mode: 0644] blob