
    Mh
                     `    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dS )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                      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j        fdej        fdej        fdej        fdefgiZdS )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     S/var/www/html/test/jupyter/venv/lib/python3.11/site-packages/pygments/lexers/smv.pyr   r      s         DiG	II
 CM 	"G,  U " +9: : :  " #G,UH(* * *+2<9U#N;;;WEU )1?A A A \ U  %34 4 4 	
 U$^<<<g>NO "4=1 Hh' &.)#VZ0$fj1#V^4)6:6 T_%-[.
0FFFr   N)rn   pygments.lexerr   r   pygments.tokenr   r   r   r   r	   r
   r   __all__r   r   r   r   <module>r      s     - , , , , , , ,                  .< < < < < < < < < <r   