e.aic-praise.aic-praise.1.3.0.source-code.Church.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

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
DEFINE=12
QUOTE=13
LAMBDA=14
IF=15
AND=16
OR=17
NOT=18
MEM=19
FLIP=20
NUM_2=21
NUM_8=22
NUM_10=23
NUM_16=24
ELLIPSIS=25
VARIABLE=26
STRING=27
CHARACTER=28
TRUE=29
FALSE=30
SPACE=31
COMMENT=32
LINE_COMMENT=33
'('=1
'query'=2
')'=3
'condition'=4
'forall'=5
'.'=6
'\''=7
'`'=8
',@'=9
','=10
'#('=11
'define'=12
'quote'=13
'lambda'=14
'if'=15
'and'=16
'or'=17
'not'=18
'mem'=19
'flip'=20
'...'=25