Function p_minimum_arg

gecode/flatzinc/registry.cpp:1126–1132

    }

    void p_minimum_arg(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) {
      IntVar x = s.arg2IntVar(ce[2]);
      IntVarArgs iv = x + s.arg2intvarargs(ce[0]);
      unshare(s, iv);
      int offset = ce[1]->getInt();
      argmin(s, iv.slice(1), offset, x, true, s.ann2ipl(ann));
    }

    void p_maximum_arg(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) {
      IntVar x = s.arg2IntVar(ce[2]);