Function p_minimum_arg_bool

gecode/flatzinc/registry.cpp:1142–1147

    }

    void p_minimum_arg_bool(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) {
      BoolVarArgs bv = s.arg2boolvarargs(ce[0]);
      unshare(s, bv);
      int offset = ce[1]->getInt();
      argmin(s, bv, offset, s.arg2IntVar(ce[2]), true, s.ann2ipl(ann));
    }

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