Function ite

gecode/set/bool.cpp:38–46

namespace Gecode {

  void
  ite(Home home, BoolVar b, SetVar x, SetVar y, SetVar z) {
    GECODE_POST;      
    IntVar i(home,0,1);
    channel(home, b, i);
    SetVarArgs yx(2);
    yx[0]=y; yx[1]=x;
    element(home, yx, i, z);
  }

}