e.aic-praise.aic-praise.1.3.0.source-code.RuleLexer.tokens Maven / Gradle / Ivy

Go to download

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

SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)

There is a newer version: 1.3.2

NOT=1
AND=2
OR=3
FOR=4
ALL=5
THERE=6
EXISTS=7
IF=8
THEN=9
ELSE=10
SORT=11
UNKNOWN=12
RANDOM=13
MAY=14
BE=15
SAME=16
AS=17
P=18
X=19
IMPLICATION=20
BICONDITIONAL=21
EXPONENTIATION=22
DIVIDE=23
TIMES=24
PLUS=25
SUBTRACT=26
EQUAL=27
NOT_EQUAL=28
OPEN_PAREN=29
CLOSE_PAREN=30
COLON=31
COLON_DASH=32
SEMICOLON=33
SINGLE_ARROW=34
VERT_BAR=35
COMMA=36
UNDERSCORE=37
PERIOD=38
INTEGER=39
RATIONAL=40
CONSTANT=41
QUOTED_CONSTANT=42
VARIABLE=43
COMMENT=44
LINE_COMMENT=45
WS=46
'not'=1
'and'=2
'or'=3
'for'=4
'all'=5
'there'=6
'exists'=7
'if'=8
'then'=9
'else'=10
'sort'=11
'Unknown'=12
'random'=13
'may'=14
'be'=15
'same'=16
'as'=17
'P'=18
'x'=19
'=>'=20
'<=>'=21
'^'=22
'/'=23
'*'=24
'+'=25
'-'=26
'='=27
'!='=28
'('=29
')'=30
':'=31
':-'=32
';'=33
'->'=34
'|'=35
','=36
'_'=37
'.'=38