Method steal_depth

gecode/search/worker.hh:105–108

  }

  forceinline unsigned long int
  Worker::steal_depth(unsigned long int d) const {
    return root_depth + d;
  }

}}