"" " for the SMV languages.for details."" " from pygments.lexer import RegexLexer, wordsfrom pygments.token import Comment, Keyword, Name, Number, Operator, \'NuSMVLexer' ]class NuSMVLexer(RegexLexer):"" " for the NuSMV language."" " 'NuSMV' 'nusmv' ]'*.smv' ]'https://nusmv.fbk.eu ' '2.2' 'root' : [# Comments '(?s)\/\-\-.*?\-\-/' , Comment),'--.*\n' , Comment),# Reserved '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' ,'PREDICATES' ), suffix=r'(?![\w$#-])'), 'process(?![\w$#-])', Keyword), 'array' , 'of' , 'boolean' , 'integer' , 'real' , 'word' ),'(?![\w$#-])'), Keyword.Type), 'case' , 'esac' ), suffix=r'(?![\w$#-])'), Keyword), 'word1' , 'bool' , 'signed' , 'unsigned' , 'extend' , 'resize' ,'sizeof' , 'uwconst' , 'swconst' , 'init' , 'self' , 'count' ,'abs' , 'max' , 'min' ), suffix=r'(?![\w$#-])'), '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' ), suffix=r'(?![\w$#-])'), 'TRUE' , 'FALSE' ), suffix=r'(?![\w$#-])'), Keyword.Constant), # Names '[a-zA-Z_][\w$#-]*', Name.Variable), # Operators ':=' , Operator),'[-&|+*/<>!=]' , Operator),# Literals '\-?\d+\b' , Number.Integer),'0[su][bB]\d*_[01_]+' , Number.Bin),'0[su][oO]\d*_[0-7_]+' , Number.Oct),'0[su][dD]\d*_[\d_]+' , Number.Decimal),'0[su][hH]\d*_[\da-fA-F_]+' , Number.Hex),# Whitespace, punctuation and the rest '\s+' , Text.Whitespace),'[()\[\]{};?:.,]' , Punctuation),quality 25%
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.3Angebot
¤ *Eine klare Vorstellung vom Zielzustand
