Function min

gecode/minimodel/set-expr.cpp:821–825

      MiniModel::SetNonLinIntExpr::SNLE_CARD));
  }
  LinIntExpr
  min(const SetExpr& e) {
    return LinIntExpr(new MiniModel::SetNonLinIntExpr(e,
      MiniModel::SetNonLinIntExpr::SNLE_MIN));
  }
  LinIntExpr
  max(const SetExpr& e) {
    return LinIntExpr(new MiniModel::SetNonLinIntExpr(e,