ATLLexer.tokens

T__0=1
T__1=2
T__2=3
T__3=4
T__4=5
T__5=6
T__6=7
T__7=8
T__8=9
T__9=10
T__10=11
T__11=12
T__12=13
T__13=14
T__14=15
T__15=16
T__16=17
T__17=18
T__18=19
T__19=20
T__20=21
T__21=22
T__22=23
T__23=24
ATOM=25
WS=26
'!'=1
'not'=2
'next'=3
'X'=4
'eventually'=5
'F'=6
'always'=7
'G'=8
'until'=9
'U'=10
'release'=11
'R'=12
'&&'=13
'and'=14
'||'=15
'or'=16
'->'=17
'implies'=18
'<'=19
'>'=20
'['=21
']'=22
'('=23
')'=24