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

[Christian Schulte]

On a more general level, performing "read" operations (anything that is
const) on a view or variable is independent of the space the view or
variable belongs to (the only thing not to be done is to delete the space).
Anything goes!

When performing a "write" operation (anything that is not const) one has to
use the space as argument to these operations to which the view or variable
belongs. That's all.

Christian

--
Christian Schulte, www.ict.kth.se/~cschulte/

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Denys Duchier
Sent: Thursday, December 13, 2007 8:05 PM
To: users at gecode.org
Subject: Re: [gecode-users] inter_r with views of vars in different spaces

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



_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users