§
    £E±cÕ
  ã                   ó`   — d Z ddlmZmZ ddlmZmZmZmZm	Z	m
Z
mZ dgZ G d„ de¦  «        ZdS )zÈ
    pygments.lexers.smv
    ~~~~~~~~~~~~~~~~~~~

    Lexers for the SMV languages.

    :copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
é    )Ú
RegexLexerÚwords)ÚCommentÚKeywordÚNameÚNumberÚOperatorÚPunctuationÚTextÚ
NuSMVLexerc                   óœ  — e Zd ZdZdZdgZdgZg Zddefdef e	dd	¬
¦  «        e
j        fde
f e	dd	¬
¦  «        e
j        f e	dd	¬
¦  «        e
f e	dd	¬
¦  «        ej        f e	dd	¬
¦  «        ej        f e	dd	¬
¦  «        e
j        fdej        fdefdefdej        fdej        fdej        fdej        fdej        fdej        fdefgiZdS )r   zB
    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$#-]))Úsuffixzprocess(?![\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+\bz0[su][bB]\d*_[01_]+z0[su][oO]\d*_[0-7_]+z0[su][dD]\d*_[\d_]+z0[su][hH]\d*_[\da-fA-F_]+z\s+z[()\[\]{};?:.,]N)Ú__name__Ú
__module__Ú__qualname__Ú__doc__ÚnameÚaliasesÚ	filenamesÚ	mimetypesr   r   r   ÚDeclarationÚTyper   ÚBuiltinr	   ÚWordÚConstantÚVariabler   ÚIntegerÚBinÚOctÚDecimalÚHexr   Ú
Whitespacer
   Útokens© ó    ú5/usr/lib/python3/dist-packages/pygments/lexers/smv.pyr   r      s¡  € € € € € ðð ð €DØˆi€GØ�	€IØ€Ið 	à" 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�   