[Gecode] ConLevel args

[Patrick P.]

Hi there, 
Sorry for that discussion about the ConLevel arguments. I just
reinserted them again and post the Bound Consistent Version.
 
Does anybody has a hint for me about the Distinct-prop and its
Bound-consistent version???
As soon as i'm using explicitly distinct("current space", "current
vars", CL_BND) or
even the Distinct::Bnd<Var>::post("space","vars") i'm always getting a
segmentation fault for
 
VALGRIND:
 
Invalid write of size 4 --> in function
Distinct::Bnd<IntVar>::propagate(Space*)
 
Is it the wrong way of using it?
 
Thx so far
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20040924/ae752d7c/attachment.htm>