U
    YSh
                     @   sR   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 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                   @   s   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dejfdefedddejfedddefedddejfedddejfed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)"MODULEZDEFINEZMDEFINEZ	CONSTANTSZVARZIVARZ	FROZENVARZINITZTRANSZINVARZSPECZCTLSPECZLTLSPECZPSLSPECZCOMPUTENAMEZ	INVARSPECZFAIRNESSZJUSTICEZ
COMPASSIONZISAZASSIGNZ
CONSTRAINTZSIMPWFFZCTLWFFZLTLWFFZPSLWFFZCOMPWFFINZMINMAXZMIRRORZPREDZ
PREDICATESz(?![\w$#-]))suffixzprocess(?![\w$#-]))arrayZofbooleanintegerrealword)caseZesac)Zword1boolsignedZunsignedextendresizeZsizeofZuwconstZswconstinitselfcountabsmaxmin)ZEXZAXZEFZAFZEGZAGEFOGHXYZAUSVTZBUZEBFZABFZEBGZABGnextmodunioninxorZ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 rO   rO   F/root/rtd-docs/venv/lib/python3.8/site-packages/pygments/lexers/smv.pyr      sZ   N)r;   Zpygments.lexerr   r   Zpygments.tokenr   r   r   r   r   r	   r
   __all__r   rO   rO   rO   rP   <module>   s   
$