+
    JV-jø
  ã                   óZ   € R t ^ RIHtHt ^ RIHtHtHtHtH	t	H
t
Ht R.t ! R R]4      tR# )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                   ó   € ] tR t^tRtRtR.tR.t. tRt	Rt
RR]3R	]3]! RR
R7      ]P                  3R]3]! RR
R7      ]P                  3]! RR
R7      ]3]! RR
R7      ]P"                  3]! RR
R7      ]P&                  3]! RR
R7      ]P(                  3R]P*                  3R]3R]3R]P.                  3R]P0                  3R]P2                  3R]P4                  3R]P6                  3R]P:                  3R]3./tRt R# )r   z
Lexer for the NuSMV language.
ÚNuSMVÚnusmvz*.smvzhttps://nusmv.fbk.euz2.2Úrootz(?s)\/\-\-.*?\-\-/z--.*\nz(?![\w$#-]))Úsuffixzprocess(?![\w$#-])z[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)"Ú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Ú
PREDICATES)Ú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ÚFALSE)!Ú__name__Ú
__module__Ú__qualname__Ú__firstlineno__Ú__doc__ÚnameÚaliasesÚ	filenamesÚ	mimetypesÚurlÚversion_addedr   r   r   ÚDeclarationÚTyper   ÚBuiltinr   ÚWordÚConstantÚVariabler   ÚIntegerÚBinÚOctÚDecimalÚHexr
   Ú
Whitespacer	   ÚtokensÚ__static_attributes__r   ó    Úd/Volumes/fast/ai/experiments/ui-tars-smoke/.venv/lib/python3.14/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)ro   Úpygments.lexerr   r   Úpygments.tokenr   r   r   r   r   r	   r
   Ú__all__r   r   r„   r…   Ú<module>r‰      s3   ðñ÷ -÷÷ ñ ð ˆ.€ô<�ö <r„   