[gecode-users] Bug in TupleSet?
michal.dobrogost at gmail.com
Fri Dec 19 17:26:07 CET 2008
>> 1) Is a tupleSet shared if it is used as part of multiple extensional()
> 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.
More information about the gecode-users