File: //opt/alt/python311/lib/python3.11/site-packages/pygments/lexers/__pycache__/smv.cpython-311.pyc
�
�;f�
� �` � d Z ddlmZmZ ddlmZmZmZmZm Z m
Z
m Z dgZ G d� de� � Z
dS )z�
pygments.lexers.smv
~~~~~~~~~~~~~~~~~~~
Lexers for the SMV languages.
:copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� )�
RegexLexer�words)�Comment�Keyword�Name�Number�Operator� Punctuation�Text�
NuSMVLexerc � � e Zd ZdZdZdgZdgZg ZdZdZ dde
fd e
f e d
d � � � e j
fd
e f e dd � � � e j f e dd � � � e f e dd � � � ej f e dd � � � ej f e dd � � � e j fdej fdefdefdej fdej fdej fdej fdej fdej fd e fgiZ d S ) r z'
Lexer for the NuSMV language.
�NuSMV�nusmvz*.smvzhttps://nusmv.fbk.euz2.2�rootz(?s)\/\-\-.*?\-\-/z--.*\n)"�MODULE�DEFINE�MDEFINE� CONSTANTS�VAR�IVAR� FROZENVAR�INIT�TRANS�INVAR�SPEC�CTLSPEC�LTLSPEC�PSLSPEC�COMPUTE�NAME� INVARSPEC�FAIRNESS�JUSTICE�
COMPASSION�ISA�ASSIGN�
CONSTRAINT�SIMPWFF�CTLWFF�LTLWFF�PSLWFF�COMPWFF�IN�MIN�MAX�MIRROR�PRED�
PREDICATESz (?![\w$#-]))�suffixzprocess(?![\w$#-]))�array�of�boolean�integer�real�word)�case�esac)�word1�bool�signed�unsigned�extend�resize�sizeof�uwconst�swconst�init�self�count�abs�max�min) �EX�AX�EF�AF�EG�AG�E�F�O�G�H�X�Y�Z�A�U�S�V�T�BU�EBF�ABF�EBG�ABG�next�mod�union�in�xor�xnor)�TRUE�FALSEz[a-zA-Z_][\w$#-]*z:=z [-&|+*/<>!=]z\-?\d+\bz0[su][bB]\d*_[01_]+z0[su][oO]\d*_[0-7_]+z0[su][dD]\d*_[\d_]+z0[su][hH]\d*_[\da-fA-F_]+z\s+z[()\[\]{};?:.,]N) �__name__�
__module__� __qualname__�__doc__�name�aliases� filenames� mimetypes�url�
version_addedr r r � Declaration�Typer �Builtinr �Word�Constant�Variabler �Integer�Bin�Oct�Decimal�Hexr �
Whitespacer
�tokens� � �F/opt/alt/python311/lib/python3.11/site-packages/pygments/lexers/smv.pyr r s� � � � � � �� � �D��i�G�� �I��I�
�C��M� �
"�G� ,�
�� � �U� "� +9�
:� :� :� �
�
"� #�G� ,�
�U�H�(�*� *� *�+2�<�
9�
�U�#�N�
;�
;�
;�W� E�
�U� )�1?�A� A� A� �\�
� �U� � %3�4� 4� 4� �
�
�
�U�$�^�
<�
<�
<�g�>N� O� "�4�=� 1� �H� �
�h� '� �&�.� )�
#�V�Z� 0�
$�f�j� 1�
#�V�^� 4�
)�6�:� 6� �T�_� %�
�� -�[.
�0�F�F�Fr� N)rn �pygments.lexerr r �pygments.tokenr r r r r r
r �__all__r r� r� r� �<module>r� s� ��� � -� ,� ,� ,� ,� ,� ,� ,�� � � � � � � � � � � � � � � � � � �.��<� <� <� <� <�� <� <� <� <� <r�