[gecode-users] propagators on auxiliary variables

[Andrea Rendl]

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 <zayenz at 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.rendl at 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
>> users at gecode.org
>> https://www.gecode.org/mailman/listinfo/gecode-users
>>
>
>
>
> --
> Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/
>