Re: [Choco-users] Iterators and removal

[Malcolm R. <mal...@cs...>]

On 15/10/2007, at 7:48 PM, Hadrien Cambazard wrote:

> Yes, I would say that this code is safe.
> You can remove value while iterating just like for Integer  
> variables if I remember well.
> Did you got any problems while doing that ?

I was just checking. Many java iterators are not safe to use in this  
way. (Or perhaps that was just true in older versions of the JDK.)

> Please, keep in mind that SetVar just like RealVar are more  
> examples of how to extend choco than real kernels for set and  
> continous variables. We are typically not using them ourselves yet.  
> This should change soon for continous variables but set variables  
> are not the next priority.

Does that mean that they have not been thoroughly tested, or just  
that they haven't been highly optimised?

I'm in the process of writing constraints representing the subset  
relationship and set partitioning.

> I hope, you manage to reach your goals with choco despite our lack  
> of reactivity !

Thanks, but I sadly think I'm going to need to look for a better  
documented system, or else I'm going to spend all my time trying to  
decipher your code rather than working on my problem. Are there any  
other constraint programming systems you would recommend? The  
features I particularly need are:

1) Integer variables, with equality and comparison and basic arithmetic
2) Set variables over integers, with membership, subset,  
intersection, union etc
3) Boolean combinations of constraints, (disjuction, equivalence,  
implication, negation)

I'm looking for a system that is not too much of a nightmare to  
debug. I've tried ECLiPSe prolog, but visualisation and debugging in  
Prolog is pretty awful. Java is my programming language of choice.

Malcolm

--
"The modern man in revolt has become
           practically useless for all purposes of revolt.
By rebelling against everything
           he has lost his right to rebel against anything."
                                                    - G.K.Chesterton,  
Orthodoxy