ogicng-parser-j8.2.6.0.source-code.LogicNGPropositional.tokens Maven / Gradle / Ivy
VARIABLE=1
TRUE=2
FALSE=3
LBR=4
RBR=5
NOT=6
AND=7
OR=8
IMPL=9
EQUIV=10
WS=11
'$true'=2
'$false'=3
'('=4
')'=5
'~'=6
'&'=7
'|'=8
'=>'=9
'<=>'=10
VARIABLE=1
TRUE=2
FALSE=3
LBR=4
RBR=5
NOT=6
AND=7
OR=8
IMPL=9
EQUIV=10
WS=11
'$true'=2
'$false'=3
'('=4
')'=5
'~'=6
'&'=7
'|'=8
'=>'=9
'<=>'=10