Function unshare

gecode/int/unshare.cpp:107–129

  /// Replace unassigned shared variables by fresh, yet equal variables
  template<class Var>
  forceinline void
  unshare(Home home, VarArgArray<Var>& x, IntPropLevel ipl) {
    int n=x.size();
    if (n < 2)
      return;
    
    Region r;
    Var** y = r.alloc<Var*>(n);
    for (int i=0; i<n; i++)
      y[i]=&x[i];

    VarPtrLess<Var> vpl;
    Support::quicksort<Var*,VarPtrLess<Var> >(y,n,vpl);
    
    // Replace all shared variables with new and equal variables
    for (int i=0; i<n;) {
      int j=i++;
      while ((i<n) && (y[j]->varimp() == y[i]->varimp()))
        i++;
      if (!y[j]->assigned())
        link(home,&y[j],i-j,ipl);
    }
  }

}}}