Method post

gecode/set/rel/subset.hpp:55–59

  template<class View0, class View1>
  ExecStatus Subset<View0,View1>::post(Home home, View0 x, View1 y) {
    if (!same(x,y))
      (void) new (home) Subset(home,x,y);
    return ES_OK;
  }

  template<class View0, class View1>
  Actor*