Commit a730de1d authored by Alexander Weigl's avatar Alexander Weigl

function rule

parent 5aa118ac
Pipeline #15283 failed with stages
in 1 minute and 15 seconds
...@@ -59,6 +59,7 @@ expression ...@@ -59,6 +59,7 @@ expression
| expression IMP expression #exprIMP | expression IMP expression #exprIMP
//| expression EQUIV expression already covered by EQ/NEQ //| expression EQUIV expression already covered by EQ/NEQ
| expression LBRACKET substExpressionList RBRACKET #exprSubst | expression LBRACKET substExpressionList RBRACKET #exprSubst
| ID LPAREN (expression (',' expression)*)? RPAREN #function
| MINUS expression #exprNegate | MINUS expression #exprNegate
| NOT expression #exprNot | NOT expression #exprNot
| LPAREN expression RPAREN #exprParen | LPAREN expression RPAREN #exprParen
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment