[gecode-users] Documentation question

[Guido Tack]

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,
>
> 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 error from the compiler saying that such a  
> function does not exist:
>
>  error: no matching function for call to 'rel(GdPIPSolver&,  
> Gecode::SetOpType, Gecode::SetVarArray&, Gecode::SetRelType,  
> Gecode::SetVar&)'
>
> The line in my code producing the error is:
>
> rel(*this,SOT_UNION,supliers,SRT_SUB,nT);
>
> being suppliers the array of set variables and nT a set variable.
>
> When I open the documentation (the part linked from the first  
> paragraph of the section 5.2.3) I notice that the only methods that  
> take a SetOpType as a second parameter are:
>
> void 	Gecode::rel (Space &home, SetOpType op, const SetVarArgs &x,  
> SetVar y)
>  	Post propagator for $ y = \diamond_{\mathit{op}} x$.
> void 	Gecode::rel (Space &home, SetOpType op, const SetVarArgs &x,  
> const IntSet &z, SetVar y)
>  	Post propagator for $ y = \diamond_{\mathit{op}} x  
> \diamond_{\mathit{op}} z$.
>
> Which of course do not match with the documented function. Am I  
> missing something?, probably I am looking at the wrong place an is  
> an stupid mistake.
>
>
> Regards,
> Gustavo
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users