Function p_maximum_arg_bool

gecode/flatzinc/registry.cpp:1149–1154

    }

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

    void p_regular(FlatZincSpace& s, IntVarArgs iv, int q, int symbols_min,
                   int symbols_max,  IntArgs d, int q0, AST::SetLit* finals,