o a @sRdZddlmZmZddlmZmZmZmZm Z m Z m Z dgZ GdddeZ dS)z pygments.lexers.smv ~~~~~~~~~~~~~~~~~~~ Lexers for the SMV languages. :copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerwords)CommentKeywordNameNumberOperator PunctuationText NuSMVLexerc@seZdZdZdZdgZdgZgZddefdefe dd d e j fd e fe d d d e j fe d d d e fe dd d e jfe dd d ejfe dd d e jfde jfdefdefdejfdejfdejfdejfdejfdejfdefgiZdS)r zB Lexer for the NuSMV language. .. versionadded:: 2.2 NuSMVnusmvz*.smvrootz(?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 mimetypesrrr DeclarationTyperBuiltinrWordConstantVariablerIntegerBinOctDecimalHexr Whitespacer tokensr~r~5/usr/lib/python3/dist-packages/pygments/lexers/smv.pyr sXN)rlpygments.lexerrrpygments.tokenrrrrrr r __all__r r~r~r~rs  $