Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $
You can buy this project and download/modify it how often you want.
ogicng-parser-j8.2.6.0.source-code.LogicNGPropositional.interp Maven / Gradle / Ivy
token literal names:
null
null
'$true'
'$false'
'('
')'
'~'
'&'
'|'
'=>'
'<=>'
null
token symbolic names:
null
VARIABLE
TRUE
FALSE
LBR
RBR
NOT
AND
OR
IMPL
EQUIV
WS
rule names:
formula
constant
simp
lit
conj
disj
impl
equiv
atn:
[3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 3, 13, 100, 4, 2, 9, 2, 4, 3, 9, 3, 4, 4, 9, 4, 4, 5, 9, 5, 4, 6, 9, 6, 4, 7, 9, 7, 4, 8, 9, 8, 4, 9, 9, 9, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 5, 2, 25, 10, 2, 3, 3, 3, 3, 3, 3, 3, 3, 5, 3, 31, 10, 3, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 5, 4, 43, 10, 4, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 5, 5, 52, 10, 5, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 7, 6, 60, 10, 6, 12, 6, 14, 6, 63, 11, 6, 3, 6, 3, 6, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 7, 7, 73, 10, 7, 12, 7, 14, 7, 76, 11, 7, 3, 7, 3, 7, 3, 8, 3, 8, 3, 8, 3, 8, 3, 8, 3, 8, 5, 8, 86, 10, 8, 3, 8, 3, 8, 3, 9, 3, 9, 3, 9, 3, 9, 3, 9, 3, 9, 5, 9, 96, 10, 9, 3, 9, 3, 9, 3, 9, 2, 2, 10, 2, 4, 6, 8, 10, 12, 14, 16, 2, 2, 2, 100, 2, 24, 3, 2, 2, 2, 4, 30, 3, 2, 2, 2, 6, 42, 3, 2, 2, 2, 8, 51, 3, 2, 2, 2, 10, 53, 3, 2, 2, 2, 12, 66, 3, 2, 2, 2, 14, 79, 3, 2, 2, 2, 16, 89, 3, 2, 2, 2, 18, 19, 7, 2, 2, 3, 19, 25, 8, 2, 1, 2, 20, 21, 5, 16, 9, 2, 21, 22, 7, 2, 2, 3, 22, 23, 8, 2, 1, 2, 23, 25, 3, 2, 2, 2, 24, 18, 3, 2, 2, 2, 24, 20, 3, 2, 2, 2, 25, 3, 3, 2, 2, 2, 26, 27, 7, 4, 2, 2, 27, 31, 8, 3, 1, 2, 28, 29, 7, 5, 2, 2, 29, 31, 8, 3, 1, 2, 30, 26, 3, 2, 2, 2, 30, 28, 3, 2, 2, 2, 31, 5, 3, 2, 2, 2, 32, 33, 7, 3, 2, 2, 33, 43, 8, 4, 1, 2, 34, 35, 5, 4, 3, 2, 35, 36, 8, 4, 1, 2, 36, 43, 3, 2, 2, 2, 37, 38, 7, 6, 2, 2, 38, 39, 5, 16, 9, 2, 39, 40, 7, 7, 2, 2, 40, 41, 8, 4, 1, 2, 41, 43, 3, 2, 2, 2, 42, 32, 3, 2, 2, 2, 42, 34, 3, 2, 2, 2, 42, 37, 3, 2, 2, 2, 43, 7, 3, 2, 2, 2, 44, 45, 7, 8, 2, 2, 45, 46, 5, 8, 5, 2, 46, 47, 8, 5, 1, 2, 47, 52, 3, 2, 2, 2, 48, 49, 5, 6, 4, 2, 49, 50, 8, 5, 1, 2, 50, 52, 3, 2, 2, 2, 51, 44, 3, 2, 2, 2, 51, 48, 3, 2, 2, 2, 52, 9, 3, 2, 2, 2, 53, 54, 5, 8, 5, 2, 54, 61, 8, 6, 1, 2, 55, 56, 7, 9, 2, 2, 56, 57, 5, 8, 5, 2, 57, 58, 8, 6, 1, 2, 58, 60, 3, 2, 2, 2, 59, 55, 3, 2, 2, 2, 60, 63, 3, 2, 2, 2, 61, 59, 3, 2, 2, 2, 61, 62, 3, 2, 2, 2, 62, 64, 3, 2, 2, 2, 63, 61, 3, 2, 2, 2, 64, 65, 8, 6, 1, 2, 65, 11, 3, 2, 2, 2, 66, 67, 5, 10, 6, 2, 67, 74, 8, 7, 1, 2, 68, 69, 7, 10, 2, 2, 69, 70, 5, 10, 6, 2, 70, 71, 8, 7, 1, 2, 71, 73, 3, 2, 2, 2, 72, 68, 3, 2, 2, 2, 73, 76, 3, 2, 2, 2, 74, 72, 3, 2, 2, 2, 74, 75, 3, 2, 2, 2, 75, 77, 3, 2, 2, 2, 76, 74, 3, 2, 2, 2, 77, 78, 8, 7, 1, 2, 78, 13, 3, 2, 2, 2, 79, 80, 5, 12, 7, 2, 80, 85, 8, 8, 1, 2, 81, 82, 7, 11, 2, 2, 82, 83, 5, 14, 8, 2, 83, 84, 8, 8, 1, 2, 84, 86, 3, 2, 2, 2, 85, 81, 3, 2, 2, 2, 85, 86, 3, 2, 2, 2, 86, 87, 3, 2, 2, 2, 87, 88, 8, 8, 1, 2, 88, 15, 3, 2, 2, 2, 89, 90, 5, 14, 8, 2, 90, 95, 8, 9, 1, 2, 91, 92, 7, 12, 2, 2, 92, 93, 5, 16, 9, 2, 93, 94, 8, 9, 1, 2, 94, 96, 3, 2, 2, 2, 95, 91, 3, 2, 2, 2, 95, 96, 3, 2, 2, 2, 96, 97, 3, 2, 2, 2, 97, 98, 8, 9, 1, 2, 98, 17, 3, 2, 2, 2, 10, 24, 30, 42, 51, 61, 74, 85, 95]
