摘要: 这个类只是个基类,并没有实现什么,主要作用是给子类提供统一的接口 阅读全文
posted @ 2017-09-02 12:45 crax 阅读(271) 评论(0) 推荐(0) 编辑
摘要: gecode中变量比较,如是否包括等是放在reltest这个文件中,代码很简单,需要注意的就是dom中能中间因为hole被分隔成为很多个部份,所以这里需要通过形如ViewRanges<VX> rx(x);进行遍历,需要下一个时直接++rx; 阅读全文
posted @ 2017-09-02 12:40 crax 阅读(193) 评论(0) 推荐(0) 编辑