Function dom

gecode/minimodel/dom.cpp:163–166

* Domain constraints * */

   *
   */
  BoolExpr
  dom(const IntVar& x, int n) {
    return BoolExpr(new DomExpr<IntVar, int>(x, n));
  }

  BoolExpr
  dom(const IntVar& x, int l, int u) {