[gecode-users] Bug in TupleSet?

[Michal D.]

>> 1) Is a tupleSet shared if it is used as part of multiple extensional()
>> constraints?
>
> Yes, it is.
>
>> 2) Do the unneeded tuples in a given extensional() constraint get discarded at
>> some point? Ie. is it ok to have extra values that will be dropped on the first
>> propagation or will they stay on as runtime overhead forever?
>
> The set of tuples in a tuple set will always be the same, so including
> tuples that will never be solutions anyway will generate an overhead.
> For values of variables, extra values do not generate any overhead.
>

Thanks Mikael!