ó
    öÞ jø
  ã                   óX   • S r SSKJrJr  SSKJrJrJrJrJ	r	J
r
Jr  S/r " S S\5      rg)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                   óÚ  • \ rS rSrSrSrS/rS/r/ rSr	Sr
SS	\4S
\4\" SSS9\R                  4S\4\" SSS9\R                  4\" SSS9\4\" SSS9\R"                  4\" SSS9\R&                  4\" SSS9\R(                  4S\R*                  4S\4S\4S\R.                  4S\R0                  4S\R2                  4S\R4                  4S\R6                  4S\R:                  4S\4/0rSr g) 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__Ú__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__rl   ó    ÚM/var/www/html/gaurav/venv/lib/python3.13/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)rq   Úpygments.lexerr   r   Úpygments.tokenr   r   r   r   r	   r
   r   Ú__all__r   rl   r†   r‡   Ú<module>r‹      s3   ðñ÷ -÷÷ ñ ð ˆ.€ô<�õ <r†   