Re: [eclipse-clp-users] Bug in lex_lt with occurrences?

From: Kish Shen <kisshen_at_...5...>
Date: Fri, 25 Jan 2013 19:34:44 +0000
On 25/01/2013 18:52, Kish Shen wrote:

> constraint X #> Y should be posted for the last elements of lex_lt(Xs,
> Ys) [if Xs and Ys are the same length].

Sorry, I should have been more careful and checked this before posting: 
the constraint should be

X #< Y

rather than X #> Y.
Received on Fri Jan 25 2013 - 19:34:51 CET

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2024 - 18:13:20 CET