mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

updated detection of when parenthesis can be omitted to cover empty and epsilon

Browse source
This commit is contained in:
Margus Veanes 2020-08-13 17:12:59 -07:00
parent ae413365e9
commit e80b143e71
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/ast/seq_decl_plugin.cpp
View file

@ -1513,7 +1513,7 @@ void seq_util::re::pp::compact_helper_range(std::ostream& out, expr* s1, expr* s
*/ */
bool seq_util::re::pp::can_skip_parenth(expr* r) { bool seq_util::re::pp::can_skip_parenth(expr* r) {
expr* s; expr* s;
return ((re.is_to_re(r, s) && re.u.str.is_unit(s)) || re.is_range(r)); return ((re.is_to_re(r, s) && re.u.str.is_unit(s)) || re.is_range(r) || re.is_empty(r) || re.is_epsilon(r));
} }
/* /*