[gecode-users] Why are my variables not constrained

[Max]

Thank you very much, it now works as intended. Great !
I hope i will get along with the documentation, it is hard to find 
things like tt or eqv or the function how to branch manually or something.
I will keep annoying you if i have further questions.
Thank you all for the help.

Best regards.
Max


Guido Tack wrote:
> Max wrote:
>
>   
>> Furthermore the constraint is never applied.
>>
>> x(this,3,0,1500)
>>
>>
>> post(this, eqv((x[0] > x[1] + 30), y));
>>     
>
> Sorry, I just realized a problem with this statement... It should  
> rather read
>
> post(this, tt( eqv((x[0] > x[1] + 30), y)) );
>
> Otherwise, the post statement returns a BoolVar that is constrained to  
> the truth value of the equivalence.  Unfortunately, gcc doesn't warn  
> about the ignored return value (I don't know about Microsoft cl)!
>
> Please try again.  Btw, you don't have to use status() if you already  
> use a search engine.  Only when you want to trigger propagation  
> yourself, e.g. to inspect the variable domains after posting all the  
> constraints.
>
> Cheers,
> 	Guido
>
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
>
>