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.

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 {