Method post

gecode/set/sequence/seq.hpp:55–61

    : NaryPropagator<SetView, PC_SET_ANY>(home,p) {}

  forceinline ExecStatus
  Seq::post(Home home, ViewArray<SetView> x) {
    if (shared(x))
      return ES_FAILED;
    (void) new (home) Seq(home,x);
    return ES_OK;
  }

}}}