hu.bme.mit.theta.sts.dsl.gen.StsDsl.tokens Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of theta-sts Show documentation

Sts subproject in the Theta model checking framework

There is a newer version: 6.8.5

SPECIFICATION=1
CONST=2
VAR=3
PROPERTY=4
MODELS=5
GLOBALLY=6
SYSTEM=7
INVARIANT=8
INITIAL=9
TRANSITION=10
BOOLTYPE=11
INTTYPE=12
RATTYPE=13
IF=14
THEN=15
ELSE=16
IFF=17
IMPLY=18
FORALL=19
EXISTS=20
OR=21
AND=22
XOR=23
NOT=24
EQ=25
NEQ=26
LT=27
LEQ=28
GT=29
GEQ=30
PLUS=31
MINUS=32
MUL=33
DIV=34
MOD=35
REM=36
PERCENT=37
TRUE=38
FALSE=39
ASSIGN=40
HAVOC=41
ASSUME=42
INT=43
NAT=44
SIGN=45
DOT=46
ID=47
UNDERSCORE=48
DIGIT=49
LETTER=50
LPAREN=51
RPAREN=52
LBRACK=53
RBRACK=54
LBRAC=55
RBRAC=56
COMMA=57
COLON=58
SEMICOLON=59
QUOT=60
LARROW=61
RARROW=62
WS=63
COMMENT=64
LINE_COMMENT=65
'specification'=1
'const'=2
'var'=3
'property'=4
'models'=5
'G'=6
'system'=7
'invariant'=8
'initial'=9
'transition'=10
'bool'=11
'int'=12
'rat'=13
'if'=14
'then'=15
'else'=16
'equal'=17
'imply'=18
'forall'=19
'exists'=20
'or'=21
'and'=22
'xor'=23
'not'=24
'='=25
'/='=26
'<'=27
'<='=28
'>'=29
'>='=30
'+'=31
'-'=32
'*'=33
'/'=34
'mod'=35
'rem'=36
'%'=37
'true'=38
'false'=39
':='=40
'havoc'=41
'assume'=42
'.'=46
'_'=48
'('=51
')'=52
'['=53
']'=54
'{'=55
'}'=56
','=57
':'=58
';'=59
'\''=60
'<-'=61
'->'=62