Файловый менеджер - Редактировать - /opt/cloudlinux/venv/lib/python3.11/site-packages/guppy/etc/__pycache__/KanExtension.cpython-311.pyc
Назад
� ��bg�R � � � G d � d� � Z G d� d� � Z G d� d� � Z G d� d� � Z G d� d � � Z G d � d� � ZdS ) c �b � e Zd Zd� Zd� Zd� Zd� Zd� Zd� Zd� Z d� Z d � Zd � Zd� Z d� Zd � Zd� ZdS )�LeftKanExtensionc �L � || _ |j | _ | j � |� � | j � |� � | j � ||� � || _ || _ d� |D � � | _ || _ || _ | � � � d S )Nc �P � g | ]#\ }}t |� � t |� � f��$S � ��tuple)�.0�g�hs �i/builddir/build/BUILD/cloudlinux-venv-1.0.7/venv/lib64/python3.11/site-packages/guppy/etc/KanExtension.py� <listcomp>z-LeftKanExtension.__init__.<locals>.<listcomp> s- � �7�7�7�6�A�q�5��8�8�U�1�X�X�&�7�7�7� ) �mod�Cat�check_graph�check_rules�A�B�R�X�F�general_procedure)�selfr r r r r r s r �__init__zLeftKanExtension.__init__ s� � � ����7��� ����Q��������Q��������Q��"�"�"� ������7�7�Q�7�7�7������������ � � � � r c � � | � � � | � � � | � � � | � � � d S �N)�initialize_tables�make_confluent_system�make_automaton�make_natural_transformation�r s r r z"LeftKanExtension.general_procedure$ sP � ���� � � ��"�"�$�$�$��������(�(�*�*�*�*�*r c �J � i | _ i | _ | � � � d S r )�obj_to_str_table�str_to_obj_table�make_initial_rulesr! s r r z"LeftKanExtension.initialize_tables* s* � � "��� "������!�!�!�!�!r c � � �� g ��� fd�}� j j D �]~}� j � |� � }� j � |� � }� j � |� � }� j � |� � }t � j � |� � � � }� j � |� � }� j � |� � } |rx|} |D ]T}� j � |� � }|| k rt d|�d|�d| ��� � �� j � |� � } �U| | k rt d|�d| �d| ��� � �n|| k rt d|�d | ��� � �|D ] } ||| ff|z | || � � ff� � �!���� fd �� j D � � }�� _ |� _ �|z � _ d S )Nc � �� �� | � � }�� |� � }||k r�� ||f� � d S d S r )� make_word�append)�a�b�aw�bw�Rer s ��r �add_rulez5LeftKanExtension.make_initial_rules.<locals>.add_rule5 sQ �� �����"�"�B�����"�"�B��R�x�x�� � �2�r�(�#�#�#�#�#� �xr zArrow [z] with source z does not compose with target zArrow z with target z does not compose with zSource z does not match target c �j �� g | ]/\ }}�� |� � �� |� � f��0S r )r( )r �x�yr s �r r z7LeftKanExtension.make_initial_rules.<locals>.<listcomp>U s: �� � J� J� J��!�Q�t�~�~�a� � �$�.�.��"3�"3�4� J� J� Jr )r �arrows�source�targetr �fo�far r r � ValueErrorr r. �Rk�Rinit)r r/ r* �srca�tgta�XA�Xa�Fa�Fsrca�Ftgta�tr+ �srcbr1 r9 r. s ` @r r% z#LeftKanExtension.make_initial_rules/ s- ��� � �� $� $� $� $� $� $� ��� >� >�A��6�=�=��#�#�D��6�=�=��#�#�D�����4���B�����1���B��t�v�y�y��|�|�$�$�B��F�I�I�d�O�O�E��F�I�I�d�O�O�E�� O���� )� )�A��6�=�=��+�+�D��q�y�y�(�j�[\�[\�[\�^b�^b�^b�de�de�f�h� h� h��� � �a�(�(�A�A���:�:�$�*�NP�b�b�RS�RS�RS�UZ�UZ�[�]� ]� ]� � �E�>�>�$�*�@E���u�u�M�O� O� O�� >� >����4��)���*�d�B�B�q�E�E�]�,<�=�=�=�=� >� K� J� J� J�4�6� J� J� J���������"�W�� � � r c �t � | j � | j d�� � | _ | j j | _ d S )N�.)�delim)r �KnuthBendixr: �rs� reductions�Rconfr! s r r z&LeftKanExtension.make_confluent_system[ s0 � ��(�&�&�t�z��&�=�=����W�'�� � � r c � � ������ � fd��g �� j j D ]7}� j � |� � D ]}�� ||ff� � ��8t d� � j j D � � � � }t � j j � � � � � D ]%\ }\ }}|| � ||f� � �&t � fd�� j D � � � � }i �� j D ]G\ }} � � |� � } t dt | � � � � D ]}d�| d |� <