Hi Gustavo,
sorry, the tutorial documentation was wrong. There is no support for
posting n-ary set operations with arbitrary relations. You have to
decompose by hand using an auxiliary variable. Thanks for pointing
this out!
Cheers,
Guido
Gustavo Gutiérrez wrote:
> Hello,
>
> I
You are quite right that the functions do not exist, this should be
fixed in the documentation.
To get the same effect, you could use a decomposition with a temporary
set variable:
{
SetVar tmp(*this, glb, lub);
rel(*this,SOT_UNION,supliers,SRT_SUB,tmp);
rel(*this, tmp,
Hello,
In the document "Modeling with Gecode", section 5.2.3 "Set operations"
you say that:
rel(home, SOT_UNION, x, SRT_SUP, y);
Enforces a union relation of all the elements of x (an array of set
variables) to be a subset of set variable y. When I tried to use this
constraint I got an e
