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 =+=. -- Main.EelcoVisser - 17 Mar 2002
----- StrategoGlossary