Ë
    |í¼eÕ
  ã                   óX   — 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y)zÈ
    pygments.lexers.smv
    ~~~~~~~~~~~~~~~~~~~

    Lexers for the SMV languages.

    :copyright: Copyright 2006-2023 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j0                  fdej4                  fdefgiZy)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      sh  „ ñð €DØˆi€GØ�	€IØ€Ið 	à" GÐ,Ø˜Ð ñ ð "ð +9ô:ð × Ñ ð"ð # GÐ,ÙÐHØ(ô*Ø+2¯<©<ð9áÐ#¨NÔ;¸WÐEÙð )à1?ôAð �\‰\ðñ ð ð %3ô4ð —‘ð	ñ
 Ð$¨^Ô<¸g×>NÑ>NÐOð " 4§=¡=Ð1ð �HÐØ˜hÐ'ð ˜&Ÿ.™.Ð)Ø# V§Z¡ZÐ0Ø$ f§j¡jÐ1Ø# V§^¡^Ð4Ø)¨6¯:©:Ð6ð �T—_‘_Ð%Ø Ð-ð[.
ð0�Fr�   N)rn   Úpygments.lexerr   r   Úpygments.tokenr   r   r   r   r	   r
   r   Ú__all__r   r€   r�   r‚   ú<module>r†      s3   ðñ÷ -÷÷ ñ ð ˆ.€ô<�õ <r�   