qecode: /Users/jamian/qecode-1.1/qecode/myDom.cc Source File

00001 
00002 #ifndef myDom
00003 #define myDom
00004 #include "gecode/minimodel.hh"
00005 using namespace Gecode;
00006 using namespace Gecode::Int;
00007 using namespace std;
00008 
00009 void antidom(Space* home, IntVar x, const IntSet& is, IntConLevel) {
00010     if (home->failed()) return;
00011     IntView xv(x);
00012     IntSetRanges ris(is);
00013     GECODE_ME_FAIL(home,xv.minus(home,ris));
00014 }
00015 
00016 
00017 #endif