Method choice

examples/radiotherapy.cpp:269–300

Return choice

    }
    /// Return choice
    virtual Gecode::Choice* choice(Space& home) {
      done = true;
      Radiotherapy& rt = static_cast<Radiotherapy&>(home);

      std::cout << "*";

      // Perform nested search for each row
      bool fail = false;
      for (int i=0; i<rt.rd.m; i++) {
        // Create fresh clone for row i
        Radiotherapy* row = static_cast<Radiotherapy*>(rt.clone());

        // Branch over row i
        branch(*row, getRow(row, index[i].idx),
               INT_VAR_NONE(), INT_VAL_SPLIT_MIN());
        Search::Options o; o.clone = false;
        if (Radiotherapy* newSol = dfs(row, o) ) {
          // Found a solution for row i, so try to find one for i+1
          delete newSol;
          std::cerr << index[i].idx;
        } else {
          // Found no solution for row i, so back to search the N variables
          fail = true;
          index[i].weight += 1;
          if (i && index[i] < index[i-1])
            std::swap(index[i], index[i-1]);
          break;
        }
      }

      return new Choice(*this, fail);
    }
    /// Return choice
    virtual Choice* choice(const Space&, Archive& e) {
      bool fail; e >> fail;