Method rnd

gecode/search/cutoff.cpp:163–169

    return new CutoffGeometric(base,scale);
  }
  Cutoff*
  Cutoff::rnd(unsigned int seed,
              unsigned long long int min,
              unsigned long long int max,
              unsigned long long int n) {
    return new CutoffRandom(seed,min,max,n);
  }
  Cutoff*
  Cutoff::append(Cutoff* c1, unsigned long long int n, Cutoff* c2) {
    return new CutoffAppend(c1,n,c2);