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.
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
