Method run

test/afc.cpp:85–132

Perform actual tests

    AFC(void) : Test::Base("AFC") {}
    /// Perform actual tests
    bool run(void) {
      // Array of spaces for tests
      TestSpace* s[n];
      // How many spaces exist in s
      int n_s = 1;

      for (int i=n; i--; )
        s[i] = nullptr;
      s[0] = new TestSpace;

      for (int o=n_ops; o--; )
        switch (_rand(3)) {
        case 0:
          // clone space
          {
            int i = index();
            if ((s[i] != nullptr)) {
              if (n_s > 1) {
                delete s[i]; s[i]=nullptr; n_s--;
              } else {
                break;
              }
            }
            int j = space(s);
            (void) s[j]->status();
            s[i] = static_cast<TestSpace*>(s[j]->clone());
            n_s++;
          }
          break;
        case 1:
          // delete space
          if (n_s > 1) {
            int i = space(s);
            delete s[i]; s[i]=nullptr; n_s--;
          }
          break;
        case 2:
          // post propagator
          s[space(s)]->post();
          break;
        default:
          GECODE_NEVER;
        }
      // Delete all remaining spaces
      for (int i=n; i--; )
        delete s[i];
      return true;
    }
  };

  AFC afc;