标签:sam default mod logs rar size nta 完成 level
void dom(Home home, const IntVarArgs& x, const IntVarArgs& d, IntPropLevel) { using namespace Int; if (x.size() != d.size()) throw ArgumentSizeMismatch("Int::dom"); for (int i=x.size(); i--; ) { GECODE_POST; IntView xv(x[i]), dv(d[i]); if (!same(xv,dv)) { ViewRanges<IntView> r(dv); GECODE_ME_FAIL(xv.inter_r(home,r,false)); } } }
标签:sam default mod logs rar size nta 完成 level
原文地址:http://www.cnblogs.com/crax/p/7471832.html