Edit File: RE.cpython-37.pyc
B �]Z^ � @ st d dl Z d dlmZ d dlmZ G dd� de�ZG dd� d�ZeZ G dd � d e �Z d d � Z G d d � d e �Z dd� Z e �e d�Zdd� ZG dd� de �ZG dd� de�Zdd� Zdd� Zdd � d d � d d � gZd d � ZG d!d"� d"e �ZG d#d$� d$e�ZG d%d&� d&e �ZG d'd(� d(e�ZG d)d*� d*e�Zd+d,� Z G d-d.� d.e�Z G d/d0� d0e�Z d1d2� Z G d3d4� d4�Z e� Z!d5d6� Z"dS )7� N)� chooserects)� iterpermutec @ s e Zd ZdS )� InfiniteErrorN)�__name__� __module__� __qualname__� r r �?/opt/alt/python37/lib64/python3.7/site-packages/guppy/etc/RE.pyr s r c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )� WordsMemoc C s || _ || _i | _d| _d S )Nr )�re�ch�xs�N)�selfr r r r r �__init__ s zWordsMemo.__init__c C s( || j kr | j�|| �| j |< | j | S )N)r r � get_words_of_length_memoized)r r r r r �get_words_of_length s z WordsMemo.get_words_of_lengthc C s: g }x0t |d �D ] }| �|�}|r|�||f� qW |S )N� )�ranger �append)r r Zxsu�ir r r r �get_words_of_length_upto s z"WordsMemo.get_words_of_length_uptoN)r r r r r r r r r r r s r c @ s� e Zd ZdZdd� Zdd� Zdd� Zdd � Zd d � Zd d � Z dd� Z dd� Z dd� Z dd� Z dd� Zdd� Zdd� Zd d � Zd d � Zd d!� Zd"d#� Zd,d%d&�Zd'd(� Zd)d*� Zd+S )-�REz.^$*+?{}\[]|()c C s& t |t�rt| |�S t| t|��S d S )N)� isinstancer �concat� Concatenation�Single)�a�br r r �__add__A s z RE.__add__c O s@ |s4|dkrt | �S |dkr$t| �S |dkr4t| �S td��d S )N)�*)�+)�?z8Argument to regular expression must be '*' or '+' or '?')� KleeneClosure�PositiveClosure� EpsilonOrOne� ValueError)r �args�kwdsr r r �__call__G s z RE.__call__c C s t | jt| �f�S )N)�hash�_name�tuple)r r r r �__hash__R s z RE.__hash__c C s | j |j kot| �t|�kS )N)r+ r, )r r r r r �__eq__U s z RE.__eq__c C s, | j |j kr t| �t|�k S | j |j k S d S )N)r+ r, )r r r r r �__lt__Y s z RE.__lt__c C s t | |�S )N)�Union)r r r r r �__or___ s z RE.__or__c C s" d}x| D ]}||� � 7 }q W |S )Nr )�get_num_closures)r �nsr r r r r2 b s zRE.get_num_closuresc C s" d}x| D ]}||� � 7 }q W |S )Nr )� get_num_syms)r r3 r r r r r4 h s zRE.get_num_symsc C s" d}x| D ]}||� � 7 }q W |S )Nr )�get_sum_sym_lengths)r r3 r r r r r5 n s zRE.get_sum_sym_lengthsc C s dd� | D �}t | |�S )Nc S s g | ] }|� � �qS r )�get_words_memo)�.0�xr r r � <listcomp>u s z%RE.get_words_memo.<locals>.<listcomp>)r )r r r r r r6 t s zRE.get_words_memoc C s | � � }|�|�S )N)r6 r )r r r r r r r x s zRE.get_words_of_lengthc s | j � fdd�| D �� S )Nc s g | ] }� |��qS r r )r7 r8 )�fr r r9 } s z"RE.mapchildren.<locals>.<listcomp>)� __class__)r r: r )r: r � mapchildren| s zRE.mapchildrenc C s | � t�S )N)� mappedrepr� regexpname)r r r r � regexpform s z RE.regexpformc C s | � dd� �S )Nc S s | � � S )N)�reversed)r8 r r r �<lambda>� � z RE.reversed.<locals>.<lambda>)r< )r r r r r@ � s z RE.reversedc s � fdd�� � | �S )Nc sB t | t�r8| tk r4t | d t�r4| dd � }t|� S | S | �� �S )Nr r )r �Seq�Epsilonr, r< )r8 �ws)r: r r r: � s zRE.rempretup.<locals>.fr )r r )r: r � rempretup� s z RE.rempretupc C s g }| � |j� |S )N)� apseqatomsr )r �sar r r �seqatoms� s z RE.seqatomsc s( i � g �� �fdd�}| � |� t�� S )Nc s | � krd� | < �� | � d S )Nr )r )r8 )�d�usr r �ap� s zRE.sequni.<locals>.ap)�apseqr0 )r rL r )rJ rK r �sequni� s z RE.sequni� c C s& | � t�}|dkr"|�|�d��}|S )NrO )r= r> �join�split)r �conc�rr r r �shform� s z RE.shformc O s | S )Nr )r r �kr r r � simplified� s z RE.simplifiedc C s dd� }| � |�S )Nc S s | dkr dS t | �S )N� z())�str)r8 r r r r: � s zRE.simulform.<locals>.f)r= )r r: r r r � simulform� s z RE.simulformN)rO )r r r � _re_specialr r) r- r. r/ r1 r2 r4 r5 r6 r r< r? r@ rF rI rN rT rV rY r r r r r ( s* r c C sL | dkr dS t j}g }x*t| �D ] }||d kr4d}|�|� q W d�|�S )NrW z()z', )r rZ rX r rP )�s�specialZren�cr r r r> � s r> c @ s| e Zd ZdZd Zdd� Zdd� Zdd� Zdd � Zd d � Z d d � Z dd� Z dd� Z dd� Z dd� Zdd� Zdd� Zdd� Zd S ) rC r c G s |st S t�| |�S )N)rD �REBASE�__new__)�clas�symbolsr r r r_ � s z Seq.__new__c C s d| j jd�dd� | D ��f S )Nz%s(%s)z, c S s g | ]}d |f �qS )z%rr )r7 r8 r r r r9 � s z Seq.__repr__.<locals>.<listcomp>)r; r rP )r r r r �__repr__� s z Seq.__repr__c C s || � d S )Nr )r rL r r r rM � s z Seq.apseqc C s x| D ]}|t |�� qW d S )N)r )r rL r8 r r r rG � s zSeq.apseqatomsc C s dS )Nr r )r r r r r2 � s zSeq.get_num_closuresc C s t | �S )N)�len)r r r r r4 � s zSeq.get_num_symsc C s& d}x | D ]}|t t|��7 }q W |S )Nr )rc rX )r r[ r8 r r r r5 � s zSeq.get_sum_sym_lengthsc C s t | d�S )Nr )r )r r r r r6 � s zSeq.get_words_memoc C s |t | �kr| gS g S d S )N)rc )r r �memor r r r � s z Seq.get_words_of_length_memoizedc C s | S )Nr )r r r r r �limited� s z Seq.limitedc s$ | s � d�S d� � fdd�| D ��S )NrW rO c s g | ]}d � |�f �qS )z%sr )r7 r8 )r: r r r9 � s z"Seq.mappedrepr.<locals>.<listcomp>)rP )r r: r )r: r r= � s zSeq.mappedreprc C s t | �}|�� | j|� S )N)�list�reverser; )r rS r r r r@ � s z Seq.reversedc C s | gS )Nr )r r r r � unionsplitted� s zSeq.unionsplittedN)r r r � _priorityr+ r_ rb rM rG r2 r4 r5 r6 r re r= r@ rh r r r r rC � s rC c C s t �t| f�S )N)r^ r_ rC )�symbolr r r r � s r r c G s6 dd� | D �} t | �dk r*| s"tS | d S t�t| �S )Nc S s g | ]}|t k r|�qS r )rD )r7 r8 r r r r9 s zconcat.<locals>.<listcomp>� r )rc rD r^ r_ r )r' r r r r � s r c @ sd e Zd ZdZdZdd� Zdd� Zdd� Zd d � Zd d � Z d d� Z dd� Z dd� Z dd� Z dd� ZdS )r rk ZConcatc G s( t |�dk r |stS |d S t�| |�S )Nrk r )rc rD r^ r_ )r` r' r r r r_ s zConcatenation.__new__c C sF g }x6| D ].}d|f }|j | j kr.d|f }|�|� q W d�|�S )Nz%rz(%s)z + )ri r rP )r �rsr rS r r r rb s zConcatenation.__repr__c C s� dd� | D �}dgt |� }x�g }x<t|�D ]0\}}x&||| D ]}|tk rB|�|� qBW q,W |t|� � d}xDt|�D ]6\}} | d7 } | t || �kr�d} | ||< | dkrzP qzW P q W d S )Nc S s g | ] }|� � �qS r )rN )r7 r8 r r r r9 s z'Concatenation.apseq.<locals>.<listcomp>r r )rc � enumeraterD r rC ) r rL �uns�ixsr r rK r8 �j�ixr r r rM s$ zConcatenation.apseqc C s x| D ]}|� |� qW d S )N)rG )r rL r8 r r r rG 1 s zConcatenation.apseqatomsc sP g �x |j D ]}��|�� �� q W g �i �� ����fdd���g dd� �S )Nc s� |t ��krJ|� kr�xpt| � D ]&}t|�}|�kr ��|� d�|< q W n<x:�| D ].\}}|| � krT�| |g |d || � qTW d S )Nr )rc r �simple_Concatenationr )Zxxr �n�toconcrR �mr8 )r �ads�chxs�seenr r r rv < s z7Concatenation.get_words_of_length_memoized.<locals>.adsr )r r r )r r rd r r )r rv rw rx r r r 5 s z*Concatenation.get_words_of_length_memoizedc s t � fdd�| D �� S )Nc s g | ]}|� � ��qS r )re )r7 r8 )r r r r9 M s z)Concatenation.limited.<locals>.<listcomp>)r )r r r )r r re L s zConcatenation.limitedc C sF g }x6| D ].}|� |�}|j| jkr.d|f }|�|� q W d�|�S )Nz(%s)rO )r= ri r rP )r r: rl r rS r r r r= O s zConcatenation.mappedreprc C s dd� | D �}|� � | j|� S )Nc S s g | ] }|� � �qS r )r@ )r7 r8 r r r r9 Y s z*Concatenation.reversed.<locals>.<listcomp>)rg r; )r rS r r r r@ X s zConcatenation.reversedc sJ � �fdd�| D �}g }x(|D ] }x|� � D ]� |�� � q,W q W t|�S )Nc s g | ]}|j � ���qS r )rV )r7 r8 )r rU r r r9 ^ s z,Concatenation.simplified.<locals>.<listcomp>)rI r rr )r r rU rR rH r] r )r rU r rV ] s zConcatenation.simplifiedc C s. g }g }x6t | �D ]*\}}|�� }t|�dkr|�||f� qW |sJ| gS dgt|� }t| �}x�g }d} xHt |�D ]<\} \}}|�|| |� � || } |�|| � |d } qtW |�|| d � � |�t|� � d} xLt |�D ]<\} } | d7 } | t|| d �k�r d} | || < | dkr�P q�W |S qbW d S )Nr r )rm rh rc r rf �extendr ) r �runsrn r r8 rK ro r r Zi0rp rq r r r rh e s: zConcatenation.unionsplittedN)r r r ri r+ r_ rb rM rG r re r= r@ rV rh r r r r r s r c @ s e Zd Zdd� ZdS )�SimplifiedConcatenationc O s | S )Nr )r r rU r r r rV � s z"SimplifiedConcatenation.simplifiedN)r r r rV r r r r r{ � s r{ c C s� i }g }d }xj| D ]b}|d k rp|j dkr>|d |kr>t|�}n2|j dkr^|d |kr^t|�}n|d k rp|�|� |}qW |d k r�|�|� |S )Nr r )r+ r$ r )rR rx �nconcZw0�wr r r � conclosure� s" r~ c C s t | �dkr| }t| �} g }d}d}x�|t | �k r�| | }t|t�sX|d7 }|�|� q&|}x(|t | �k r�t| | t�szP |d7 }q^W ||d kr�|�|� n<g }x(t||�D ]}| | }|�t|�� q�W |�t|� � |}q&W t |�dkr�t|� S |�r|d S t S d S )Nr r ) rc r~ r rC r r ry rf r rD )rR Zconc0r| r rp �eZsymsrU r r r rr � s< rr c C s | � � S )N)r4 )r8 r r r rA � rB rA c C s | � � S )N)r2 )r8 r r r rA � rB c C s | � � S )N)r5 )r8 r r r rA � rB c C sP t | t�}d}x�t|�dkrj|d jdks<t|d j�dkrjg }x&|d jD ]}|r`|�|� qLd}qLW P g }xr|D ]j}|�� }|�� }t|�}|t k r�|j dkr�|g| }n ||g }|r�|�|� nd}t |d t �rtt �qtW t |t�}qW t|�dk�rdd� |D �} t| � }n|�r*t|d �}nd }|�rL|d k �rHt|�}nt }|S )Nr r ���c S s g | ] }t |��qS r )rr )r7 �liner r r r9 � s z simpleunion.<locals>.<listcomp>)r �gaugesrc �width�linesr Zget_common_partZ get_uncommons� simpleunionrD �dirr rX �AssertionError�SimplifiedUnionrr �simple_EpsilonOrOne) r� ZchoosenZ have_epsilonrK r� rS rR Zolines�uZnusr r r r� � sF , r� c @ s^ e Zd ZdZd Zdd� Zdd� Zdd� Zdd � Zd d � Z d d � Z dd� Z ddd�Z dd� Z dS )r0 � c G s t �| |�S )N)r^ r_ )r` r' r r r r_ s z Union.__new__c C sD g }x4| D ],}d|f }|j | j kr,d| }|�|� q W d�|�S )Nz%rz(%s)z | )ri r rP )r rl r rS r r r rb s zUnion.__repr__c C s x| D ]}|� |� qW d S )N)rM )r rL r] r r r rM s z Union.apseqc C s x| D ]}|� |� qW d S )N)rG )r rL r8 r r r rG s zUnion.apseqatomsc C sJ g }i }x<|j D ]2}x,|�|�D ] }||kr d||< |�|� q W qW |S )Nr )r r r )r r rd r rx r r8 r r r r s z"Union.get_words_of_length_memoizedc sB � fdd�| D �}x*t |�D ] \}}|| | k r | j|� S q W | S )Nc s g | ]}|� � ��qS r )re )r7 r8 )r r r r9 s z!Union.limited.<locals>.<listcomp>)rm r; )r r �unir r8 r )r r re s z Union.limitedc C sJ g }x:| D ]2}d|� |�f }|j| jkr2d| }|�|� q W d�|�S )Nz%sz(%s)z | )r= ri r rP )r r: rl r rS r r r r= & s zUnion.mappedreprNc O s0 |d krdd� | � � D �}dd� |D �}t|�S )Nc S s g | ] }|� � �qS r )rV )r7 r8 r r r r9 1 s z$Union.simplified.<locals>.<listcomp>c S s g | ] }|� � �qS r )rI )r7 r r r r r9 7 s )rh r� )r r' r rU r r r r rV / s zUnion.simplifiedc C s( g }x | D ]}|� t|�� �� q W |S )N)ry rf rh )r rK r8 r r r rh : s zUnion.unionsplitted)N)r r r ri r+ r_ rb rM rG r re r= rV rh r r r r r0 � s r0 c @ s e Zd Zdd� ZdS )r� c O s | S )Nr )r r rU r r r rV B s zSimplifiedUnion.simplifiedN)r r r rV r r r r r� A s r� c @ s@ e Zd ZdZdd� Zdd� Zdd� Zdd � Zd d � Zd d � Z dS )�Calledr c C s t �| |f�S )N)r^ r_ )r` �argr r r r_ I s zCalled.__new__c C s4 | d }d|f }|j | j kr&d| }d|| jf S )Nr z%rz(%s)z%s(%r))ri r+ )r r rS r r r rb L s zCalled.__repr__c C s || � d S )Nr )r rL r r r rG S s zCalled.apseqatomsc C s d| d � � S )Nr r )r2 )r r r r r2 V s zCalled.get_num_closuresc C sJ | d }|� |�}|j| jks4t|t�r<t|�dkr<d| }d|| jf S )Nr r z(%s)z%s%s)r= ri r rC rc r+ )r r: r rS r r r r= Y s zCalled.mappedreprc O s | � | d j||��S )Nr )r; rV )r r rU r r r rV a s zCalled.simplifiedN) r r r ri r_ rb rG r2 r= rV r r r r r� F s r� c @ s e Zd Zdd� Zdd� ZdS )�Closurec C s� |dkrt gS |dkr&|jd �d�S g }i }xltd|�D ]^}|�|�}|�|| �}x@|D ]8}x2|D ]*} t|| f�} | |krf|�| � d|| < qfW q\W q:W x2|jd �|�D ] } | |kr�|�| � d|| < q�W |S )Nr r )rD r r r rr r ) r r rd r rx r r r ZaiZbiZaibir8 r r r r f s( z$Closure.get_words_of_length_memoizedc C s | gS )Nr )r r r r rh | s zClosure.unionsplittedN)r r r r rh r r r r r� e s r� c @ s( e Zd ZdZdd� Zdd� Zdd� ZdS ) r# r c C s t d��d S )Nz@apseq: Regular expression is infinite: contains a Kleene Closure)r )r rL r r r rM � s zKleeneClosure.apseqc C sT |dkr t S | d �|�}g }x,t|d �D ] }|g| }|�t|� � q,W t|� S )Nr r )rD re r r r r0 )r r Zclr� r rt r r r re � s zKleeneClosure.limitedc O s t | d j||��S )Nr )�simple_KleeneClosurerV )r r rU r r r rV � s zKleeneClosure.simplifiedN)r r r r+ rM re rV r r r r r# � s r# c C s | j dkrt| d �S t| �S )Nr! r )r+ r� r# )r8 r r r r� � s r� c @ s0 e Zd ZdZdd� Zdd� Zdd� Zdd � Zd S ) r$ r! c C s t d��d S )NzBapseq: Regular expression is infinite: contains a Positive Closure)r )r rL r r r rM � s zPositiveClosure.apseqc C s$ | d � |� t| d �� |� d S )Nr )rG r� )r rL r r r rG � s zPositiveClosure.apseqatomsc C s& |dkr|j d �|�S t�| ||�S )Nr r )r r r� r )r r rd r r r r � s z,PositiveClosure.get_words_of_length_memoizedc C s* | d � |�}t| d �� |�}t||�S )Nr )re r# r )r r r r r r r re � s zPositiveClosure.limitedN)r r r r+ rM rG r re r r r r r$ � s r$ c @ s8 e Zd ZdZdd� Zdd� Zdd� Zdd � Zd d � Zd S ) r% r" c C s |t � | d �|� d S )Nr )rD rM )r rL r r r rM � s zEpsilonOrOne.apseqc C s |dkrt gS |jd �|�S )Nr )rD r r )r r rd r r r r � s z)EpsilonOrOne.get_words_of_length_memoizedc C s( | d � |�}|| d k r$| �|�} | S )Nr )re r; )r r r8 r r r re � s zEpsilonOrOne.limitedc O s t | d j||��S )Nr )r� rV )r r rU r r r rV � s zEpsilonOrOne.simplifiedc C s t gt| d �� � S )Nr )rD rf rh )r r r r rh � s zEpsilonOrOne.unionsplittedN) r r r r+ rM r re rV rh r r r r r% � s r% c C s( | j dkrt| �S | j dkr | S t| �S )Nr! r )r+ r� r% )r8 r r r r� � s r� c @ s< e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd S )� RegularSystemc C s || _ || _d| _|| _d S )NZ 358f0eca5c34bacdfbf6a8ac0ccf84bc)�table�Start�Final� final_states)r r� r� r� r r r r � s zRegularSystem.__init__c s� � fdd�}dd� }� � � � j}� jg� j }|�� j� x�|D ]~}||krPqBtd||�f dd� || }g }x2|D ]*}||krx|�d||| �||�f � qxW |r�td �|�� qBt� qBW d S ) Nc s0 y� j | }W n tk r* t| �}Y nX |S )N)�names�KeyErrorrX )�state�name)r r r � statename� s z#RegularSystem.pp.<locals>.statenamec S s | � � }| jdkr d|f }|S )Nr z(%s))rY ri )Ztransr� r r r � transname� s z#RegularSystem.pp.<locals>.transnamez%3s = rO )�endz%s %sz | )� setup_names�Xr� �orderr r� �printrP ) r r� r� r� r �Xk�Tk�es�Xjr )r r �pp� s$ "zRegularSystem.ppc C s� | j }| j}| j}|i i | _}x�t|�� �D ]�\}}i ||< }x.t|�� �D ] \}} |�| g ��t|�� qPW xFt|�� �D ]6\} } t | �dkr�| � � t | � } n| d } | || < q�W ||kr.t ||< q.W d S )Nr r ) r� r� r� r� rf �items� setdefaultr r rc �sortr0 rD ) r r� r� r� r� �XiZ transitionsZTirj r� ZAijr r r �setup_equations s z RegularSystem.setup_equationsc s� dd� }�fdd�}�fdd�����fdd�}|g�| j �| j�| j� |����� �fd d ��D �}|jt�|�d � || _d S ) Nc S st d}||i}|g}x\|rn|}g }|d7 }xB|D ]:}|| kr<q.x*| | D ] }||krF|� |� |||< qFW q.W qW |S )Nr r )r )r� �startr �S�newsZoldnewsr[ �tr r r �dists s z(RegularSystem.setup_order.<locals>.distsc s � | S )Nr )r8 )� start_distsr r �start_distance( s z1RegularSystem.setup_order.<locals>.start_distancec s i ��� �fdd�}|S )Nc s> | �kr�| S d}x � | D ]}|�|�7 }q W |�| < |S )Ng r )r8 r[ �y)r� r: rd r r �g. s z2RegularSystem.setup_order.<locals>.sumt.<locals>.gr )r: r� )r� )r: rd r �sumt+ s z'RegularSystem.setup_order.<locals>.sumtc s� | |kr dS t � | �t � | � }|r,|S d}xh|dk r�y �| }W n. tk rt ��|d �}��|� Y nX || �||� }|r�|S |d7 }q2W | |k| |k S )Nr � r )rc � IndexErrorr )r8 r� r] r r: )r� �sumdistsr� r r �cmp38 s" z'RegularSystem.setup_order.<locals>.cmp3c s g | ]}|�k r|� k r|�qS r r )r7 r8 )r� r� r r r9 X s z-RegularSystem.setup_order.<locals>.<listcomp>)�key)r� r� r� r� � functools� cmp_to_keyr� )r r� r� r� r� r )r� r� r� r� r� r� r � setup_order s zRegularSystem.setup_orderc C st y | j W n tk r& | �� Y nX i | _d| j| j< x(t| j �D ]\}}d|d | j|< qFW d| j| j< d S )NZX0zX%dr r� )r� �AttributeErrorr� r� r� rm r� )r r r[ r r r r� \ s zRegularSystem.setup_namesc C s | � � | �� | j}| j}| j}t| j�}x�|�r |�� }|| }||kr�|| }||= |d�}x(t|�� �D ]\} } || } | || < qpW ||= xvt|�� �D ]f\} } | � |�}|d kr�q�| |= xBt|�� �D ]2\}}|| }| � |�}|d k r�||B }|| |< q�W q�W q.W || | S )Nr ) r� r� r� r� r� rf r� �popr� �get)r r� r� r� �todor� r� ZAkkZAkkStarr� ZAkiZBkir� ZTjZBjkZXjiZTk_XjiZCjiZBjir r r �solveh s: zRegularSystem.solveN) r r r r r� r� r� r� r� r r r r r� � s #F r� c C s t | j| j| j�}|�� S )N)r� r� Z start_stater� r� )ZfsaZRSr r r �SolveFSA� s r� )#r� Zguppy.etc.RE_Rectr Zguppy.etc.IterPermuter � Exceptionr r r, r^ r r> rC r r_ rD r r r{ r~ rr r� r� r0 r� r� r� r# r� r$ r% r� r� ZNothingr� r r r r �<module> sB 9 $ .D M