Added the guarded left choice operator
s1 < s2 + s3
, which commits to its choice after
s1
has succeeded.
--
EelcoVisser
- 27 Jan 2002
StrategoRelease07
Revision: r1.1 - 27 Jan 2002 - 14:42 -
EelcoVisser
Stratego
>
StrategoGlossary
>
GuardedLeftChoice
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