o

���a�
�@sRdZd
dl
mZmZ
d
dlmZmZmZmZm	Z	m
Z
mZ
dg
ZGdd�de�Z
dS)z�
    pygments.lexers.smv
    ~~~~~~~~~~~~~~~~~~~

    Lexers for the SMV languages.

    :copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
�)�
RegexLexer�words)�Comment�Keyword�Name�Number�Operator�Punctuation�Text�
NuSMVLexerc@s�eZ
dZd
ZdZdg
Zdg
ZgZddefdefe	dd	d
�e
jfde
fe	dd	d
�e
jfe	d
d	d
�e
fe	dd	d
�e
jfe	dd	d
�ejfe	dd	d
�e
jfde
jfdefdefdejfdejfdejfdejfdejfdejfdefgi
ZdS)rzB
    Lexer for the NuSMV language.

    .. versionadded:: 2.2
    �NuSMV�nusmvz*.smv�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�	mimetypesrrr�Declaration�Typer�Builtinr�Word�Constant�Variabler�Integer�Bin�Oct�Decimal�Hexr
�
Whitespacer	�tokens�r~r~�5/usr/lib/python3/dist-packages/pygments/lexers/smv.pyrsX




��

�
�
����





��N)rl�pygments.lexerrr�pygments.tokenrrrrrr	r
�__all__rr~r~r~r�<module>
s

$