§
    XŠtjø
  ã                   ó`   — 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-present 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© ó    úQ/var/www/html/CA-Chatbot/venv/lib/python3.11/site-packages/pygments/lexers/smv.pyr   r      s«  € € € € € ðð ð €DØˆi€GØ�	€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Ð'ð ˜&œ.Ð)Ø# V¤ZÐ0Ø$ f¤jÐ1Ø# V¤^Ð4Ø)¨6¬:Ð6ð �T”_Ð%Ø Ð-ð[.
ð0€F€F€Frƒ   N)rn   Úpygments.lexerr   r   Úpygments.tokenr   r   r   r   r	   r
   r   Ú__all__r   r‚   rƒ   r„   ú<module>rˆ      sÀ   ððð ð -Ð ,Ð ,Ð ,Ð ,Ð ,Ð ,Ð ,ðð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ˆ.€ð<ð <ð <ð <ð <�ñ <ô <ð <ð <ð <rƒ   