You can search for identifiers within the package.
in-package search v0.2.0
lp-glpk
Lp_glp.Iocp
Integer optimizer control parameters.
module Br : sig ... end
module Bt : sig ... end
module Pp : sig ... end
type t
val t : t Ctypes.structure Ctypes.typ
val msg_lev : (Msg.t, t Ctypes.structure) Ctypes.field
val br_tech : (Br.t, t Ctypes.structure) Ctypes.field
val bt_tech : (Bt.t, t Ctypes.structure) Ctypes.field
val tol_int : (float, t Ctypes.structure) Ctypes.field
val tol_obj : (float, t Ctypes.structure) Ctypes.field
val tm_lim : (int, t Ctypes.structure) Ctypes.field
time limit in ms
val out_frq : (int, t Ctypes.structure) Ctypes.field
display frequency in ms
val out_dly : (int, t Ctypes.structure) Ctypes.field
display delay in ms
val cb_func : (unit Ctypes_static.ptr, t Ctypes.structure) Ctypes.field
val cb_info : (unit Ctypes_static.ptr, t Ctypes.structure) Ctypes.field
val cb_size : (int, t Ctypes.structure) Ctypes.field
val pp_tech : (Pp.t, t Ctypes.structure) Ctypes.field
val mip_gap : (float, t Ctypes.structure) Ctypes.field
val mir_cuts : (bool, t Ctypes.structure) Ctypes.field
val gmi_cuts : (bool, t Ctypes.structure) Ctypes.field
val cov_cuts : (bool, t Ctypes.structure) Ctypes.field
val clq_cuts : (bool, t Ctypes.structure) Ctypes.field
val presolve : (bool, t Ctypes.structure) Ctypes.field
val binarize : (bool, t Ctypes.structure) Ctypes.field
val fp_heur : (bool, t Ctypes.structure) Ctypes.field
val ps_heur : (bool, t Ctypes.structure) Ctypes.field
val ps_tm_lim : (int, t Ctypes.structure) Ctypes.field
proxy time limit in ms
val sr_heur : (bool, t Ctypes.structure) Ctypes.field
val use_sol : (bool, t Ctypes.structure) Ctypes.field
val save_sol : (string, t Ctypes.structure) Ctypes.field
val alien : (bool, t Ctypes.structure) Ctypes.field
val flip : (bool, t Ctypes.structure) Ctypes.field