>> 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! _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
