K i XdZddlmZmZddlmZmZmZmZm Z m Z m Z dgZ GddeZ y)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. ) RegexLexerwords)CommentKeywordNameNumberOperator PunctuationText NuSMVLexerceZdZdZdZdgZdgZgZdZdZ dde fd e fe d d e jfd e fe dd e jfe dd e fe dd ej fe dd ej$fe dd e j&fdej(fdefdefdej,fdej.fdej0fdej2fdej4fdej8fdefgiZy)r z' Lexer for the NuSMV language. NuSMVnusmvz*.smvzhttps://nusmv.fbk.euz2.2rootz(?s)\/\-\-.*?\-\-/z--.*\n)"MODULEDEFINEMDEFINE CONSTANTSVARIVAR FROZENVARINITTRANSINVARSPECCTLSPECLTLSPECPSLSPECCOMPUTENAME INVARSPECFAIRNESSJUSTICE COMPASSIONISAASSIGN CONSTRAINTSIMPWFFCTLWFFLTLWFFPSLWFFCOMPWFFINMINMAXMIRRORPRED PREDICATESz (?![\w$#-]))suffixzprocess(?![\w$#-]))arrayofbooleanintegerrealword)caseesac)word1boolsignedunsignedextendresizesizeofuwconstswconstinitselfcountabsmaxmin)EXAXEFAFEGAGEFOGHXYZAUSVTBUEBFABFEBGABGnextmodunioninxorxnor)TRUEFALSEz[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__namealiases filenames mimetypesurl version_addedrrr DeclarationTyperBuiltinr WordConstantVariablerIntegerBinOctDecimalHexr Whitespacer tokensY/mnt/ssd/data/python-lab/Trading/venv/lib/python3.12/site-packages/pygments/lexers/smv.pyr r sr DiG II CM  "G ,  " +9 :  "#G , H(*+2<< 9 #N ;W E )1?A\\ %34   $^ N>N O"4== 1H  h '&.. ) #VZZ 0 $fjj 1 #V^^ 4 )6:: 6T__ %  -[. 0FrN)rnpygments.lexerrrpygments.tokenrrrrr r r __all__r rrrrs3- .<<r