Method post

test/set/element.cpp:227–233

Post constraint on \a x

      }
      /// Post constraint on \a x
      virtual void post(Space& home, SetVarArray& x, IntVarArray&) {
        SetVarArgs xs(x.size()-2);
        for (int i=x.size()-2; i--;)
          xs[i]=x[i];
        Gecode::element(home, SOT_INTER, xs, x[x.size()-2], x[x.size()-1],
          ds_12);
      }
    };
    ElementInterIn _elementinterin("Element::InterIn");