[antlr-interest] Simple Rewrite Rule
Stephen Siegel
siegel at udel.edu
Thu May 10 04:54:36 PDT 2012
f1=formula '->' f2=formula -> '!' $f1 OR $f2;
(but maybe you would rather have ^(OR ^(NOT $f1) f2) for your AST output).
-Steve
On May 10, 2012, at 7:49 AM, Stephan Opfer wrote:
> Hi,
>
> can somebody help me with my little problem? I want to say something
> like this:
>
> implication: formula '->' formula -> '!' formula OR formula;
>
> How do I identify the two different formulas?
>
> Best Regards,
> Stephan
>
> List: http://www.antlr.org/mailman/listinfo/antlr-interest
> Unsubscribe: http://www.antlr.org/mailman/options/antlr-interest/your-email-address
More information about the antlr-interest
mailing list