Team Ai
Datasetpublic

codekingpro/portable-devtools

sourceHugging Faceupdated 5mo agoView on Hugging Face
1likes14kdownloads
tnt.cpython-313.pyc60 linesDownload Raw Back to __pycache__
1�

2�j�(��`�SrSSKrSSKJr SSKJrJrJrJrJ	r	J3r4JrJr S/r
"SS\5rg)z�5pygments.lexers.tnt6~~~~~~~~~~~~~~~~~~~7 8Lexer for Typographic Number Theory.9 10:copyright: Copyright 2006-present by the Pygments team, see AUTHORS.11:license: BSD, see LICENSE for details.12�N)�Lexer)�Text�Comment�Operator�Keyword�Name�Number�Punctuation�Error�TNTLexerc�Z�\rSrSrSrSrSrS/rS/rSr	/r13\"S5r\"S	5r
\"S145r\"S5r\"S5r\"S
5r\"S5r\"S5r\R*"S5r\R*"S5r\R*"S5rSrSSjrSrSrSrSrSrSr Sr!Sr"g)r�un15Lexer for Typographic Number Theory, as described in the book16Gödel, Escher, Bach, by Douglas R. Hofstadter17zTypographic Number Theoryz,https://github.com/Kenny2github/language-tnt�tntz*.tntz2.7u⊃→]&∧^|∨Vvu+.⋅*�abcdeu'′z~!uAE∀∃�180123456789z	 19ax(?xi)20        joining | separation | double-tilde | fantasy\ rule21        | carry[- ]over(?:\ of)?(?:\ line)?\ ([0-9]+) | detachment22        | contrapositive | De\ Morgan | switcheroo23        | specification | generalization | interchange24        | existence | symmetry | transitivity25        | add\ S | drop\ S | induction26        | axiom\ ([1-5]) | premise | push | pop27    z((?:[0-9]+)(?:(?:, ?|,? and )(?:[0-9]+))*z\[[^\n\]]+\]c�F�[R"U/UQ70UD6 /Ulg)N)r�__init__�cur)�self�args�kwargss   �YD:\code\apps\devtools\python\user_packages\Python313\site-packages\pygments/lexers/tnt.pyr�TNTLexer.__init__7s��
���t�-�d�-�f�-����c��UnX$UR;aUS-
nX$UR;aMU(aXA:Xa[eXA:wa$URRU[X!U45 U$![a [U5nNTf=f)zTokenize whitespace.�)�28WHITESPACE�29IndexError�len�AssertionErrorr�appendr)r�start�text�required�ends     r�30whitespace�TNTLexer.whitespace;s�����	��)�t���.��q����)�t���.���� � ��<��H�H�O�O�U�D�$�S�/�:�;��31��
�	��d�)�C�	�s�)A,�,B�Bc���X!UR;a[eUS-nX#UR;aUS-
nX#UR;aMURR	U[32RX!U45 U$)zTokenize a variable.r)�	VARIABLESr �PRIMESrr!r�Variable�rr"r#r%s    r�variable�TNTLexer.variableIsj���;�d�n�n�,� � ��A�g���i�4�;�;�&��1�H�C��i�4�;�;�&��������
�
�t�#��?�@��33rc�"�X!S:Xa[US-nX#S:XaUS-
nX#S:XaMURRU[RX!U45 UR	X25$X!S:Xa3URRU[RX!45 US-$X!UR34;aUR
X5$X!S:Xa�URRU[X!45 UR	US-U5nX!UR;a[eURRU[X!45 UR	US-U5nX!S:wa[eURRU[X!45 US-$[e)zTokenize a term.�Sr�0�(�))rr!r	�Integer�termr)r-r35�	OPERATORSr rr,s    rr5�
TNTLexer.termSs_���;�#����'�C��)�s�"��q����)�s�"��H�H�O�O�U�F�N�N�D�s�O�D�E��9�9�S�'�'��;�#���H�H�O�O�U�F�N�N�D�K�@�A���7�N��;�$�.�.�(��=�=��-�-��;�#���H�H�O�O�U�K���=�>��I�I�e�A�g�t�,�E��{�$�.�.�0�$�$��H�H�O�O�U�H�d�k�:�;��I�I�e�A�g�t�,�E��{�c�!�$�$��H�H�O�O�U�K���=�>���7�N��rc�n�X!UR;aeUS-nX#UR;aUS-
nX#UR;aMURRU[X!U45 UR	X25$X!UR36;a�URRU[RX!45 URUS-U5nX!S:wa[eURRU[X!45 UR	US-U5$X!S:Xa�URRU[X!45 UR	US-U5nX!UR;a[eURRU[X!45 UR	US-U5nX!S:wa[eURRU[X!45 US-$URX5nX!S:wa[eURRU[X!45 URUS-U5nU$)zTokenize a formula.r�:�<�>�=)
�NEGATORSrr!r�formula�QUANTIFIERSr�Declarationr-r r37�LOGICr5r,s    rr>�TNTLexer.formulams����;�$�-�-�'���'�C��)�t�}�}�,��q����)�t�}�}�,��H�H�O�O�U�H�d��o�>�?��<�<��*�*��;�$�*�*�*��H�H�O�O�U�G�$7�$7���E�F��M�M�%��'�4�0�E��{�c�!�$�$��H�H�O�O�U�K���=�>��<�<��a���.�.��;�#���H�H�O�O�U�K���=�>��L�L��q��$�/�E��{�$�*�*�,�$�$��H�H�O�O�U�H�d�k�:�;��L�L��q��$�/�E��{�c�!�$�$��H�H�O�O�U�K���=�>���7�N��	�	�%�&���;�#�� � ��������$�+�6�7��	�	�%��'�4�(���rc	��URRX!5nUc[e[URSS5nUH�nUSS:�dMUR38R
U[X!US45 UR39R
US[RX%SUS45 USUR5:wa8UR40R
US[X%SUR545  UR5$ UR41R
U[X!UR545 UR5$)zTokenize a rule.Nrr)�RULES�matchr �sorted�regsrr!rr	r4r%)rr"r#rE�groups�groups      r�rule�
TNTLexer.rule�s���42�43� � ��-���=� � ���44�45�1�2��'���E��Q�x�1�}���������E�!�H�1E� F�G�������q��6�>�>�!%�A�h�u�Q�x�!8�!:�;���8�u�y�y�{�*��H�H�O�O�U�1�X�w�%)��(�5�9�9�;�%?�%A�B���y�y�{���
�H�H�O�O�U�G�T��	�	��-D�E�F��y�y�{�rc��UnX#UR;aUS-
nX#UR;aMURRU[X!45 URRUS-[X!S-U45 UnUR46R
X!5nUc[eX$R5S:wa[eURRUR5[RURS545 URRUR5[X$R545 UR5S-$)zTokenize a line referral.rr3r)
�NUMBERSrr!r47r�LINENOSrEr r%r"r	r4rI)rr"r#r%rEs     r�lineno�TNTLexer.lineno�s�����i�t�|�|�+��1�H�C��i�t�|�|�+��������T�[�9�:�������q��$��1�W�S�(9�:�;������"�"�4�/���=� � ��	�	����#� � ����������������A��G�H����������k�4�	�	��3D�E�F��y�y�{�Q��rc���UnX#S:waUS-
nX#S:waMX1:wa$URRU[X!U45 URX25nU$![a [U5nNSf=f)z?Mark everything from ``start`` to the end of the line as Error.�48r)rrrr!rr&r,s    r�error_till_line_end�TNTLexer.error_till_line_end�sz����	��)�t�#��q����)�t�#��<��H�H�O�O�U�E�4�c�?�;�<��o�o�c�(���49���	��d�)�C�	�s�A�A/�.A/c���/UlURSU5=p#X#s=::a[U5:Ga7O
 UR$XUR;aUS-
nXUR;aMX2:waWURR	U[50RXU45 [UR5nURX1S5=p#URRX5nUbXURR	U[XUR545 UR5=p#URX!5=p#GM"AXS;a/URR	U[X45 US-
nUS-
nO([UR5nURX!5=p#[UR5nURX1S5=p#[UR5nUR%X!5=p#URX15=p#XS:Xa:[UR5nUR'X!5=p#URX!5=p#X#s=::a[U5:aGMUR$ UR$![a& URUS2	URX15=p#GM�f=f![[4ad URUS2	XUR ;aUS-
nXUR ;aMURR	U["XU45 UnGN}f=f![a& URUS2	URX!5=p#GM2f=f![a& URUS2	URX!5=p#GMef=f![a& URUS2	URX!5=p#GM�f=f![(a6 URWS2	O![*a Of=fURX!5 GN�f=f)zReturns a list of TNT tokens.rrTNz[]r2)rr&rrMr!r	r4r rS�COMMENTrErr%rr>�RecursionErrorrrrJrOr�	NameError)rr#r"r%�origrEs      r�get_tokens_unprocessed�TNTLexer.get_tokens_unprocessed�s�������o�o�a��.�.���&�S��Y�&�T�x�x��SH
6��i�4�<�<�/��1�H�C��i�4�<�<�/��<��H�H�O�O�U�F�N�N�D�s�O�$L�M��t�x�x�=�D�!�&*�o�o�c��&F�F�����*�*�4�7���$��H�H�O�O�U�G�T��	�	��5L�$M�N�"'�)�)�+�-�E�"&�":�":�5�"G�G�E����;�$�&��H�H�O�O�U�G�T�[�$A�B��Q�J�E��1�H�C��t�x�x�=�D�$�&*�l�l�5�&?�?���4�8�8�}���"&�/�/�#�T�"B�B�E��4�8�8�}���"&�)�)�E�"8�8�E�#�o�o�c�8�8���;�#�%��t�x�x�=�D�!�&*�k�k�%�&>�>��51#'�/�/�%�">�>�E�G�&�S��Y�&�T�x�x��U'�T�x�x���*�!� �H�H�T�U�O�&*�&>�&>�s�&I�I�� �!��.+�N�;�$� �H�H�T�U�O�"�i�t���>��1�H�C�#�i�t���>��������t�#��(G�H� #��$��&��������"&�":�":�5�"G�G�E����&��������"&�":�":�5�"G�G�E����*�!� �H�H�T�U�O�&*�&>�&>�u�&K�K�� �!��52�
6��������� ������(�(��5�
6�s�)N7�+AN7�4I4�A3N7�=A
N7�J'�N7�3L�N7�M�./N7�N�0N7�4+J$�N7�#J$�$N7�'AL�1&L�N7�L�N7�+M�	N7�
M�N7�+N�<N7�N�N7�+N4�/N7�3N4�4N7�753O7�O�O7�54O�O7�O�O7�6O7)rN)F)#�__name__�55__module__�__qualname__�__firstlineno__�__doc__�name�url�aliases�	filenames�
version_addedr�setrAr6r)r*r=r?rMr�re�compilerDrNrVrr&r-r5r>rJrOrSrZ�__static_attributes__�rrrrs����56'�D�578�C��g�G��	�I��M�58�C��$�%�E��H�
�I��G��I�
��[�F��4�y�H��j�/�K��,��G��Y��J��J�J��
	�E��j�j�D�E�G��j�j��)�G�����4 �D�&�"�Nr)r`rg�pygments.lexerr�pygments.tokenrrrrrr	r59r�__all__rrjrr�<module>rns8���60� �����,��z�u�zr
codekingpro/portable-devtools · Team Ai