HEX

File: //proc/self/root/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pyo
�
;�Pc@s-ddd��YZdefd��YZdS(tFiniteAutomatoncBs�eZdd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Z	d	�Z
d
�Zd�Zd�Z
d
�ZRS(tcCsM||_||_ii|j6|_g|_g|_i|_d|_dS(Ni(tstart_statet
dump_statettabletunresolved_compositestresolved_compositestcomposite_memot
is_updated(tselfRR((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pyt__init__s					cCs2|\}}||jj|i�|<d|_dS(Ni(Rt
setdefaultR(R	t.1txtstatetsymbol((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pyt__setitem__
s	cGs�t|�dkr|d}n?x-|D]%}||jkr&i|j|<q&q&W|j|�}||||f<||jkr�i|j|<ndS(Nii(tlenRt
new_composite(R	RRtnextstctn((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytadd_transitions

cCs�y|j|j�}Wntk
r+dSXg}x]|D]U\}}t|t�r{x7|D]}|j||f�q[Wq9|j||f�q9W|S(N((RtitemstKeyErrort
isinstancetCompositeStatetappend(R	RR
tristktvtvi((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pyt
get_row_itemss

cCsx|jr
|j}g|_x�|D]�}i}g}xG|D]?}x6|j|�D]%\}}|j|g�j|�qTWq>WxR|j�D]D\}}x5|D]-}||j|kr�|j|j�Pq�q�Wq�Wx-|j�D]\}}|j|||�q�Wq%WqWdS(N(RR RRRRRR(R	t
compositesRtdstltaRR((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytmake_deterministic,s 		

!
cCsKi}x>|jj�D]-\}}x|D]\}}d||<q)WqW|S(Ni(RR(R	tsymsRttransRR((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytget_all_input_symbolsAs
cCs|jS(N(R(R	((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytget_all_statesHscCsiS(N((R	((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytget_all_final_statesKscCs#|jr|j�n|jj�S(N(RR%Rtvalues(R	((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytget_compositesNs	
cCs�i}i}x�|jj�D]s\}}|j�}|j�t|�}|j|�}|dkrxg}|||<n|j|�|||<qW||fS(N(RRtkeystsortttupletgettNoneR(R	ttcttckRRR'tks((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytget_transition_classesSs


cs�d�}d�}��fd�}�jrV�j��j�}�_d�_n	�j}|\}}|j�}|�|�j�}	|||	�}
||
�}|S(Ncs���fd��i�xo|D]g}x^t|�D]P\}}xA||dD]1}||k||kkrMd�||f<qMqMWq2WqWx3�j�D]%}|\}}||}||}	g}
x�|D]�}||}|	|}
||
k	r�||
f}|�kr|
j|�qn|
|f}|�kr@|
j|�qn�|}�|=|dk	rj�|�nPq�q�WxG|
D]?}�|}|dkr�|g}|�|<qy|j|�qyWq�W�S(NcsHxA|D]9}|�kr�|}�|=|r@�|�q@qqWdS(N((R#tpqtl1(tPStpsrmark(s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pyR9es

i((((t	enumerateR-R(tfinalsttcvRtQtiptptqR6tdptdqtdpsR$tdpatdqatdpadqatdqadpaR#((R8R9s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytmarkalldsD







	
cSs�i}x,|D]$}x|D]}|g||<qWq
Wx�|D]\}}||}||}||k	r<t|�t|�kr�||}}n|j|�x|D]}|||<q�Wq<q<W|S(N(Rtextend(tQStPQSteqsR=R?R@tepteq((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytcombine�s





c
s&i}i}d}xr|j�D]d}t|�}||krd|}|d7}|d|f||<x|D]}|||<qlWqqW�j|�j�}i|_xy|j�D]k\}	}
i|j|
<}x/�j|	j�D]\}}||||<q�W|	�kr�d|j|
<q�q�W|S(NisMS%di(R+tidt	__class__Rtfinal_statesRR(
RLtcsbyidtcsbyastiRNtideqRtstfsatcs0tcstR'R$(R;R	(s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytfinalize�s(


	 i(RR%R5t_tctckR+R(R	R;RHROR[ttctckR2R3R<R8RLRX((R;R	s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytget_minimized_dfacs	0		
	cCs�ttg|D]}|df^q
�j��}t|�dkrK|dSy|j|SWn/tk
r�||j|<|jj|�|SXdS(Nii(RtdictR-RRRRR(R	targstargtcs((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pyR�s1

c	Cs�|jj�}|j�tgt|�D]\}}||f^q)�}xu|D]m}|j|}d|||fGH|j�}|j�x.|D]&}||}d||||fGHq�WqQWdS(Ns%d: %ss   %r  -> #%d: %s(RR-R.R_R:(	R	R4RURWtnumRRbRR((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytpp�s
1



(t__name__t
__module__R
RRR R%R(R)R*R,R5R^RRd(((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pyRs			
								p	RcBseZRS((ReRf(((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pyR�sN((RR/R(((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pyt<module>s�