Synonym for the DeterministicChoice operator =<+=.

-- Main.EelcoVisser - 17 Mar 2002 <br />
-----
CategoryGlossary | StrategoGlossary