Hi Mikael, I tried to simplify my problem and then discovered that the reason for the strange behaviour was that i used the abs-propagator in a wrong way (B = abs(this,A) instead of abs(this,A,B) ). So it's working now :)
Anyway, thanks for your answers. Andrea 2009/3/17 Mikael Zayenz Lagerkvist <zay...@kth.se>: > Hi Andrea, > > I don't fully understand what you problem is. Could you perhaps send > some small example that exhibits the strange behaviour that you are > seeing? > > Cheers, > Mikael > > On Tue, Mar 17, 2009 at 2:00 PM, Andrea Rendl <andrea.re...@gmail.com> wrote: >> Hi all, >> >> I hope someone can help me with a problem with >> propagators on auxiliary variables - I couldn't find any >> related thread in the mailing list. >> >> In my problem class, I have one main decision variable >> array and a set of auxiliary variable arrays (IntVarArrays >> and BoolVarArrays). I post propagators on the main array, >> on both main array and aux arrays, and on the aux arrays. >> If I branch over the main array and the aux arrays, the >> corresponding solutions only comply with the propagators >> posted on the main array. However, if I branch over the >> aux-arrays only, then the solutions comply to all posted >> propagators. Is this normal? >> >> I thought by "linking" the aux-arrays and the main-array >> with propagators the propagators on aux-arrays will have >> an effect on the main array. >> >> I would be happy about any pointers from you :) >> >> Thanks, >> Andrea >> >> _______________________________________________ >> Gecode users mailing list >> us...@gecode.org >> https://www.gecode.org/mailman/listinfo/gecode-users >> > > > > -- > Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/ > _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
