Lines Matching defs:limit
167 type parameters = {interface : Fparm, solver : Mparm, limit : limit};
171 limit = mlibMeter.unlimited,
174 fun update_interface f {interface, solver, limit} =
175 {interface = f interface, solver = solver, limit = limit};
177 fun update_solver f {interface, solver, limit} =
178 {interface = interface, solver = f solver, limit = limit};
180 fun update_limit f {interface, solver, limit} =
181 {interface = interface, solver = solver, limit = f limit};
245 val {interface, solver, limit, ...} : parameters = parm
251 FOL_SOLVE (mlibMetis.metis' solver) lmap limit
264 val {interface, solver, limit, ...} : parameters = parm
267 FOL_TACTIC (mlibMetis.metis' solver) lmap limit
273 (* All the following use this limit. *)
276 val limit : limit ref = ref (#limit defaults);
282 fun inc_limit p = update_limit (K (!limit)) p;