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


Revision: r1.1 - 17 Mar 2002 - 22:25 - EelcoVisser
Stratego > StrategoGlossary > DeterministicChoice
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback