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
