[antlr-interest] Simple Rewrite Rule

Stephan Opfer stephan.opfer at gmx.net
Thu May 10 04:49:02 PDT 2012


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,

More information about the antlr-interest mailing list