Tuesday, October 1, 2002 01:31 PM
My parser uses several rules expressed in the format
A : (X AND Y AND Z) | (X AND Z AND Y) | (Y AND X AND Z)...
where the general constraint is that tokens X, Y, and Z must exist exactly once, but in any order.
Is there a better way to express this constraint?