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/options | |
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/options')
0 files changed, 0 insertions, 0 deletions