[gecode-users] rtest_eq_dom doesnt lead to RT_TRUE !?!?!

[Guido Tack]

Sorry, I didn't read carefully enough.

In your case, rtest_eq_dom shouldn't return RT_TRUE but RT_FALSE (because of 
IRT_NQ). This is indeed a bug, thanks a lot for the hint! I have fixed it in 
the trunk.

Cheers,
	Guido

> ok... i see, the costs for "normal" domain propagation is high. but if i
> m right you are using several special cases during propagation too.
>
> also there exists already the function
> rtest_eq_dom(View x, int n)
>
> so why isnt it used for the special case that one of the variables is
> bound in the rtest_eq_dom(View x, View y) function? this would directly
> handle the problem using the fast bound or range handling.
>
> Thanks,
> Martin

-- 
Guido Tack
Programming Systems Lab, Saarland University, Germany
http://www.ps.uni-sb.de/~tack