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

[Guido Tack]

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.

Cheers,
	Guido