diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-10-06 13:26:03 +0200 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-10-06 13:26:03 +0200 |
commit | 6343fbb0c9b238aeb1addca6449f95a01071c1ac (patch) | |
tree | 60f872134b3697a88d639ffa5adf73c5db02c5d1 /src/util | |
parent | 645aaaa186269c26d96a60c8df3350a2de9b6acb (diff) |
More improvements to strings rewriter for regexps, contains, indexof, replace and others. Enable non-recursive flat form inferences in strings theory solver. Refactor extf reductions. Use non-constant length terms when checking length equality. Add option --strings-eager-len.
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/regexp.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/regexp.h b/src/util/regexp.h index 453fa7ba9..a91f825ec 100644 --- a/src/util/regexp.h +++ b/src/util/regexp.h @@ -293,6 +293,7 @@ public: String suffix(std::size_t i) const { return substr(d_str.size() - i, i); } + // if y=y1...yn and overlap returns m, then this is x1...y1...ym std::size_t overlap(String &y) const; bool isNumber() const { |