Re: atmost/3

From: Warwick Harvey <wh_at_icparc.ic.ac.uk>
Date: Tue 12 Nov 2002 04:21:18 PM GMT
Message-ID: <20021112162118.I8457@tempest.icparc.ic.ac.uk>
Hi Tom,

When reporting problems, please tell us which version of ECLiPSe you are
using.  (Other information, such as operating system, etc. can also be
useful.)

On Tue, Nov 12, 2002 at 03:02:25PM +0000, Tom Kelsey wrote:
> Hi,
> 
> I'm trying to constrain how often a variable can be set to
> a value within a list of lists. The following code fragment returns
> 
> [1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, ...]
> [1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, ...]
> 
> whereas I want 
> 
> [1, 1, 1, 1, 2, 2, 2, 2, 3, 3, 3, ....]
> [1, 1, 1, 1, 2, 2, 2, 2, 3, 3, 3,  ...]
> 
> Any ideas?

Apparently ic_global:atmost/3 is buggy in 5.4 (the same problem affects
occurrences/3).  I had thought this bug was only present in the Summer
School release of ECLiPSe (a pre-5.5 version), but I was wrong.

It was fixed in the 5.5 development version shortly after the summer school;
you can download this fixed version from our web site.  We'll also look into
providing a fixed version of 5.4, but I can't tell you when that would be
available.

Cheers,
Warwick
Received on Tue Nov 12 16:21:49 2002

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:18 PM GMT GMT