add missing method for CVC5-StringFormulaManager after merge.
@@ -133,6 +133,11 @@ class CVC5StringFormulaManager extends AbstractStringFormulaManager<Term, Sort,
return solver.mkTerm(Kind.REGEXP_COMPLEMENT, noneImpl());
}
+ @Override
+ protected Term allCharImpl() {
+ return solver.mkTerm(Kind.REGEXP_ALLCHAR);
+ }
+
@Override
protected Term range(Term start, Term end) {
return solver.mkTerm(Kind.REGEXP_RANGE, start, end);
