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

From: Kish Shen <kisshen_at_cisco.com>
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 message: [ Message body ]
Next message: Basile Starynkevitch: "[eclipse-clp-users] compilation issues of Eclipse_6.1_135 on Debian/x86-66/Sid..."
Previous message: Kish Shen: "Re: [eclipse-clp-users] Bug in lex_lt with occurrences?"
In reply to: Kish Shen: "Re: [eclipse-clp-users] Bug in lex_lt with occurrences?"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

This archive was generated by hypermail 2.2.0 : Wed Jan 30 2013 - 06:13:42 CET