diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-12-23 17:18:19 -0600 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-12-23 15:18:19 -0800 |
commit | b3471b719f1cd031d35e9a431027088b0dec156b (patch) | |
tree | bc5e55a278f9e927471ce99146e9fdc992bc716b /src/util/regexp.h | |
parent | f5ca3e5d09b457ac21b10793eb5d1efe3fbe40f6 (diff) |
Initial support for string reverse (#3581)
Type rules, parsing and printing, basic rewriting including constant evaluation, reduction for string reverse (`str.rev`).
Also improves support in a few places for tolower/toupper.
Diffstat (limited to 'src/util/regexp.h')
-rw-r--r-- | src/util/regexp.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/regexp.h b/src/util/regexp.h index d1cb197fb..5b6dc2b62 100644 --- a/src/util/regexp.h +++ b/src/util/regexp.h @@ -38,7 +38,7 @@ class CVC4_PUBLIC String { public: /** * The start ASCII code. In our string representation below, we represent - * characters using a vector d_vec of unsigned integers. We refer to this as + * characters using a vector d_str of unsigned integers. We refer to this as * the "internal representation" for the string. * * We make unsigned integer 0 correspond to the 65th character ("A") in the @@ -57,7 +57,7 @@ class CVC4_PUBLIC String { static inline unsigned num_codes() { return 256; } /** * Convert unsigned char to the unsigned used in the internal representation - * in d_vec below. + * in d_str below. */ static unsigned convertCharToUnsignedInt(unsigned char c); /** Convert the internal unsigned to a unsigned char. */ |