15 lines
271 B
Plaintext
15 lines
271 B
Plaintext
|
grammar O;
|
||
|
|
||
|
WS: [ \n\t\r]+ -> skip;
|
||
|
|
||
|
expr:
|
||
|
'(' expr ')' # parenth
|
||
|
| '-' expr # log_neg
|
||
|
| expr op = '->' expr # log_impl
|
||
|
| expr op = '<->' expr # log_iff
|
||
|
| expr op = '|' expr # log_or
|
||
|
| expr op = '&' expr # log_and
|
||
|
| ATOM # atom;
|
||
|
|
||
|
ATOM: [a-z][a-zA-Z0-9]*;
|