e.aic-praise.aic-praise.1.3.0.source-code.HOGM.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
CONSTANT=13
RANDOM=14
X=15
IN=16
IN_BUILT_SORT_BOOLEAN=17
IN_BUILT_SORT_INTEGER=18
IN_BUILT_SORT_REAL=19
IN_BUILT_SORT_STRING=20
IMPLICATION=21
BICONDITIONAL=22
EXPONENTIATION=23
DIVIDE=24
TIMES=25
PLUS=26
SUBTRACT=27
LESS_THAN=28
LESS_THAN_EQUAL=29
EQUAL=30
NOT_EQUAL=31
GREATER_THAN_EQUAL=32
GREATER_THAN=33
OPEN_PAREN=34
CLOSE_PAREN=35
SEMICOLON=36
COLON=37
COMMA=38
VERTICAL_BAR=39
MAPPING_RIGHT_ARROW=40
RANGE_SEPARTOR=41
INTEGER=42
RATIONAL=43
CONSTANT_STR=44
QUOTED_CONSTANT_STR=45
COMMENT=46
LINE_COMMENT=47
WS=48
'not'=1
'and'=2
'or'=3
'for'=4
'all'=5
'there'=6
'exists'=7
'if'=8
'then'=9
'else'=10
'sort'=11
'Unknown'=12
'constant'=13
'random'=14
'x'=15
'in'=16
'Boolean'=17
'Integer'=18
'Real'=19
'String'=20
'=>'=21
'<=>'=22
'^'=23
'/'=24
'*'=25
'+'=26
'-'=27
'<'=28
'<='=29
'='=30
'!='=31
'>='=32
'>'=33
'('=34
')'=35
';'=36
':'=37
','=38
'|'=39
'->'=40
'..'=41