[gecode-users] inter_r with views of vars in different spaces

[Denys Duchier]

Guido Tack <tack at ps.uni-sb.de> writes:

> Denys Duchier wrote:
>
>> is it possible to use inter_r with IntViews of 2 vars each in a
>> different space?
>
> Do you mean something like:
>
> IntViewRanges i2r(i2);
> i1.inter_r(home, i2r);
>
> where i1 and i2 are from different spaces? That's possible.

yes, that's exactly what I meant.  I wasn't sure whether that was
compatible with the space-local memory management.

Thanks,

--Denys