Re: [eclipse-users] Conditional jump out of loops

From: Kish Shen <kish.shen_at_...2...>
Date: Wed, 24 Jan 2007 20:33:56 +0000
On Wednesday 24 January 2007 20:02, Kish Shen wrote:
> 
> fromto(_,End,End, end) do .....
> 
> and in your loop body, when you want to terminate, you unify End with end, End = end.
> 
I should have been clearer about this: this will terminate the loop at the end of the current 
`iteration' of the loop, rather than immediately, i.e. all the goals in the loop body will be
executed.

Cheers,

Kish
 
Received on Wed Jan 24 2007 - 20:32:28 CET

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST