Method post

test/set/channel.cpp:204–208

Post constraint on \a x

      }
      /// Post constraint on \a x
      virtual void post(Space& home, SetVarArray& x, IntVarArray&) {
        SetVarArgs x0(x.slice(0,1,_x0size));
        SetVarArgs x1(x.slice(_x0size));
        Gecode::channel(home, x0,x1);
      }
    };

    ChannelSet _channelSet12("Channel::Set::1::2", d1, 2,2);