nl.uu.cs.ape.parserSLTLx.sltlx2cnf.SLTLx.tokens Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of APE Show documentation

APE is a command line tool and an API for the automated exploration of possible computational pipelines (workflows) from large collections of computational tools.

There is a newer version: 2.3.0

Show newest version

T__0=1
T__1=2
T__2=3
T__3=4
BIN_CONNECTIVE=5
UN_MODAL=6
BIN_MODAL=7
TRUE=8
LPAREN=9
RPAREN=10
VARIABLE=11
CONSTANT=12
R_REL=13
SLTL_UNTIL=14
SLTL_GLOBALLY=15
SLTL_FINALLY=16
SLTL_NEXT=17
OR=18
AND=19
IMPL=20
EQUIVALENT=21
EQUAL=22
NOT=23
EXISTS=24
FORALL=25
ENDLINE=26
WHITESPACE=27
'<'=1
'>'=2
','=3
';'=4
'true'=8
'('=9
')'=10
'R'=13
'U'=14
'G'=15
'F'=16
'X'=17
'|'=18
'&'=19
'->'=20
'<->'=21
'='=22
'!'=23
'Exists'=24
'Forall'=25