A=a 4 d dl Z d dlmZ d dlmZ G d de Z G d d ZeZ G d d e Z
d
Z G d d e
Z d
Z
e e d Zd Z G d de
Z G d de Zd Zd Zd d d gZd Z G d de
Z G d d e Z G d d e
Z G d d!e Z G d" d#e Zd$ Z G d% d&e Z G d' d(e Z d) Z G d* d+ Z e Z!d, Z"dS )- N) chooserects) iterpermutec e Zd ZdS )
InfiniteErrorN)__name__
__module__ __qualname__ `/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib64/python3.11/site-packages/guppy/etc/RE.pyr r s Dr r c e Zd Zd Zd Zd ZdS ) WordsMemoc > || _ || _ i | _ d| _ d S Nr )rechxsN)selfr r s r __init__zWordsMemo.__init__ s" r c t || j vr#| j || | j |< | j | S N)r r get_words_of_length_memoizedr r s r get_words_of_lengthz WordsMemo.get_words_of_length s8 DG ==aFFDGAJwqzr c g }t |dz D ]0}| | }|r| ||f 1|S N )ranger append)r r xsuir s r get_words_of_length_uptoz"WordsMemo.get_words_of_length_upto sY
qs $ $A))!,,B
$
Ar7###
r N)r r r r r r# r
r r r r sA
r r c e Zd ZdZd Zd Zd Zd Zd Zd Z d Z
d Z d
Z d Z
d Zd
Zd Zd Zd Zd Zd ZddZd Zd ZdS )REz.^$*+?{}\[]|()c t |t rt | | S t | t | S r )
isinstancer% concat
ConcatenationSingleabs r __add__z
RE.__add__A s8 a /!Q<< F1II.. .r c |s?|dk rt | S |dk rt | S |dk rt | S t d )N)*)+)?z8Argument to regular expression must be '*' or '+' or '?')
KleeneClosurePositiveClosure EpsilonOrOne
ValueError)r, argskwdss r __call__z RE.__call__G se 'v~~$Q''' &q))) #A& FH H Hr c H t | j t | f S r )hash_nametupler s r __hash__z RE.__hash__R s TZt-...r c b | j |j k o t | t | k S r r< r= r+ s r __eq__z RE.__eq__U s, 17" %aE!HH$ &r c | j |j k r t | t | k S | j |j k S r rA r+ s r __lt__z RE.__lt__Y s7 7ag 88eAhh& &7QW$ $r c " t | | S r )Unionr+ s r __or__z RE.__or___ s Q{{r c B d}| D ]}|| z
}|S r get_num_closuresr nsr s r rJ zRE.get_num_closuresb s3
( (B "%%'' 'BB r c B d}| D ]}|| z
}|S r get_num_symsrK s r rO zRE.get_num_symsh s1
$ $B "//## #BB r c B d}| D ]}|| z
}|S r get_sum_sym_lengthsrK s r rR zRE.get_sum_sym_lengthsn s3
+ +B "((** *BB r c : d | D }t | | S )Nc 6 g | ]}| S r
)get_words_memo.0xs r
z%RE.get_words_memo..u s$
/
/
/Qa
/
/
/r r )r r s r rU zRE.get_words_memot s%
/
/$
/
/
/r"""r c T | }| | S r )rU r )r r r s r r zRE.get_words_of_lengthx s'
"
"%%a(((r c 0 | j fd| D S )Nc & g | ]
} | S r
r
rW rX fs r rY z"RE.mapchildren..} s! 3 3 3! 3 3 3r ) __class__r r_ s `r mapchildrenzRE.mapchildren| s' t~ 3 3 3 3d 3 3 344r c 6 | t S r )
mappedrepr
regexpnamer> s r
regexpformz
RE.regexpform s z***r c . | d S )Nc * | S r reversedrX s r z RE.reversed.. s !**,, r )rb r> s r rj z RE.reversed s 6 6777r c $ fd | S )Nc t | t r9| t ur.t | d t r| dd }t | S | S | S Nr r )r' SeqEpsilonr= rb )rX wsr_ s r r_ zRE.rempretup..f s` !S!!
G##
1Q4(?(?#122B 8O H==## #r r
ra s @r rempretupz RE.rempretup s+ $ $ $ $ $ qwwr c > g }| |j |S r )
apseqatomsr )r sas r seqatomsz RE.seqatoms s
""" r c V i g fd}| | t S )Nc H | vr d| < | d S d S r r )rX duss r apzRE.sequni..ap s/ zz! ! zr )apseqrF )r r} r{ r| s @@r sequniz RE.sequni sG
2bzr c | t }|dk r(| | d }|S )Nr )rd re joinsplit)r concrs r shformz RE.shform s< OOJ ' ' 3;; !''#,,''Ar c | S r r
r r, ks r
simplifiedz
RE.simplified r c 2 d }| | S )Nc 0 | dk rdS t | S )N ())strrk s r r_ zRE.simulform..f s Bwwtq66Mr )rd ra s r simulformz RE.simulform s% q!!!r N)r )r r r _re_specialr. r9 r? rB rD rG rJ rO rR rU r rb rf rj rs rw r r r r r
r r r% r% ( sO . $K/ / / H H H/ / /& & &% % % # # #) ) )5 5 5+ + +8 8 8
" " " " "r r% c | dk rdS t j }g }t | D ] }||dz v rd}| | !d | S )Nr r z', )r% r r r r )sspecialrencs r re re sf BwwtnG
C
VV
A
1
773<<r c d e Zd ZdZd Zd Zd Zd Zd Zd Z d Z
d Z d Z d
Z
d Zd Zd
Zd ZdS )rp r c J |st S t | | S r )rq REBASE__new__)classymbolss r r z Seq.__new__ s# N~~dG,,,r c ` | j j dd d | D dS )N(z, c g | ]}|S r
r
rV s r rY z Seq.__repr__.. s >Y>Y>Yqqq>Y>Y>Yr ))r` r r r> s r __repr__z Seq.__repr__ s: >222DII>Y>YTX>Y>Y>Y4Z4Z4Z4Z[[r c || d S r r
r r} s r r~ z Seq.apseq
4r c @ | D ]} |t | d S r )r* r r} rX s r ru zSeq.apseqatoms s0 A BvayyMMMM r c dS r r
r> s r rJ zSeq.get_num_closures s qr c t | S r lenr> s r rO zSeq.get_num_syms s 4yyr c R d}| D ]!}|t t | z
}"|S r )r r )r r rX s r rR zSeq.get_sum_sym_lengths s3
A
SVV AAr c " t | d S )Nr
rZ r> s r rU zSeq.get_words_memo s r"""r c 2 |t | k r| gS g S r r r r memos r r z Seq.get_words_of_length_memoized s D >>6MIr c | S r r
r s r limitedz Seq.limited r r c ` | s d S d fd| D S )Nr r c ( g | ]} | S r
r
r^ s r rY z"Seq.mappedrepr.. s# 666A1666r )r ra s `r rd zSeq.mappedrepr s? 1R55Lxx6666666777r c \ t | }| | j | S r )listreverser` r r s r rj z Seq.reversed s) JJ t~q!!r c | gS r r
r> s r
unionsplittedzSeq.unionsplitted v
r N)r r r _priorityr< r r r~ ru rJ rO rR rU r r rd rj r r
r r rp rp s I E- - -
\ \ \ # # # 8 8 8
" " "
r rp c D t t | f S r )r r rp )symbols r r* r* s >>#y ) ))r r
c d | D } t | dk r| st S | d S t t | S )Nc $ g | ]
}|t u |S r
)rq rV s r rY zconcat.. s" 0 0 0!q / /A / / /r r )r rq r r r) )r7 s r r( r( sN 0 0t 0 0 0D
4yy1}} NAw >>- . ..r c R e Zd ZdZdZd Zd Zd Zd Zd Z d Z
d Z d
Z d Z
d Zd
S )r) r Concatc t | dk r|st S |d S t | | S )Nr r )r rq r r r r7 s r r zConcatenation.__new__ s; t99q==
7N~~dD)))r c g }| D ]0}|}|j | j k rd|d}| | 1d | S )Nr r z + r r r r rsr r s r r zConcatenation.__repr__ s[
BA|dn,,, aaM IIaLLLLzz"~~ r c d | D }dgt | z } g }t | D ]4\ }}||| D ] }|t ur| | !5 |t | d}t | D ]2\ }} | dz
} | t || k rd} | ||< | dk r n3d S )Nc 6 g | ]}| S r
)r rV s r rY z'Concatenation.apseq.. s (((aqxxzz(((r r r )r enumeraterq r rp )
r r} unsixsr r" r| rX jixs
r r~ zConcatenation.apseq s ((4(((c#c((l B$S>>
%
%BCF % %A'' ! %
BsBxLLLA"3
2aSV$$BA77E ! r c : | D ]}| | d S r ru r s r ru zConcatenation.apseqatoms1 0 A
LL r c g |j D ]*} | +g i fd g dd S )Nc |t k rC|k r9t | D ]1}t | }|
vr | d
|< 0d S d S | D ]%\ }}||z k r | |gz |dz ||z &d S r )r r simple_Concatenationr ) xxr" ntoconcr mrX r adschxsseenr s r r z7Concatenation.get_words_of_length_memoized..ads< s CII~~66"-r"2 + + 3F ; ; t++ IIdOOO)*DJ 6+ + !G 4 4DAq1uzzB!Ha!eQU3334 4r r )r r r# )r r r r r r r r s ` @@@@r r z*Concatenation.get_words_of_length_memoized5 s ' 8 8B KK33A66 7 7 7 7
4 4 4 4 4 4 4 4 4 B1
r c . t fd| D S )Nc : g | ]}| S r
r rW rX r s r rY z)Concatenation.limited..M s# : : :qyy|| : : :r )r) r s `r r zConcatenation.limitedL s# : : : :T : : :;;r c g }| D ]B}| | }|j | j k rd|d}| | Cd | S )Nr r r rd r r r r r_ r r r s r rd zConcatenation.mappedreprO se
B
a A|dn,,, aaM IIaLLLLxx||r c V d | D }| | j | S )Nc 6 g | ]}| S r
ri rV s r rY z*Concatenation.reversed..Y s ( ( (aQZZ\\ ( ( (r )r r` r s r rj zConcatenation.reversedX s1 ( (4 ( ( ( t~q!!r c fd| D }g }|D ].}| D ]| /t | S )Nc * g | ]} |j i S r
r )rW rX r, r s r rY z,Concatenation.simplified..^ s* 444! a%1%%444r )rw r r )r r, r r rv r s `` r r zConcatenation.simplified] so 44444t444
AZZ\\
!
#B'''r c g }g }t | D ]C\ }}| }t | dk r| ||f D|s| gS dgt | z }t | } g }d} t | D ]M\ }
\ }}| || | ||
} | || |dz } N| || d | t
| d}
t | D ]8\ }
} | dz
} | t ||
d k rd} | ||
< | dk r n9|S Nr r )r r r r r extendr( ) r runsr r" rX r| r r r i0r r s r r zConcatenation.unionsplittede s oo $ $FQ ""B2ww{{
Ar7### 6Mc#c((l
$ZZ BB 'nn
7Ar "RT(###V "R&!!!U IIbg KK $ $ $A"3
2aSVAY ''BA77E ) r N)r r r r r< r r r~ ru r r rd rj r r r
r r r) r) s I E* * * * .< < < " " "
( ( ( r r) c e Zd Zd ZdS )SimplifiedConcatenationc | S r r
r s r r z"SimplifiedConcatenation.simplified r r Nr r r r r
r r r r # r r c i }g }d }| D ]k}|e|j dk r |d |k rt | }n>|j dk r |d |k rt | }n|| | |}l|| | |S )Nr0 r )r< r4 r )r r nconcw0ws r
conclosurer s
D E
B
>3aDBJJ#B''(c//Q%1**#A&&>LL$$$
~
R Lr c t | dk r| }t | } g }d}d}|t | k r| | }t |t s|dz
}| | L|}|t | k r4t | | t sn|dz
}|t | k 4||dz k r| | n[g }t || D ],}| | }| t | -| t | |}|t | k t | dk r t | S |r|d S t S r )
r r r' rp r r r r r) rq )r conc0r r" r esymsr s r r r s|
4yy1}}$ E A A
c$ii-- G!S!!
FA LLOOO
#d))mm d1gs++
FA #d))mm
A:: LLOOOOD1a[[
%
%G DGG$$$$ LLd $ $ $
' c$ii--( 5zzA~~ e$$ Qxr c * | S r rN rk s r rl rl s Q^^
r c * | S r rI rk s r rl rl s Q
!
! r c * | S r rQ rk s r rl rl s Q
"
"
$
$ r c * t | t }d} t | dk r\|d j dk s t |d j dk r-g }|d j D ] }|r| | d} ng }|D ]}| }| }t | }|t ur|j
dk r|g|z }n||gz }|r| | nd}t |d t rJ t |t } t | dk rd |D } t | }n|rt |d }nd }|r|t | }nt }|S )Nr r c , g | ]}t | S r
)r )rW lines r rY z simpleunion.. s! 999d#D))999r )r gaugesr widthlinesr get_common_part
get_uncommons simpleunionrq dirr' r SimplifiedUnionr simple_EpsilonOrOne)
r choosen have_epsilonr| r r r olinesunuss
r r r s %((GL* w<<1 '!*"2a"7"73wqz?O;P;PTU;U;UB
(
%
% %IIdOOOO#$LL
/
/A$$&&D__&&FF##A 5B;; 3t8DD 1#:D
! $ !"R&#.. . .. . b&))3*6 2ww{{99b999 S ! A ' ' =#A&&AAA Hr c N e Zd ZdZd Zd Zd Zd Zd Zd Z d Z
d Z d d
Z d Z
d S )
rF c 8 t | | S r r r r s r r z
Union.__new__ s ~~dD)))r c g }| D ]/}|}|j | j k rd|z }| | 0d | S N(%s) | r r s r r zUnion.__repr__ sV
BA|dn,,QJ IIaLLLLzz"~~ r c : | D ]}| | d S r )r~ )r r} r s r r~ z Union.apseq
s, A
GGBKKKK r c : | D ]}| | d S r r r s r ru zUnion.apseqatoms r r c g }i }|j D ]8}| | D ] }||vrd||< | | !9|S r )r r r )r r r r r r rX s r r z"Union.get_words_of_length_memoized sh
' ! !B++A..
!
!D== DGIIaLLL
! r c z fd| D }t | D ]\ }}|| | ur | j | c S | S )Nc : g | ]}| S r
r r s r rY z!Union.limited.. s# ***qyy||***r )r r` )r r unir" rX s ` r r z
Union.limited sc ****T*** cNN , ,DAqQ %t~s++++ r c g }| D ]B}| | }|j | j k rd|z }| | Cd | S r r r s r rd zUnion.mappedrepr& sc
B
a(((A|dn,,QJ IIaLLLLzz"~~ r Nc x | d | D }d |D }t | S )Nc 6 g | ]}| S r
r rV s r rY z$Union.simplified..1 s AAAqALLNNAAAr c 6 g | ]}| S r
)rw )rW r, s r rY z$Union.simplified..7 s
)
)
)qajjll
)
)
)r )r r )r r7 r, r r s r r zUnion.simplified/ sG <AAD,>,>,@,@AAAD *
)D
)
)
)2 r c | g }| D ]6}| t | 7|S r )r r r )r r| rX s r r zUnion.unionsplitted: sB
/ /A IId1??,,-- . . . . r r )r r r r r< r r r~ ru r r rd r r r
r r rF rF s I E* * * r rF c e Zd Zd ZdS )r c | S r r
r s r r zSimplifiedUnion.simplifiedB r r Nr r
r r r r A r r r c 6 e Zd ZdZd Zd Zd Zd Zd Zd Z dS ) Calledr c : t | |f S r r )r args r r zCalled.__new__I s ~~dSF+++r c \ | d }|}|j | j k rd|z }|d| j dS )Nr r r r )r r< )r r r s r r zCalled.__repr__L s?
!WB
<$. ( (
A 11djjj))r c || d S r r
r s r ru zCalled.apseqatomsS r r c < d| d z S r rI r> s r rJ zCalled.get_num_closuresV s 47++----r c | d }| | }|j | j k s(t |t rt | dk rd|z }|| j S )Nr r r )rd r r' rp r r< )r r_ r r s r rd zCalled.mappedreprY sf
!W MM! L4> ) ) b#&&
*+.r77Q;;
ADJJ''r c N | | d j |i | S r )r` r r s r r zCalled.simplifieda s+ ~~ 0d1g 0! 9q 9 9:::r N)
r r r r r r ru rJ rd r r
r r r( r( F ss I, , ,* * * . . .( ( (; ; ; ; ;r r( c e Zd Zd Zd ZdS )Closurec |dk rt gS |dk r |j d d S g }i }t d| D ]h}| | }| ||z
}|D ]6}|D ]1} t || f }
|
|vr| |
d||
< 27i|j d | D ] } | |vr| | d|| < !|S ro )rq r r r r r ) r r r r r r" r, r- aibiaibirX s r r z$Closure.get_words_of_length_memoizedf s* 669 6671:11!44 4
q! ' 'A((++A((1--A
'
' ' 'B/R99D4'' $%&T
'
' //22 A}} ! Q r c | gS r r
r> s r r zClosure.unionsplitted| r r N)r r r r r r
r r r1 r1 e s2 , r r1 c $ e Zd ZdZd Zd Zd ZdS )r3 r0 c t d )Nz@apseq: Regular expression is infinite: contains a Kleene Closurer r s r r~ zKleeneClosure.apseq s NP P Pr c |dk rt S | d | }g }t |dz D ]$}|g|z }| t | %t | S ro )rq r r r r) rF )r r clr r" r s r r zKleeneClosure.limited sr 66N
!W__Q
qs / /AT!VF JJ}f- . . . .c{r c B t | d j |i | S r )simple_KleeneClosurer r s r r zKleeneClosure.simplified s' #$6DG$6$?Q$?$?@@@r N)r r r r< r~ r r r
r r r3 r3 sN EP P P A A A A Ar r3 c ` | j dk rt | d S t | S )Nr1 r )r< r= r3 rk s r r= r= s- w#~~#AaD))) r c * e Zd ZdZd Zd Zd Zd ZdS )r4 r1 c t d )NzBapseq: Regular expression is infinite: contains a Positive Closurer9 r s r r~ zPositiveClosure.apseq s PR R Rr c | d | t | d | d S r )ru r= r s r ru zPositiveClosure.apseqatoms s@ Q2 T!W%%0044444r c |dk r |j d | S t | || S r )r r r1 r r s r r z,PositiveClosure.get_words_of_length_memoized s= 6671:11!44 433D!TBBBr c | d | }t | d | }t || S r )r r3 r) )r r r, r- s r r zPositiveClosure.limited sF GOOA $q' " " * *1 - - Q"""r N)r r r r< r~ ru r r r
r r r4 r4 s[ ER R R5 5 5C C C
# # # # #r r4 c 0 e Zd ZdZd Zd Zd Zd Zd ZdS )r5 r2 c \ |t | d | d S r )rq r~ r s r r~ zEpsilonOrOne.apseq s+
7 Q
br c ^ |dk rt gS |j d | S r )rq r r r s r r z)EpsilonOrOne.get_words_of_length_memoized s- 669 wqz--a000r c z | d | }|| d ur| | } | S r )r r` )r r rX s r r zEpsilonOrOne.limited s< GOOA DG >>!$$D r c B t | d j |i | S r )r r r s r r zEpsilonOrOne.simplified s' "#547#5q#>A#>#>???r c b t gt | d z S r )rq r r r> s r r zEpsilonOrOne.unionsplitted s' y4Q 5 5 7 78888r N) r r r r< r~ r r r r r
r r r5 r5 sg E 1 1 1
@ @ @9 9 9 9 9r r5 c n | j dk rt | S | j dk r| S t | S )Nr1 r0 )r< r= r5 rk s r r r s; w#~~#A&&& w#~~ ??r c 2 e Zd Zd Zd Zd Zd Zd Zd ZdS )
RegularSystemc > || _ || _ d| _ || _ d S )N 358f0eca5c34bacdfbf6a8ac0ccf84bc)tableStartFinal final_states)r rO rP rR s r r zRegularSystem.__init__ s%
7
(r c fd}d } j } j g j z }| j |D ]}||vrt
|| ddd || }g }|D ]8}||v r2| ||| d || 9|r#t
d | t
d S )Nc d j | }n # t $ r t | }Y nw xY w|S r )namesKeyErrorr )statenamer s r statenamez#RegularSystem.pp..statename sE
"z%(
"
"
"5zz
"Ks
--c P | }| j dk rd|d}|S )Nr r r )r r )transrX s r transnamez#RegularSystem.pp..transname s2 ??$$D"""!%'Kr z>3z = r )endr ) setup_namesXrP orderr rQ printr ) r rY r\ r_ r XkTkesXjs ` r ppzRegularSystem.pp s?
Fj\$*
$
$* B{{ iimmmmm-3 7 7 7 72BB
L
L88II2b6):):):):IIbMMM JKKK
ejjnn%%%% r c B | j }| j }| j }|i ix| _ }t | D ]\ }}i x||< }t | D ];\ }} | | g t | |}g }|dz
}|D ]0}|| vr| | D ] }||vr| | |||< !1|>|S ro rz )r_ startr" Snewsoldnewsr ts r distsz(RegularSystem.setup_order..dists s A
A7D
% Q % %Azz qT % % A:: KKNNN#$AaD%
% Hr c | S r r
)rX start_distss r start_distancez1RegularSystem.setup_order..start_distance( s
q> !r c i fd}|S )Nc ` | v r| S d}| D ]}| | z
}|| < |S )Ng r
)rX r yr_ r_ r s r gz2RegularSystem.setup_order..sumt..g. sN 99 7N1 A1IAAQr r
)r_ r~ r r_ s ` @r sumtz'RegularSystem.setup_order..sumt+ s4 D
Hr c j | |u rdS t | t | z
}|r|S d}|dk ri | }n9# t $ r, |dz
} | Y nw xY w || || z
}|r|S |dz
}|dk i| |k | |k z
S )Nr
r )r
IndexErrorr )rX r} r r" r_ r_ sumdistsr s r cmp3z'RegularSystem.setup_order..cmp38 s Avvq AaD C!II%A
Ab&&' AA! ' ' ' Xac]++A OOA&&&&&' AaDD11Q44K HQ b&& Ea!e$ $s A 3A?>A?c $ g | ] }|u|u
|
S r
r
)rW rX rQ rP s r rY z-RegularSystem.setup_order..X s& MMMq1E>>aunnnnnr )key)r_ rP rQ rj functools
cmp_to_keyr` ) r rw rz r r` rQ rP r_ ry r r s @@@@@@r setup_orderzRegularSystem.setup_order s " " " " " " % % % % % % %6 ## F
eAuoo MMMMMKMMM
y+D11
222
r c | j n$# t $ r | Y nw xY wi | _ d| j | j < t | j D ]\ }}d|dz z | j |< d| j | j < d S )NX0zX%dr rQ )r` AttributeErrorr rU rP r rQ )r r" r s r r^ zRegularSystem.setup_names\ s JJJ
!%
4: dj)) * *DAq !QqSMDJqMM!(
4: s
++c | | | j }| j }| j }t | j }|r| }|| }||v rG|| }||= |d }t | D ]\ } }
||
z } | || < ||= t | D ]m\ } }
|
| }| |
|= t | D ]+\ }}||z }|
| }|||z }||
|< ,n||| | S )Nr0 )
ro r r_ rP rQ r r` poprh get)r r_ rP rQ todorb rc AkkAkkStarrk AkiBkire TjBjkXjiTk_XjiCjiBjis r solvezRegularSystem.solveh s
F
DJ ' "B2BRxx frF #c(( #BHHJJ / / ! !GB!C-C BrFF
" qwwyy//
"
"BffRjj; rF#'
#3#3 " "KC r s ) ) ) ) ) ) - - - - - - I 4
G" G" G" G" G" G" G" G"T
6 6 6 6 6" 6 6 6r* * * ..b
!
!/ / /| | | | | B | | | ~ m
2 H !!$$
+
+
+
\A A A A AB A A AH e
; ; ; ; ;R ; ; ;> f 6A A A A AG A A A* # # # # #g # # #,9 9 9 9 96 9 9 92
I I I I I I I I X %'' r