Function p_maximum_arg

gecode/flatzinc/registry.cpp:1134–1140

    }

    void p_maximum_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();
      argmax(s, iv.slice(1), offset, x, true, s.ann2ipl(ann));
    }

    void p_minimum_arg_bool(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) {
      BoolVarArgs bv = s.arg2boolvarargs(ce[0]);