[antlr-interest] Simple Rewrite Rule
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).
On May 10, 2012, at 7:49 AM, Stephan Opfer wrote:
> 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,
> 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