Function channel

gecode/float/channel.cpp:40–46

namespace Gecode {

  void
  channel(Home home, FloatVar x0, IntVar x1) {
    using namespace Float;
    using namespace Int;
    GECODE_POST;
    GECODE_ES_FAIL((Channel::Channel<FloatView,IntView>::post(home,x0,x1)));
  }

  void
  channel(Home home, FloatVar x0, BoolVar x1) {