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

[Denys Duchier]

"Christian Schulte" <cschulte at kth.se> writes:

> 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.

Thank you, Christian,

this is the sort of high level design principle that I miss most in the
current documentation.  My major problem with this existing
documentation is that it does not offer a "big picture"; and, lacking
that, gecode is a lot like "adventure" (and all you young people, keep
quiet ;-), "a maze of twisty little passages all alike", but without the
fun ('cause I don't have the time anymore, unfortunately).

Is it foolish to imagine that a L3 or M1 student (or whatever the
corresponding levels are in Sweden) could start a wiki documenting (1)
design principles, and (2) case uses?  I would be so greatful.

... if this is stupid... just ignore me

Cheers,

--Denys