�
;�Pc@s-ddd
��YZde
f
d��YZdS(tFiniteAutomatoncBs�eZ
dd
�
Zd�Zd�Zd�Zd�Zd�Zd�Zd�Z	d	�Z
d
�Zd�Zd�Z
d
�ZRS(tcCsM|
|_||_
i
i|j
6|_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.1t
xtstatetsymbol((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pyt__setitem__
s	

cGs�t|�
d
kr|d}n?x-|D]%}||j
kr&i|j
|<q&q&W|j|�
}|||
|f<||j
kr�i|j
|<ndS(Ni
i(tlenRt
new_composite(R	RRtnextst
ct
n((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytadd_transitions








cCs�y|j|
j
�}Wntk
r+


d
SXg}x]|D]U\}}t|t�r{x7|D]}|j||f�

q[Wq9|j||f�

q9W|S(N((RtitemstKeyErrort
isinstancetCompositeStatetappend(R	RR
trist
kt
vtvi((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pyt
get_row_itemss











c
Cs
x
|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
compositesRtdst
lt
aRR((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytmake_deterministic,s 
	
	







!







c
CsKi}
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





c


Cs|jS(
N(
R(
R	((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytget_all_statesHs
c


CsiS(
N((
R	((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytget_all_final_statesKs
c


Cs#|jr|j
�
n|jj�S(
N(RR%Rtvalues(
R	((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pytget_compositesNs
	


c
Cs�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














cs�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|�

qy
Wq�W�S(Nc
sHxA|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(tfinalsttcvRt
Qtipt
pt
qR6tdptdqtdpsR$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__Rtfinal_statesRR(
RLtcsbyidtcsbyast
iRNtideqRt
stfsatcs0tcstR'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�tt
g|
D]}|d
f^q
�
j��
}t|�
d
krK|
dSy|j|SWn/tk
r�


||j|<|jj|�

|SXdS(Ni
i(RtdictR-RRRRR(R	targstargtcs((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pyR�s
1









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	Rc
BseZ
RS((ReRf(((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pyR�s
N((RR/R(((s@/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/FSA.pyt<module>s�