随笔分类 -  gecode

gecode dom分析
摘要：这个其实很简单，都不用popagator，直接区域求交就完成了 void dom(Home home, const IntVarArgs& x, const IntVarArgs& d, IntPropLevel) { using namespace Int; if (x.size() != d.s 阅读全文
posted @ 2017-09-04 00:03 crax 阅读(206) 评论(0) 推荐(0)
gecode中自定义brancher
摘要：实际应用中，往往要比官方的示例复杂很多，这里对变量的选择等往往需要以自定义的方式进行选择，这个时候就需要自定义brancher，相关注释在代码中 commit函数在worker中被调用 阅读全文
posted @ 2017-09-03 18:01 crax 阅读(308) 评论(0) 推荐(0)