e.aic-expresso.aic-expresso.1.3.0.source-code.AntlrGrinder.tokens Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of aic-expresso Show documentation

SRI International's AIC Symbolic Manipulation and Evaluation Library (for Java 1.8+)

There is a newer version: 1.3.3

NOT=1
AND=2
OR=3
FOR=4
ALL=5
THERE=6
EXISTS=7
LAMBDA=8
IF=9
THEN=10
ELSE=11
INTERSECTION=12
UNION=13
ON=14
IN=15
VALUE=16
OF=17
PREVIOUS=18
MESSAGE=19
NEIGHBORS=20
VARIABLE=21
FACTOR=22
TO=23
FROM=24
CARTESIAN_PRODUCT=25
FUNCTION_TYPE=26
IMPLICATION=27
BICONDITIONAL=28
EXPONENTIATION=29
DIVIDE=30
TIMES=31
INTEGER_INTERVAL=32
PLUS=33
SUBTRACT=34
LESS_THAN=35
LESS_THAN_EQUAL=36
EQUAL=37
NOT_EQUAL=38
GREATER_THAN_EQUAL=39
GREATER_THAN=40
OPEN_PAREN=41
CLOSE_PAREN=42
OPEN_SQUARE=43
CLOSE_SQUARE=44
OPEN_CURLY=45
CLOSE_CURLY=46
OPEN_DOUBLE_CURLY=47
CLOSE_DOUBLE_CURLY=48
COLON=49
VERT_BAR=50
COMMA=51
UNDERSCORE=52
PERIOD=53
RATIONAL=54
SYMBOLIC_NAME=55
COMMENT=56
LINE_COMMENT=57
WS=58
'not'=1
'and'=2
'or'=3
'for'=4
'all'=5
'there'=6
'exists'=7
'lambda'=8
'if'=9
'then'=10
'else'=11
'intersection'=12
'union'=13
'on'=14
'in'=15
'value'=16
'of'=17
'previous'=18
'message'=19
'neighbors'=20
'variable'=21
'factor'=22
'to'=23
'from'=24
'x'=25
'->'=26
'=>'=27
'<=>'=28
'^'=29
'/'=30
'*'=31
'..'=32
'+'=33
'-'=34
'<'=35
'<='=36
'='=37
'!='=38
'>='=39
'>'=40
'('=41
')'=42
'['=43
']'=44
'{'=45
'}'=46
'{{'=47
'}}'=48
':'=49
'|'=50
','=51
'_'=52
'.'=53