shared: handle empty groups in delta

This commit is contained in:
Rasmus Lerchedahl Petersen 2023-08-16 11:49:23 +02:00
Родитель 88fc96e8d7
Коммит e9e6bce80a
1 изменённых файлов: 6 добавлений и 0 удалений

Просмотреть файл

@ -760,6 +760,12 @@ module Make<RegexTreeViewSig TreeImpl> {
or
exists(RegExpGroup grp | lbl = Epsilon() | q1 = before(grp) and q2 = before(grp.getChild(0)))
or
exists(RegExpGroup grp | lbl = Epsilon() |
not exists(grp.getAChild()) and
q1 = before(grp) and
q2 = before(grp.getSuccessor())
)
or
exists(EffectivelyStar star | lbl = Epsilon() |
q1 = before(star) and q2 = before(star.getChild(0))
or