Simple enable/disable test for floats

git-svn-id: file:///Volumes/GecodeGitMigration/gecode-svn-mirror/gecode/trunk@15217 e85b7adc-8362-4630-8c63-7469d557c915

Author: Christian Schulte

test/float.cpp

@@ -186,6 +186,17 @@ namespace Test { namespace Float {
     return new TestSpace(share,*this);
   }
 
+  void
+  TestSpace::enable(void) {
+    Gecode::PropagatorGroup::all.enable(*this);
+  }
+
+  void
+  TestSpace::disable(void) {
+    Gecode::PropagatorGroup::all.disable(*this);
+    (void) status();
+  }
+
   void
   TestSpace::dropUntil(const Assignment& a) {
     for (int i = x.size(); i--; )
@@ -547,6 +558,38 @@ if (!(T)) {                                                     \
         }
         delete s;
       }
+      START_TEST("Assignment (after posting, disable)");
+      {
+        TestSpace* s = new TestSpace(arity,dom,step,this);
+        s->post();
+        s->disable();
+        s->enable();
+        s->assign(a,sol);
+        if (sol == MT_TRUE) {
+          CHECK_TEST(!s->failed(), "Failed on solution");
+          CHECK_TEST(subsumed(*s), "No subsumption");
+        } else if (sol == MT_FALSE) {
+          CHECK_TEST(s->failed(), "Solved on non-solution");
+        }
+        delete s;
+      }
+      START_TEST("Partial assignment (after posting, disable)");
+      {
+        TestSpace* s = new TestSpace(arity,dom,step,this);
+        s->post();
+        s->disable();
+        s->enable();
+        s->assign(a,sol,true);
+        (void) s->failed();
+        s->assign(a,sol);
+        if (sol == MT_TRUE) {
+          CHECK_TEST(!s->failed(), "Failed on solution");
+          CHECK_TEST(subsumed(*s), "No subsumption");
+        } else if (sol == MT_FALSE) {
+          CHECK_TEST(s->failed(), "Solved on non-solution");
+        }
+        delete s;
+      }
       START_TEST("Assignment (before posting)");
       {
         TestSpace* s = new TestSpace(arity,dom,step,this);
@@ -594,7 +637,6 @@ if (!(T)) {                                                     \
         }
         delete s;
       }
-
       if (reified && !ignore(a) && (sol != MT_MAYBE)) {
         if (eqv()) {
           START_TEST("Assignment reified (rewrite after post, <=>)");

test/float.hh

@@ -233,6 +233,10 @@ namespace Test {
       void prune(void);
       /// Prune values but not those in assignment \a a
       bool prune(const Assignment& a, bool testfix);
+      /// Disable propagators in space and compute fixpoint (make all idle)
+      void disable(void);
+      /// Enable propagators in space
+      void enable(void);
       /// Return the number of propagators
       unsigned int propagators(void);
     };