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: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Denys Duchier Sent: Thursday, December 13, 2007 8:05 PM To: [EMAIL PROTECTED] Subject: Re: [gecode-users] inter_r with views of vars in different spaces Guido Tack <[EMAIL PROTECTED]> 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 [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
