package lp-glpk

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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