YBFj `dZddlmZmZddlmZmZmZmZm Z m Z m Z dgZ GddeZ dS)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. ) RegexLexerwords)CommentKeywordNameNumberOperator PunctuationText NuSMVLexerceZdZdZdZdgZdgZgZdZdZ dde fd e fe d d e j fd e fe dd e jfe dd e fe dd ejfe dd ejfe dd e jfdejfdefdefdejfdejfdejfdejfdejfdejfdefgiZdS)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 tokensAC:\PYTHON\_runtimes\venv\Lib\site-packages\pygments/lexers/smv.pyr r s DiG II CM  "G ,  U" +9 :::  "#G , UH(***+2< 9 U#N ; ; ;W E U)1?AAA\ U%3444   U$^ < < N O"4= 1H  h '&. ) #VZ 0 $fj 1 #V^ 4 )6: 6T_ %  -[. 0FFFrN)rnpygments.lexerrrpygments.tokenrrrrr r r __all__r rrrrs-,,,,,,, .<<<<<<<<<<r