Method post

test/set/dom.cpp:255–260

Post constraint on \a x

      }
      /// Post constraint on \a x
      virtual void post(Space& home, SetVarArray& x, IntVarArray&) {
        if (x.size() == 1)
          Gecode::dom(home, x[0], srt, -3, -1);
        else
          Gecode::dom(home, x, srt, -3, -1);
      }
      /// Post reified constraint on \a x for \a b
      virtual void post(Space& home, SetVarArray& x, IntVarArray&, Reify r) {
        assert(x.size() == 1);