Method load

examples/bacp.cpp:177–191

Value selection function for load branching

  }
  /// Value selection function for load branching
  static int load(const Space& home, IntVar x, int) {
    const BACP& b = static_cast<const BACP&>(home);
    IntVarValues values(x);
    int val = -1;
    int best = Int::Limits::max+1;
    while (values()) {
      if (b.l[values.val()].min() < best) {
        val  = values.val();
        best = b.l[val].min();
      }
      ++values;
    }
    assert(val != -1);
    return val;
  }
  /// Value selection function for reverse load branching
  static int load_rev(const Space& home, IntVar x, int) {
    const BACP& b = static_cast<const BACP&>(home);