Method copy

gecode/set/ldsb/brancher.hpp:248–252

  template<class View, int n, class Val, unsigned int a,
           class Filter, class Print>
  Actor*
  LDSBSetBrancher<View,n,Val,a,Filter,Print>::copy(Space& home) {
    return new (home) LDSBSetBrancher<View,n,Val,a,Filter,Print>
      (home,*this);
  }

  template<class View, int n, class Val, unsigned int a,
           class Filter, class Print>