Ë —›‘ŸÕÂãóX—dZddlmZmZddlmZmZmZmZm Z m Z m Z dgZ Gd„de«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óî—eZdZdZdZdgZdgZgZddefdefe dd ¬ «e jfd e fe d d ¬ «e jfe d d ¬ «e fe dd ¬ «e jfe dd ¬ «ej fe dd ¬ «e j"fde j$fdefdefdej(fdej*fdej,fdej.fdej0fdej4fdefgiZy)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$#-]))Úsuffixzprocess(?![\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+\bz0[su][bB]\d*_[01_]+z0[su][oO]\d*_[0-7_]+z0[su][dD]\d*_[\d_]+z0[su][hH]\d*_[\da-fA-F_]+z\s+z[()\[\]{};?:.,]N)Ú__name__Ú __module__Ú __qualname__Ú__doc__ÚnameÚaliasesÚ filenamesÚ mimetypesrrrÚ DeclarationÚTyperÚBuiltinr ÚWordÚConstantÚVariablerÚIntegerÚBinÚOctÚDecimalÚHexr Ú Whitespacer Útokens©óú8/usr/lib/python3.12/site-packages/pygments/lexers/smv.pyr r sh„ñð €D؈i€GØ� €IØ€Ið à " GÐ ,Ø ˜Ð ñð"ð +9ô :ð× Ñ ð "ð# GÐ ,Ù ÐHØ(ô*Ø+2¯<©<ð 9á Ð#¨NÔ ;¸WÐ EÙ ð)à1?ôAð�\‰\ð ñðð%3ô4ð— ‘ ð  ñ Ð$¨^Ô <¸g×>NÑ>NÐ Oð" 4§=¡=Ð 1ð�HÐ Ø ˜hÐ 'ð˜&Ÿ.™.Ð )Ø # V§Z¡ZÐ 0Ø $ f§j¡jÐ 1Ø # V§^¡^Ð 4Ø )¨6¯:©:Ð 6ð�T—_‘_Ð %Ø  Ð -ð[. ð0�Fr�N)rnÚpygments.lexerrrÚpygments.tokenrrrrr r r Ú__all__r r€r�r‚Úr†s3ðñ÷-÷÷ñð ˆ.€ô<�õ<r�