C++ (Cpp) Space::failの例

コード例 #1

ファイル: dom.cpp プロジェクト: Wushaowei001/cprelmaster

 void exclude(Gecode::Space& home, CPRelVar A, GRelation r) {
   if (home.failed()) return;
   if (r.arity() != A.arity())
     throw ArityMissmatch("Exclude constraint");
   CPRelView a(A);
   auto me = a.exclude(home,r);
   if (me == Gecode::ES_FAILED) {
     home.fail();
   }
 }

コード例 #2

ファイル: dom.cpp プロジェクト: YoshihisaMaruya/tool_test_chef

 /// Post constraint on \a x
 virtual void post(Gecode::Space& home, Gecode::IntVarArray&) {
   home.fail();
 }

コード例 #3

ファイル: exec.cpp プロジェクト: Wushaowei001/omnibus

 /// Then-function to be executed
 static void t(Gecode::Space& home) {
   home.fail();
 }