34 lines
2.7 KiB
Plaintext
34 lines
2.7 KiB
Plaintext
|
+
|
|||
|
|
<00> <0C>i<EFBFBD>
|
|||
|
|
<00> <00>Z <00> R t ^ RIHtHt ^ RIHtHtHtHtH t H
|
|||
|
|
t
|
|||
|
|
H t R.t ! R R]4 t
R# )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.
|
|||
|
|
)<02>
|
|||
|
|
RegexLexer<EFBFBD>words)<07>Comment<6E>Keyword<72>Name<6D>Number<65>Operator<6F> Punctuation<6F>Text<78>
|
|||
|
|
NuSMVLexerc <00> <00> ] tR t^tRtRtR.tR.t. tRt Rt
|
|||
|
|
RR] 3R ] 3] ! RR
|
|||
|
|
R 7 ]
P 3R ]
3] ! RR
|
|||
|
|
R 7 ]
P 3] ! RR
|
|||
|
|
R 7 ]
3] ! R R
|
|||
|
|
R 7 ]P" 3] ! R R
|
|||
|
|
R 7 ]P& 3] ! R R
|
|||
|
|
R 7 ]
P( 3R
]P* 3R]3R]3R]P. 3R]P0 3R]P2 3R]P4 3R]P6 3R] P: 3R] 3./t Rt R# ) r z
|
|||
|
|
Lexer for the NuSMV language.
|
|||
|
|
<EFBFBD>NuSMV<4D>nusmvz*.smvzhttps://nusmv.fbk.euz2.2<EFBFBD>rootz(?s)\/\-\-.*?\-\-/z--.*\nz (?![\w$#-]))<01>suffixzprocess(?![\w$#-])z[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[()\[\]{};?:.,]<5D> N)"<22>MODULE<4C>DEFINE<4E>MDEFINE<4E> CONSTANTS<54>VAR<41>IVAR<41> FROZENVAR<41>INIT<49>TRANS<4E>INVAR<41>SPEC<45>CTLSPEC<45>LTLSPEC<45>PSLSPEC<45>COMPUTE<54>NAME<4D> INVARSPEC<45>FAIRNESS<53>JUSTICE<43>
|
|||
|
|
COMPASSION<EFBFBD>ISA<53>ASSIGN<47>
|
|||
|
|
CONSTRAINT<EFBFBD>SIMPWFF<46>CTLWFF<46>LTLWFF<46>PSLWFF<46>COMPWFF<46>IN<49>MIN<49>MAX<41>MIRROR<4F>PRED<45>
|
|||
|
|
PREDICATES)<06>array<61>of<6F>boolean<61>integer<65>real<61>word)<02>case<73>esac)<0F>word1<64>bool<6F>signed<65>unsigned<65>extend<6E>resize<7A>sizeof<6F>uwconst<73>swconst<73>init<69>self<6C>count<6E>abs<62>max<61>min) <1E>EX<45>AX<41>EF<45>AF<41>EG<45>AG<41>E<>F<>O<>G<>H<>X<>Y<>Z<>A<>U<>S<>V<>T<>BU<42>EBF<42>ABF<42>EBG<42>ABG<42>next<78>mod<6F>union<6F>in<69>xor<6F>xnor)<02>TRUE<55>FALSE)!<21>__name__<5F>
|
|||
|
|
__module__<EFBFBD> __qualname__<5F>__firstlineno__<5F>__doc__<5F>name<6D>aliases<65> filenames<65> mimetypes<65>url<72>
version_addedr r r <00> Declaration<6F>Typer <00>Builtinr <00>Word<72>Constant<6E>Variabler <00>Integer<65>Bin<69>Oct<63>Decimal<61>Hexr
|
|||
|
|
<00>
|
|||
|
|
Whitespacer <00>tokens<6E>__static_attributes__r <00> <00>:/tmp/pip-target-qd_sq_1j/lib/python/pygments/lexers/smv.pyr r sr <00> <00><08> <13>D<EFBFBD><16>i<EFBFBD>G<EFBFBD><18> <09>I<EFBFBD><12>I<EFBFBD>
|
|||
|
|
<20>C<EFBFBD><19>M<EFBFBD> <0F>
"<22>G<EFBFBD> ,<2C>
<16><07> <20> <13> "<22> +9<>
:<3A> <15>
<20>
<20>
"<22> #<23>G<EFBFBD> ,<2C>
<12>H<>(<28>*<2A>+2<><<3C><<3C>
9<>
<12>#<23>N<EFBFBD>
;<3B>W<EFBFBD> E<>
<12> )<29>1?<3F>A<01> <12>\<5C>\<5C>
<1B> <13> <1C> %3<>4<> <19>
<0A>
<0A>
<1F>
|
|||
|
|
<13>$<24>^<5E>
<<3C>g<EFBFBD>>N<>>N<> O<> "<22>4<EFBFBD>=<3D>=<3D> 1<> <13>H<EFBFBD> <1D>
<1C>h<EFBFBD> '<27> <19>&<26>.<2E>.<2E> )<29>
#<23>V<EFBFBD>Z<EFBFBD>Z<EFBFBD> 0<>
$<24>f<EFBFBD>j<EFBFBD>j<EFBFBD> 1<>
#<23>V<EFBFBD>^<5E>^<5E> 4<>
)<29>6<EFBFBD>:<3A>:<3A> 6<> <14>T<EFBFBD>_<EFBFBD>_<EFBFBD> %<25>
<1F><1B> -<2D>[.
|
|||
|
|
<EFBFBD>0<06>Fr<46> N)ro <00>pygments.lexerr r <00>pygments.tokenr r r r r r r
|
|||
|
|
<00>__all__r r r<> r<> <00><module>r<> s3 <00><01><04> -<2D><16> <16> <16> <18>.<2E><07><<06><1A> <r<>
|