Function tbl

test/branch.cpp:61–63

Test function for tie-break limit function

  /// Test function for tie-break limit function
  double tbl(const Gecode::Space&, double w, double b) {
    return (w + (b-w)/2.0);
  }

  /// Space for executing integer tests
  class IntTestSpace : public Gecode::Space {