HEX
Server: Apache
System: Linux zacp120.webway.host 4.18.0-553.50.1.lve.el8.x86_64 #1 SMP Thu Apr 17 19:10:24 UTC 2025 x86_64
User: govancoz (1003)
PHP: 8.3.26
Disabled: exec,system,passthru,shell_exec,proc_close,proc_open,dl,popen,show_source,posix_kill,posix_mkfifo,posix_getpwuid,posix_setpgid,posix_setsid,posix_setuid,posix_setgid,posix_seteuid,posix_setegid,posix_uname
$ pwd: /opt/alt/python37/lib64/python3.7/site-packages/guppy/etc/__pycache__/
Upload Files
File: //opt/alt/python37/lib64/python3.7/site-packages/guppy/etc/__pycache__/RE.cpython-37.pyc
B

�]Z^�@stddlZddlmZddlmZGdd�de�ZGdd�d�ZeZ	Gdd	�d	e	�Z
d
d�ZGdd
�d
e
�Zdd�Z
e	�ed�Zdd�ZGdd�de
�ZGdd�de�Zdd�Zdd�Zdd�dd�dd�gZdd �ZGd!d"�d"e
�ZGd#d$�d$e�ZGd%d&�d&e
�ZGd'd(�d(e�ZGd)d*�d*e�Zd+d,�ZGd-d.�d.e�ZGd/d0�d0e�Zd1d2�ZGd3d4�d4�Z e�Z!d5d6�Z"dS)7�N)�chooserects)�iterpermutec@seZdZdS)�
InfiniteErrorN)�__name__�
__module__�__qualname__�rr�?/opt/alt/python37/lib64/python3.7/site-packages/guppy/etc/RE.pyrsrc@s$eZdZdd�Zdd�Zdd�ZdS)�	WordsMemocCs||_||_i|_d|_dS)Nr)�re�ch�xs�N)�selfrrrrr	�__init__szWordsMemo.__init__cCs(||jkr|j�||�|j|<|j|S)N)r
r�get_words_of_length_memoized)rrrrr	�get_words_of_lengths
zWordsMemo.get_words_of_lengthcCs:g}x0t|d�D] }|�|�}|r|�||f�qW|S)N�)�ranger�append)rrZxsu�ir
rrr	�get_words_of_length_uptos
z"WordsMemo.get_words_of_length_uptoN)rrrrrrrrrr	r
sr
c@s�eZdZdZdd�Zdd�Zdd�Zdd	�Zd
d�Zdd
�Z	dd�Z
dd�Zdd�Zdd�Z
dd�Zdd�Zdd�Zdd�Zdd�Zd d!�Zd"d#�Zd,d%d&�Zd'd(�Zd)d*�Zd+S)-�REz.^$*+?{}\[]|()cCs&t|t�rt||�St|t|��SdS)N)�
isinstancer�concat�
Concatenation�Single)�a�brrr	�__add__As

z
RE.__add__cOs@|s4|dkrt|�S|dkr$t|�S|dkr4t|�Std��dS)N)�*)�+)�?z8Argument to regular expression must be '*' or '+' or '?')�
KleeneClosure�PositiveClosure�EpsilonOrOne�
ValueError)r�args�kwdsrrr	�__call__GszRE.__call__cCst|jt|�f�S)N)�hash�_name�tuple)rrrr	�__hash__RszRE.__hash__cCs|j|jkot|�t|�kS)N)r+r,)rrrrr	�__eq__Usz	RE.__eq__cCs,|j|jkrt|�t|�kS|j|jkSdS)N)r+r,)rrrrr	�__lt__Ysz	RE.__lt__cCs
t||�S)N)�Union)rrrrr	�__or___sz	RE.__or__cCs"d}x|D]}||��7}q
W|S)Nr)�get_num_closures)r�nsrrrr	r2bs
zRE.get_num_closurescCs"d}x|D]}||��7}q
W|S)Nr)�get_num_syms)rr3rrrr	r4hs
zRE.get_num_symscCs"d}x|D]}||��7}q
W|S)Nr)�get_sum_sym_lengths)rr3rrrr	r5ns
zRE.get_sum_sym_lengthscCsdd�|D�}t||�S)NcSsg|]}|���qSr)�get_words_memo)�.0�xrrr	�
<listcomp>usz%RE.get_words_memo.<locals>.<listcomp>)r
)rrrrr	r6tszRE.get_words_memocCs|��}|�|�S)N)r6r)rrr
rrr	rxszRE.get_words_of_lengthcs|j�fdd�|D��S)Ncsg|]}�|��qSrr)r7r8)�frr	r9}sz"RE.mapchildren.<locals>.<listcomp>)�	__class__)rr:r)r:r	�mapchildren|szRE.mapchildrencCs
|�t�S)N)�
mappedrepr�
regexpname)rrrr	�
regexpformsz
RE.regexpformcCs|�dd��S)NcSs|��S)N)�reversed)r8rrr	�<lambda>��zRE.reversed.<locals>.<lambda>)r<)rrrr	r@�szRE.reversedcs�fdd���|�S)NcsBt|t�r8|tk	r4t|dt�r4|dd�}t|�S|S|���S)Nrr)r�Seq�Epsilonr,r<)r8�ws)r:rr	r:�s
zRE.rempretup.<locals>.fr)rr)r:r	�	rempretup�s	zRE.rempretupcCsg}|�|j�|S)N)�
apseqatomsr)r�sarrr	�seqatoms�szRE.seqatomscs(i�g���fdd�}|�|�t��S)Ncs|�krd�|<��|�dS)Nr)r)r8)�d�usrr	�ap�szRE.sequni.<locals>.ap)�apseqr0)rrLr)rJrKr	�sequni�s

z	RE.sequni� cCs&|�t�}|dkr"|�|�d��}|S)NrO)r=r>�join�split)r�conc�rrrr	�shform�s
z	RE.shformcOs|S)Nr)rr�krrr	�
simplified�sz
RE.simplifiedcCsdd�}|�|�S)NcSs|dkrdSt|�S)N�z())�str)r8rrr	r:�szRE.simulform.<locals>.f)r=)rr:rrr	�	simulform�szRE.simulformN)rO)rrr�_re_specialrr)r-r.r/r1r2r4r5r6rr<r?r@rFrIrNrTrVrYrrrr	r(s*
rcCsL|dkrdStj}g}x*t|�D]}||dkr4d}|�|�q Wd�|�S)NrWz()z', )rrZrXrrP)�s�specialZren�crrr	r>�sr>c@s|eZdZdZdZdd�Zdd�Zdd�Zdd	�Zd
d�Z	dd
�Z
dd�Zdd�Zdd�Z
dd�Zdd�Zdd�Zdd�ZdS)rCrcGs|stSt�||�S)N)rD�REBASE�__new__)�clas�symbolsrrr	r_�szSeq.__new__cCs d|jjd�dd�|D��fS)Nz%s(%s)z, cSsg|]}d|f�qS)z%rr)r7r8rrr	r9�sz Seq.__repr__.<locals>.<listcomp>)r;rrP)rrrr	�__repr__�szSeq.__repr__cCs||�dS)Nr)rrLrrr	rM�sz	Seq.apseqcCsx|D]}|t|��qWdS)N)r)rrLr8rrr	rG�s
zSeq.apseqatomscCsdS)Nrr)rrrr	r2�szSeq.get_num_closurescCst|�S)N)�len)rrrr	r4�szSeq.get_num_symscCs&d}x|D]}|tt|��7}q
W|S)Nr)rcrX)rr[r8rrr	r5�s
zSeq.get_sum_sym_lengthscCs
t|d�S)Nr)r
)rrrr	r6�szSeq.get_words_memocCs|t|�kr|gSgSdS)N)rc)rr�memorrr	r�sz Seq.get_words_of_length_memoizedcCs|S)Nr)rrrrr	�limited�szSeq.limitedcs$|s�d�Sd��fdd�|D��S)NrWrOcsg|]}d�|�f�qS)z%sr)r7r8)r:rr	r9�sz"Seq.mappedrepr.<locals>.<listcomp>)rP)rr:r)r:r	r=�szSeq.mappedreprcCst|�}|��|j|�S)N)�list�reverser;)rrSrrr	r@�szSeq.reversedcCs|gS)Nr)rrrr	�
unionsplitted�szSeq.unionsplittedN)rrr�	_priorityr+r_rbrMrGr2r4r5r6rrer=r@rhrrrr	rC�srCcCst�t|f�S)N)r^r_rC)�symbolrrr	r�srrcGs6dd�|D�}t|�dkr*|s"tS|dSt�t|�S)NcSsg|]}|tk	r|�qSr)rD)r7r8rrr	r9szconcat.<locals>.<listcomp>�r)rcrDr^r_r)r'rrr	r�src@sdeZdZdZdZdd�Zdd�Zdd�Zd	d
�Zdd�Z	d
d�Z
dd�Zdd�Zdd�Z
dd�ZdS)rrkZConcatcGs(t|�dkr|stS|dSt�||�S)Nrkr)rcrDr^r_)r`r'rrr	r_s
zConcatenation.__new__cCsFg}x6|D].}d|f}|j|jkr.d|f}|�|�q
Wd�|�S)Nz%rz(%s)z + )rirrP)r�rsrrSrrr	rbs


zConcatenation.__repr__c
Cs�dd�|D�}dgt|�}x�g}x<t|�D]0\}}x&|||D]}|tk	rB|�|�qBWq,W|t|��d}xDt|�D]6\}}	|	d7}	|	t||�kr�d}	|	||<|	dkrzPqzWPqWdS)NcSsg|]}|���qSr)rN)r7r8rrr	r9sz'Concatenation.apseq.<locals>.<listcomp>rr)rc�	enumeraterDrrC)
rrL�uns�ixsr
rrKr8�j�ixrrr	rMs$zConcatenation.apseqcCsx|D]}|�|�qWdS)N)rG)rrLr8rrr	rG1s
zConcatenation.apseqatomscsPg�x|jD]}��|����qWg�i������fdd���gdd��S)Ncs�|t��krJ|�kr�xpt|�D]&}t|�}|�kr��|�d�|<qWn<x:�|D].\}}||�krT�||g|d||�qTWdS)Nr)rcr�simple_Concatenationr)Zxxr�n�toconcrR�mr8)r�ads�chxs�seenr
rr	rv<s
z7Concatenation.get_words_of_length_memoized.<locals>.adsr)rrr)rrrdrr)rrvrwrxr
r	r5s
z*Concatenation.get_words_of_length_memoizedcst�fdd�|D��S)Ncsg|]}|����qSr)re)r7r8)rrr	r9Msz)Concatenation.limited.<locals>.<listcomp>)r)rrr)rr	reLszConcatenation.limitedcCsFg}x6|D].}|�|�}|j|jkr.d|f}|�|�q
Wd�|�S)Nz(%s)rO)r=rirrP)rr:rlrrSrrr	r=Os


zConcatenation.mappedreprcCs dd�|D�}|��|j|�S)NcSsg|]}|���qSr)r@)r7r8rrr	r9Ysz*Concatenation.reversed.<locals>.<listcomp>)rgr;)rrSrrr	r@XszConcatenation.reversedcsJ��fdd�|D�}g}x(|D] }x|��D]�|���q,WqWt|�S)Ncsg|]}|j����qSr)rV)r7r8)rrUrr	r9^sz,Concatenation.simplified.<locals>.<listcomp>)rIrrr)rrrUrRrHr]r)rrUr	rV]s
zConcatenation.simplifiedcCs.g}g}x6t|�D]*\}}|��}t|�dkr|�||f�qW|sJ|gSdgt|�}t|�}x�g}d}	xHt|�D]<\}
\}}|�||	|��||
}|�||�|d}	qtW|�||	d��|�t|��d}
xLt|�D]<\}
}|d7}|t||
d�k�rd}|||
<|dkr�Pq�W|SqbWdS)Nrr)rmrhrcrrf�extendr)r�runsrnrr8rKrorr
Zi0rprqrrr	rhes:zConcatenation.unionsplittedN)rrrrir+r_rbrMrGrrer=r@rVrhrrrr	rs		rc@seZdZdd�ZdS)�SimplifiedConcatenationcOs|S)Nr)rrrUrrr	rV�sz"SimplifiedConcatenation.simplifiedN)rrrrVrrrr	r{�sr{cCs�i}g}d}xj|D]b}|dk	rp|jdkr>|d|kr>t|�}n2|jdkr^|d|kr^t|�}n|dk	rp|�|�|}qW|dk	r�|�|�|S)Nr r)r+r$r)rRrx�nconcZw0�wrrr	�
conclosure�s"






r~cCst|�dkr|}t|�}g}d}d}x�|t|�kr�||}t|t�sX|d7}|�|�q&|}x(|t|�kr�t||t�szP|d7}q^W||dkr�|�|�n<g}x(t||�D]}||}|�t|��q�W|�t|��|}q&Wt|�dkr�t|�S|�r|dSt	SdS)Nrr)
rcr~rrCrrryrfrrD)rRZconc0r|rrp�eZsymsrUrrr	rr�s<

rrcCs|��S)N)r4)r8rrr	rA�rBrAcCs|��S)N)r2)r8rrr	rA�rBcCs|��S)N)r5)r8rrr	rA�rBc
CsPt|t�}d}x�t|�dkrj|djdks<t|dj�dkrjg}x&|djD]}|r`|�|�qLd}qLWPg}xr|D]j}|��}|��}t|�}|t	k	r�|j
dkr�|g|}n
||g}|r�|�|�nd}t|dt�rtt
�qtWt|t�}qWt|�dk�rdd�|D�}	t|	�}n|�r*t|d�}nd}|�rL|dk	�rHt|�}nt	}|S)Nrr���cSsg|]}t|��qSr)rr)r7�linerrr	r9�szsimpleunion.<locals>.<listcomp>)r�gaugesrc�width�linesrZget_common_partZ
get_uncommons�simpleunionrD�dirrrX�AssertionError�SimplifiedUnionrr�simple_EpsilonOrOne)
r�ZchoosenZhave_epsilonrKr�rSrRZolines�uZnusrrr	r��sF
,





r�c@s^eZdZdZdZdd�Zdd�Zdd�Zdd	�Zd
d�Z	dd
�Z
dd�Zddd�Zdd�Z
dS)r0�cGst�||�S)N)r^r_)r`r'rrr	r_sz
Union.__new__cCsDg}x4|D],}d|f}|j|jkr,d|}|�|�q
Wd�|�S)Nz%rz(%s)z | )rirrP)rrlrrSrrr	rbs

zUnion.__repr__cCsx|D]}|�|�qWdS)N)rM)rrLr]rrr	rM
s
zUnion.apseqcCsx|D]}|�|�qWdS)N)rG)rrLr8rrr	rGs
zUnion.apseqatomscCsJg}i}x<|jD]2}x,|�|�D]}||kr d||<|�|�q WqW|S)Nr)rrr)rrrdr
rxrr8rrr	rsz"Union.get_words_of_length_memoizedcsB�fdd�|D�}x*t|�D]\}}|||k	r|j|�SqW|S)Ncsg|]}|����qSr)re)r7r8)rrr	r9 sz!Union.limited.<locals>.<listcomp>)rmr;)rr�unirr8r)rr	res
z
Union.limitedcCsJg}x:|D]2}d|�|�f}|j|jkr2d|}|�|�q
Wd�|�S)Nz%sz(%s)z | )r=rirrP)rr:rlrrSrrr	r=&s
zUnion.mappedreprNcOs0|dkrdd�|��D�}dd�|D�}t|�S)NcSsg|]}|���qSr)rV)r7r8rrr	r91sz$Union.simplified.<locals>.<listcomp>cSsg|]}|���qSr)rI)r7rrrr	r97s)rhr�)rr'rrUrrrr	rV/szUnion.simplifiedcCs(g}x|D]}|�t|����q
W|S)N)ryrfrh)rrKr8rrr	rh:s
zUnion.unionsplitted)N)rrrrir+r_rbrMrGrrer=rVrhrrrr	r0�s	
	
r0c@seZdZdd�ZdS)r�cOs|S)Nr)rrrUrrr	rVBszSimplifiedUnion.simplifiedN)rrrrVrrrr	r�Asr�c@s@eZdZdZdd�Zdd�Zdd�Zdd	�Zd
d�Zdd
�Z	dS)�CalledrcCst�||f�S)N)r^r_)r`�argrrr	r_IszCalled.__new__cCs4|d}d|f}|j|jkr&d|}d||jfS)Nrz%rz(%s)z%s(%r))rir+)rrrSrrr	rbLs

zCalled.__repr__cCs||�dS)Nr)rrLrrr	rGSszCalled.apseqatomscCsd|d��S)Nrr)r2)rrrr	r2VszCalled.get_num_closurescCsJ|d}|�|�}|j|jks4t|t�r<t|�dkr<d|}d||jfS)Nrrz(%s)z%s%s)r=rirrCrcr+)rr:rrSrrr	r=Ys
zCalled.mappedreprcOs|�|dj||��S)Nr)r;rV)rrrUrrr	rVaszCalled.simplifiedN)
rrrrir_rbrGr2r=rVrrrr	r�Fsr�c@seZdZdd�Zdd�ZdS)�ClosurecCs�|dkrtgS|dkr&|jd�d�Sg}i}xltd|�D]^}|�|�}|�||�}x@|D]8}x2|D]*}	t||	f�}
|
|krf|�|
�d||
<qfWq\Wq:Wx2|jd�|�D]}||kr�|�|�d||<q�W|S)Nrr)rDrrrrrr)rrrdr
rxrrrZaiZbiZaibir8rrr	rfs(




z$Closure.get_words_of_length_memoizedcCs|gS)Nr)rrrr	rh|szClosure.unionsplittedN)rrrrrhrrrr	r�esr�c@s(eZdZdZdd�Zdd�Zdd�ZdS)	r#r cCstd��dS)Nz@apseq: Regular expression is infinite: contains a Kleene Closure)r)rrLrrr	rM�szKleeneClosure.apseqcCsT|dkrtS|d�|�}g}x,t|d�D]}|g|}|�t|��q,Wt|�S)Nrr)rDrerrrr0)rrZclr�rrtrrr	re�s
zKleeneClosure.limitedcOst|dj||��S)Nr)�simple_KleeneClosurerV)rrrUrrr	rV�szKleeneClosure.simplifiedN)rrrr+rMrerVrrrr	r#�s
r#cCs|jdkrt|d�St|�S)Nr!r)r+r�r#)r8rrr	r��s
r�c@s0eZdZdZdd�Zdd�Zdd�Zdd	�Zd
S)r$r!cCstd��dS)NzBapseq: Regular expression is infinite: contains a Positive Closure)r)rrLrrr	rM�szPositiveClosure.apseqcCs$|d�|�t|d��|�dS)Nr)rGr�)rrLrrr	rG�szPositiveClosure.apseqatomscCs&|dkr|jd�|�St�|||�S)Nrr)rrr�r)rrrdrrr	r�sz,PositiveClosure.get_words_of_length_memoizedcCs*|d�|�}t|d��|�}t||�S)Nr)rer#r)rrrrrrr	re�szPositiveClosure.limitedN)rrrr+rMrGrrerrrr	r$�s
r$c@s8eZdZdZdd�Zdd�Zdd�Zdd	�Zd
d�ZdS)
r%r"cCs|t�|d�|�dS)Nr)rDrM)rrLrrr	rM�szEpsilonOrOne.apseqcCs|dkrtgS|jd�|�S)Nr)rDrr)rrrdrrr	r�sz)EpsilonOrOne.get_words_of_length_memoizedcCs(|d�|�}||dk	r$|�|�}|S)Nr)rer;)rrr8rrr	re�s
zEpsilonOrOne.limitedcOst|dj||��S)Nr)r�rV)rrrUrrr	rV�szEpsilonOrOne.simplifiedcCstgt|d���S)Nr)rDrfrh)rrrr	rh�szEpsilonOrOne.unionsplittedN)	rrrr+rMrrerVrhrrrr	r%�sr%cCs(|jdkrt|�S|jdkr |St|�S)Nr!r )r+r�r%)r8rrr	r��s


r�c@s<eZdZdd�Zdd�Zdd�Zdd�Zd	d
�Zdd�Zd
S)�
RegularSystemcCs||_||_d|_||_dS)NZ 358f0eca5c34bacdfbf6a8ac0ccf84bc)�table�Start�Final�final_states)rr�r�r�rrr	r�szRegularSystem.__init__c	s��fdd�}dd�}����j}�jg�j}|��j�x�|D]~}||krPqBtd||�fdd�||}g}x2|D]*}||krx|�d|||�||�f�qxW|r�td	�|��qBt�qBWdS)
Ncs0y�j|}Wntk
r*t|�}YnX|S)N)�names�KeyErrorrX)�state�name)rrr	�	statename�s
z#RegularSystem.pp.<locals>.statenamecSs |��}|jdkrd|f}|S)Nrz(%s))rYri)Ztransr�rrr	�	transname�s

z#RegularSystem.pp.<locals>.transnamez%3s = rO)�endz%s %sz | )�setup_names�Xr��orderrr��printrP)	rr�r�r�r
�Xk�Tk�es�Xjr)rr	�pp�s$

"zRegularSystem.ppcCs�|j}|j}|j}|ii|_}x�t|���D]�\}}i||<}x.t|���D]\}}	|�|	g��t|��qPWxFt|���D]6\}	}
t	|
�dkr�|
�
�t|
�}
n|
d}
|
||	<q�W||kr.t||<q.WdS)Nrr)
r�r�r�r�rf�items�
setdefaultrrrc�sortr0rD)rr�r�r�r��XiZtransitionsZTirjr�ZAijrrr	�setup_equationss 
zRegularSystem.setup_equationscs�dd�}�fdd�}�fdd�����fdd�}|g�|j�|j�|j�|������fd	d
��D�}|jt�|�d�||_dS)NcSstd}||i}|g}x\|rn|}g}|d7}xB|D]:}||kr<q.x*||D]}||krF|�|�|||<qFWq.WqW|S)Nrr)r)r��startr�S�newsZoldnewsr[�trrr	�distss

z(RegularSystem.setup_order.<locals>.distscs�|S)Nr)r8)�start_distsrr	�start_distance(sz1RegularSystem.setup_order.<locals>.start_distancecsi����fdd�}|S)Ncs>|�kr�|Sd}x�|D]}|�|�7}qW|�|<|S)Ngr)r8r[�y)r�r:rdrr	�g.sz2RegularSystem.setup_order.<locals>.sumt.<locals>.gr)r:r�)r�)r:rdr	�sumt+sz'RegularSystem.setup_order.<locals>.sumtcs�||krdSt�|�t�|�}|r,|Sd}xh|dkr�y�|}Wn.tk
rt��|d�}��|�YnX||�||�}|r�|S|d7}q2W||k||kS)Nr�
r)rc�
IndexErrorr)r8r�r]rr:)r��sumdistsr�rr	�cmp38s"
z'RegularSystem.setup_order.<locals>.cmp3cs g|]}|�k	r|�k	r|�qSrr)r7r8)r�r�rr	r9Xsz-RegularSystem.setup_order.<locals>.<listcomp>)�key)r�r�r�r��	functools�
cmp_to_keyr�)rr�r�r�r�r)r�r�r�r�r�r�r	�setup_orders

zRegularSystem.setup_ordercCsty
|jWntk
r&|��YnXi|_d|j|j<x(t|j�D]\}}d|d|j|<qFWd|j|j<dS)NZX0zX%drr�)r��AttributeErrorr�r�r�rmr�)rrr[rrr	r�\s
zRegularSystem.setup_namescCs|��|��|j}|j}|j}t|j�}x�|�r|��}||}||kr�||}||=|d�}x(t|���D]\}	}
||
}|||	<qpW||=xvt|���D]f\}}
|
�	|�}|dkr�q�|
|=xBt|���D]2\}}||}|
�	|�}|dk	r�||B}||
|<q�Wq�Wq.W|||S)Nr )
r�r�r�r�r�rfr��popr��get)rr�r�r��todor�r�ZAkkZAkkStarr�ZAkiZBkir�ZTjZBjkZXjiZTk_XjiZCjiZBjirrr	�solvehs:


zRegularSystem.solveN)	rrrrr�r�r�r�r�rrrr	r��s#Fr�cCst|j|j|j�}|��S)N)r�r�Zstart_stater�r�)ZfsaZRSrrr	�SolveFSA�sr�)#r�Zguppy.etc.RE_RectrZguppy.etc.IterPermuter�	Exceptionrr
r,r^rr>rCrr_rDrrr{r~rrr�r�r0r�r�r�r#r�r$r%r�r�ZNothingr�rrrr	�<module>sB
9	$
.D
M
@ Telegram