[gecode-users] Difference between minus_r and nq

[mehdi m]

Hi everyone,
In the propagator implementation are the two following methods to remove values from domains equivalents ?
- method 1 :Int::ViewRanges<Int::IntView> r(x1);GECODE_ME_CHECK(x0.minus_r(home, r));
- method 2GECODE_ME_CHECK(x0.nq(home, val));
Or there is any difference ? I see that the first one takes a ViewRange and the second can takes an Int directly but what about correctness and efficiency of pruning ?
Thanks. 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20151110/8c05b0e8/attachment.html>