Ë
    !täiø
  ã                   ó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-present 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Zd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j0                  fdej2                  fdej4                  fdej8                  fdefgiZy)r   z'
    Lexer for the NuSMV language.
    ÚNuSMVÚnusmvz*.smvzhttps://nusmv.fbk.euz2.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$#-]))Ú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Ú	mimetypesÚurlÚversion_addedr   r   r   ÚDeclarationÚTyper   ÚBuiltinr	   ÚWordÚConstantÚVariabler   ÚIntegerÚBinÚOctÚDecimalÚHexr   Ú
Whitespacer
   Útokens© ó    úb/Volumes/fast/ai/experiments/MLX_z-image/.venv/lib/python3.12/site-packages/pygments/lexers/smv.pyr   r      sr  „ ñð €DØˆi€GØ�	€IØ€IØ
 €CØ€Mð 	à" 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ƒ   