
    |e
                     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-2023 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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j0                  fdej4                  fdefgiZy)r   zB
    Lexer for the NuSMV language.

    .. versionadded:: 2.2
    NuSMVnusmvz*.smv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	mimetypesr   r   r   DeclarationTyper   Builtinr	   WordConstantVariabler   IntegerBinOctDecimalHexr   
Whitespacer
   tokens     5/usr/lib/python3/dist-packages/pygments/lexers/smv.pyr   r      sh    DiG	II 	"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)rn   pygments.lexerr   r   pygments.tokenr   r   r   r   r	   r
   r   __all__r   r   r   r   <module>r      s3    -   .< <r   