The local deterministic choice operator s1 <+ s2 first tries to apply the strategy s1. If that fails, it applies s2.

If the EvaluationOrder does not matter one can use the NonDeterministicChoice operator +.

-- EelcoVisser - 17 Mar 2002

---

StrategoGlossary