Current File : //proc/self/root/opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyo
�
;�Pc @ sv d f d � � YZ d f d � � YZ d f d � � YZ d f d � � YZ d f d � � YZ d
f d � � YZ d S(
t LeftKanExtensionc B s� e Z d � Z d � Z d � Z d � Z d � Z d � Z d � Z d � Z d � Z
d � Z d
� Z d � Z
d � Z d
� Z RS( c C s� | | _ | j | _ | j j | � | j j | � | j j | | � | | _ | | _ g | D]$ \ } } t | � t | � f ^ qa | _ | | _ | | _ | j
� d S( N( t modt Catt check_grapht check_rulest At Bt tuplet Rt Xt Ft general_procedure( t selfR R R R R R
t gt h( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt __init__ s 4 c C s, | j � | j � | j � | j � d S( N( t initialize_tablest make_confluent_systemt make_automatont make_natural_transformation( R ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR ' s
c C s i | _ i | _ | j � d S( N( t obj_to_str_tablet str_to_obj_tablet make_initial_rules( R ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR 0 s c s� g � � � f d � } x�� j j D]t} � j j | � } � j j | � } � j j | � } � j j | � } t � j j | � � } � j j | � } � j j | � } | r=| }
xW | D]O } � j j | � } | |
k r� t
d | | |
f � n � j j | � }
q� W|
| k r_t
d | |
| f � q_n" | | k r_t
d | | f � n x7 | D]/ }
| | |
f f | | | |
� f f � qfWq% Wg � j D]* \ }
} � j |
� � j | � f ^ q�} � � _
| � _ � | � _ d S( Nc sD � j | � } � j | � } | | k r@ � j | | f � n d S( N( t make_wordt append( t at bt awt bw( t ReR ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt add_rule; s s9 Arrow [%s] with source %s does not compose with target %ss0 Arrow %s with target %s does not compose with %ss" Source %s does not match target %s( R t arrowst sourcet targetR t fot faR R
R t
ValueErrorR R R t Rkt Rinit( R R R t srcat tgtat XAt Xat Fat Fsrcat Ftgtat tR t srcbt xt yR% ( ( R R sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR 5 s<
1: c C s1 | j j | j d d �| _ | j j | _ d S( Nt delimt .( R t KnuthBendixR& t rst
reductionst Rconf( R ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR b s c s* � f d � � g � xG � j j D]9 } x0 � j j | � D] } � j | | f f � q; Wq" Wt g � j j D] } | g f ^ qo � } x= � j j j � D]) \ } \ } } | | j | | f � q� Wt g � j D]* \ } } � j
| � � j
| � f ^ q� � }
i � xT � j D]I \ } } � j
| � }
x+ t d t |
� � D] } d � |
| <qKWqWd } � j
j | � � x4 � D], } | |
k r�� j | | d | � q�q�Wx� � D]� } x� | � | � D]� \ } } | f } | | } | � k r� j | | | | � q�| � k rI| |
k rI� j | | | | � q�| |
k r�� j | | | � q�q�Wq�Wx � j j D]q } xh | | D]\ \ } } | f } | � k r�� j | | | | � q�| |
k r�� j | | | � q�q�Wq�Wx� � D]� } | � k rq�n x{ | � | � D]i \ } } | f } | | } | � k ri� j | | | | � q%� j | � r%� j | | | � q%q%Wq�W� � � � � f d � } � j j | � j j d � � � j j � � � f d � � j j t � } � � _ | � _ � j j � | � � _ d S( Nc sU t | � d k r= t | d t � r= � j j | d d � S� j j | d � Sd S( Ni i i����( t lent
isinstanceR R
R" R R! ( t e( R ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR! i s %i t s0i c s� i } d | | <x; � D]3 } � j j | d d � | k r d | | <q q Wx- � D]% } � | � | k rU d | | <qU qU Wx? � j � D]1 } x( | D] } | | k r� Pq� q� Wd | | <q� W� j | � } � j j | � } t | � S( Ni i ( R
R" t get_compositest get_minimized_dfaR t SolveFSAt
RegularSet( t Bit finalst xit ut ct st dfat regexp( R) t fsat pplRR R! ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt get_RS� s
c s" t � j � | � � j � j � S( N( t KanActionR t irreduciblet reduce( R ( t KBR R! ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt <lambda>� s ( R; ( R t objectsR R" R t dictR R t itemsR7 t make_termt rangeR8 R t FiniteAutomatont add_transitionRL R t Functiont NoneRK RN t Kbt Functort K( R R R0 R t followsR R/ t tgtbRC t vt IRt lt rR. t iR; RB t btermt xibR@ t ubRJ RY ( ( RN R) RH RI R R! sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR f sn +%@
c
s( � f d � � � � � � f d � } t g � j j D] } | g f ^ q7 � � g � xD � j j D]6 } x- � j j | � D] } | | | f f � q~ Wqe Wxv � r� } g � x] | D]U } � | � } x@ � j j D]2 } � j j | � | k r� | | | f � q� q� Wq� Wq� Wi } x� � j j D]� } � � j j | � }
� � j j | � } t g |
D]" } | � j | | f � f ^ qg� } � j
j | |
| � | | <q+W� j
j � � j j � j � � � � j
j | � j j | j � � } � � _
| � _ � j
j � | � � _ d S( Nc sB t | � d k r* � j j | d d � S� j j | d � Sd S( Ni i i����( R8 R
R" R R! ( R: ( R ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR! � s c s: � j | � r6 � j | � � � | � j | � n d S( N( RL R ( R: ( RN t blockR R! ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt add_element� s
( RQ R RP R R R" R R R! RM R RW t valuesRN RY RZ R[ (
R Rg R R R0 t oblockR: t tgtR RY t srcRE t tab( ( RN Rf R R! sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt make_catalogue� s4 +
5 $$ c s= i � � � f d � } � j j | � j j d � � _ d S( Nc s� | � k r � | S� j j | � } � j j � j j | � � } t g | D]$ } | � j | | f f � f ^ qN � } � j j | | | � � | <� | S( N( R R" R[ R
RQ RM R RW ( R Rk Rj R0 Rl ( t get_nat_memoR ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt get_nat s 7 ( R RW R RP RX t nat( R Ro ( ( Rn R sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR s
c C s; | j } d j g | D] } | d k r | | � ^ q � S( NR3 t ( t
obj_to_strt join( R R0 t otsR: ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR ( s c C sW | j } y | | SWn; t k
rR t t | � � } | | | <| | j | <| SXd S( N( R t KeyErrort strR8 R ( R R0 t otnt n( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRr , s
c C s | j | S( N( R ( R R0 ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt
str_to_obj9 s c C s% | j | � } | | j j | � k S( N( R R5 RM ( R R0 t tx( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRL < s c C s( | j j | j | � � } | j | � S( N( R5 RM R RS ( R R0 t w( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRM @ s c C s9 | j } t g | j d � D] } | r | | ^ q � S( NR3 ( R R t split( R t wordt stoRE ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRS D s ( t __name__t
__module__R R R R R R Rm R R Rr Ry RL RM RS ( ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR s - c E
RK c B s e Z d � Z d � Z RS( c C sm | j | � } | j | � } | | � | _ | | � | _ | | _ | | _ | | _ | | _ | | _ d S( N( R R! Rk Rj R R' t targetofRL RM ( R R RN R R� RL RM R' R( ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR I s c C s� | j | � | j k rC t d | | j | � | j | j f � n | j | � sw t d | | j | � | j f � n | j | | j f � S( Ns6 Target of %r (= %r) does not match source of %r (= %r)sJ Argument %r is reducible to %r; and is thus not in the source set K.fo(%r)( R� R' t TypeErrorR RL RM ( R RE ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt __call__T s % ( R R� R R� ( ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRK H s R? c B s\ e Z d Z d � Z d � Z d � Z d � Z d � Z d � Z e d e � Z
d � Z RS( i c C s
| | _ d S( N( t re( R R� ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR g s c C s
t | j � S( N( t itert uniform( R ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt __iter__j s c C s | j | S( N( R� ( R R0 ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt __getitem__m s c C s
t | j � S( N( R8 R� ( R ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt __len__p s c C sA | } | j j | � } | j � } g | D] } t | � ^ q+ S( N( R� t limitedt sequniR ( R t coveraget NR t xsR0 ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt get_xs_covereds s c C s | j � | j j � S( N( t simplifyR� R� ( R ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt get_uniformy s
t fgetc C s+ | j s' | j j � | _ d | _ n d S( Ni ( t
is_simplifiedR� t
simplified( R ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR� s ( R R� R� R R� R� R� R� R� t propertyR� R� ( ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR? ` s t ObjectTesterc B sG e Z d � Z d � Z d � Z d � Z d � Z d � Z d � Z RS( c C s+ | | _ | j | _ | | _ | | _ d S( N( t category_testert functort objectt code( R R� R� R� ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR � s c C s | j j | j S( N( R� R R� ( R ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt get_all_arrows� s c C s | j S( N( R� ( R ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt get_intermediate_test_code� s c C sN i d d 6d d 6d d 6} d j g | j D] } | | d | d ^ q+ � S(
Ns assert e[%r] == e[%r]t aseqs e[%r] = fa[%r](e[%r])t evalfas assert fo[%r](e[%r])t asfos
i i ( Rs R� ( R t cmapRD ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt get_python_test_source_code� s
c B sL | j � } i | d 6} i | j j d 6| j j d 6| d 6} | | U| S( Nt argR# R" R: ( R� R� R# R" ( R R� R� R: t d( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt execode� s
c
C s i | d 6} | j j } | j j } x� | j D]� } | d } | d k ry | d \ } } } | | | | � | | <q/ | d k r� | d \ }
} | |
| | � st d � qq/ | d k r| d \ } } | | | | k rt d | | f � qq/ t d | f � q/ Wd S(
NR� i R� i R� s Predicate failedR� s e[%r] != e[%r]s Invalid code: %r( R� R# R" R� R$ (
R R� R: R# R" RD R t dstt arRk t obt nat nb( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt intercode� s"
c C s
| j | � S( N( R� ( R R� ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt test� s ( R R� R R� R� R� R� R� R� ( ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR� � s t CategoryTesterc B s\ e Z d d � Z d � Z d � Z d � Z d � Z d � Z d � Z d � Z
d � Z RS(
c C sC | | _ | j | _ | | _ | | _ | d k r? | | _ n d S( N( R Rk t catR� R RX t get_arrow_name( R R R� R R� ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR � s c C s
d j | � S( NR3 ( Rs ( R R ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR� � s c s{ � j j } | } i | d 6� d | f g � g � � � � � � f d � � x � j | D] } � | � q] W� � f S( Nc s} | � k r � | S| d } | d } � j | � } � | � } � j d | | | f � | � | <� j | | f � | S( Ni����R� ( R� R ( R t a0t a1t namet na0( t codest
eval_arrowt memot memolistR ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR� � s
( ( ( R� R# R ( R R� t argnameR# R� R� ( ( R� R� R� R� R sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt get_eval_arrows_code� s
c C s | j | � } t | | | � S( N( t get_test_object_codeR� ( R R� R� ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt get_object_tester� s c C s� g } | j j j } xm | D]e \ } } | } | rP | j j j | d � } n | d k sh | | k r | j d | | f � q q W| S( Ni����R� ( R� R" Rk R� t graphR! RX R ( R R� t mlR� Rk t arrowt valueR� ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt get_test_inclusion_code� s c C sN d } | j | | � \ } } | j | | � } | j | | � } | | | S( NR� ( R� t get_test_relations_codeR� ( R R� R� t evalcodesR� t relcodest incodes( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR� � s
c s' g � � j } � j j } t | � � � � � � f d � � x� | j D]� \ } } t | � } t | � } | j j | d � } x� | D]� \ } } | r� | j j | d � }
n | }
| |
k r� | | } | | } | | k r� | � }
� | � } � j d |
| f � qq� q� WqI W� S( Nc s^ | � k r � | S� | d � } � j | � } � j d | | d | f � | � | <| S( Ni����R� ( R� R ( R� R� R� ( R� R� R t teval_arrow( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR� s
i i����R� (
R� R� R# RQ t relationsR R� R R! R ( R R� R� R� R# R R Rk t arrt valRj t arat arbt vat vb( ( R� R� R R� sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR� s*
$c C s | j | � } | j | � | S( N( R� R� ( R R� R� t tester( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt test_object) s
c C s+ y | j | | � Wn n
Xt d � d S( Ns Exception excepted( R� t Exception( R R� R� ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt test_object_fail. s
N( R R� RX R R� R� R� R� R� R� R� R� ( ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR� � s ' t _GLUECLAMP_c B sn e Z d � Z d � Z d � Z d � Z d � Z d d d � Z d d d � Z d � Z
d
� Z d � Z RS(
c C s
| j j j S( N( t _parentR4 ( R ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt _get_KnuthBendix> s c C s
| j j j S( N( R� t FSARU ( R ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt _get_FiniteAutomaton? s c C s
| j j j S( N( R� t RER> ( R ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt
_get_SolveFSA@ s c C s
| j j S( N( R� R ( R ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt _get_CatA s c C s t | | | | | | � S( N( R ( R R R R R R
( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt lkeF s i i c
s� � r | j � } n | j j | j j g � } | j } | j } | j j d � d � � } | j j d � d � � } | j | | | | | � � i � � � � � f d � } | j j | d � j j
j d d �S( Nc S s d g S( Ni ( ( R0 ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRO S s c S s d � S( Nc S s | S( N( ( R1 ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRO S s ( ( R0 ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRO S s c S s | S( N( ( R0 ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRO T s c S s g S( N( ( R0 ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRO T s c s | � k r � | S� j j | j j � } � rB | j � } n t � � j d � r� t � d � } g } | j � } x� t d | d � D]5 } | j
g | j | � D] } t | � ^ q� � q� Wn: | j
� � } | j � } g | D] } t | � ^ q� } | � | <| S( Nt lengthi i ( R[ R" R� t rempretupt reversedRv t
startswitht intt get_words_memoRT t extendt get_words_of_lengthR R� R� ( R� R� t maxlenR� R� Rb R0 ( R� t from_objectst keR� ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt
get_arrowsY s 6
Rk Rj (
t get_dualR t GraphR� RP R� RZ R� RW R[ R" Rk RX (
R R� R� R� R R R R R
R� ( ( R� R� R� R� sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt
arrows_mapL s c C s� t | t � rQ | \ } } } | d k r6 d � } n | j j | | | � } n | d k r~ | j | j d d d | �} n t | | | � S( Nc S s d � S( Nc S s d S( Ni ( ( R1 ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRO v s ( ( R0 ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRO v s R� i R� ( R9 R RX R RZ R� Rk R� ( R R� R R� R" R# Rk ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR� r s !c
C s� d d g } i d d 6d d 6} | j j | | � } | j j i | d 6| d 6| | | g � } | j j i | d 6| d 6| | | g � } | j j | | � }
| j | |
� \ } } | d S( Ni i R� R� ( i i ( i i ( R R� RW RZ t colimit(
R t S0t S1t f0t f1RP R R t XoR* R t colimit_objectt colimit_functions( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt coequalizer| s ,,c
C s | j j d g i � } g } | j j d � d � � } | j | | | | | � } | j d } | j } g | D] } | d ^ qq } t g | j � D]\ \ } }
| | j j t g |
j � D] \ } } | | d f ^ q� � |
j | � f ^ q� � } | | f S( Ni c S s d S( Ni ( ( R0 ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRO � s c S s d S( N( ( ( R0 ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyRO � s (
R R� RZ R� RN Rp RQ RR RW Rk (
R R R R R R
t lkaR� R� R0 t cofR t k( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR� � s
oc C s | j | � } | j | | � S( N( R� R� ( R R� R� R� R� ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt test_arrows� s N(
R R� R� R� R� R� R� R� RX R� R� R� R� ( ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyR� ; s &
* "N( R RK R? R� R� R� ( ( ( sI /opt/alt/python27/lib64/python2.7/site-packages/guppy/etc/KanExtension.pyt <module> s � F%9}
Mini Shell