Function sequence

gecode/set/sequence.cpp:42–49

namespace Gecode {

  void
  sequence(Home home, const SetVarArgs& xa) {
    if (xa.size()==0)
      throw TooFewArguments("Set::seq");
    GECODE_POST;
    ViewArray<SetView> x(home,xa);
    GECODE_ES_FAIL(Sequence::Seq::post(home, x));
  }

  void
  sequence(Home home, const SetVarArgs& xa, SetVar y) {