[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