+
    TBi
                     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-2025 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       8/usr/lib/python3.14/site-packages/pygments/lexers/smv.pyr   r      sr    DiG	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' &..)#VZZ0$fjj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   