package lp-glpk

  1. Overview
  2. Docs

Module Lp_glpSource

Raw ctypes binding to GLPK.

Sourcemodule Dir : sig ... end
Sourcemodule Vt : sig ... end
Sourcemodule Bnd : sig ... end
Sourcemodule Stat : sig ... end
Sourcemodule Msg : sig ... end
Sourcemodule Smcp : sig ... end

Simplex method control parameters.

Sourcemodule Iocp : sig ... end

Integer optimizer control parameters.

Sourceval set_term_out : bool -> unit
Sourcetype prob
Sourceval create_prob : unit -> prob
Sourceval delete_prob : prob -> unit
Sourceval set_prob_name : prob -> string -> unit
Sourceval get_prob_name : prob -> string
Sourceval set_obj_dir : prob -> Dir.t -> unit
Sourceval get_obj_dir : prob -> Dir.t
Sourceval add_rows : prob -> int -> int
Sourceval add_cols : prob -> int -> int
Sourceval set_row_name : prob -> int -> string -> unit
Sourceval get_row_name : prob -> int -> string
Sourceval set_col_name : prob -> int -> string -> unit
Sourceval get_col_name : prob -> int -> string
Sourceval set_row_bnds : prob -> int -> Bnd.t -> float -> float -> unit

set_row_bnds prob i bnd lb ub sets bounds of i-th row (constraint). If the row is not lower (upper) bounded, lb (ub) is just ignored. If the row is equality constraint (Bnd.FX), only lb is used and ub is ignored.

Sourceval set_col_bnds : prob -> int -> Bnd.t -> float -> float -> unit

set_col_bnds prob j bnd lb ub sets bounds of j-th col (variable). If the col is not lower (upper) bounded, lb (ub) is just ignored. If the col is equality constraint (Bnd.FX), only lb is used and ub is ignored.

Sourceval set_obj_coef : prob -> int -> float -> unit

set_obj_coef prob j sets the objective coefficient at j-th col (variable)

Sourceval set_mat_row : prob -> int -> int -> unit Ctypes_static.ptr -> unit Ctypes_static.ptr -> unit

set_mat_row prob i len indices vals sets the i-th row of constraint matrix.

Sourceval set_mat_col : prob -> int -> int -> unit Ctypes_static.ptr -> unit Ctypes_static.ptr -> unit

set_mat_col prob j len indices vals sets the j-th column of constraint matrix.

Sourceval load_matrix : prob -> int -> unit Ctypes_static.ptr -> unit Ctypes_static.ptr -> unit Ctypes_static.ptr -> unit

load_matrix prob ne ia ja ar sets the constraint matrix. The matrix is represented as an sparce matrix. for k=1 .. ne, value ark is set at (iak, jak) element.

Sourceval set_col_kind : prob -> int -> Vt.t -> unit
Sourceval get_col_kind : prob -> int -> Vt.t
Sourceval get_num_rows : prob -> int
Sourceval get_num_cols : prob -> int
Sourceval get_num_nz : prob -> int
Sourceval get_num_int : prob -> int
Sourceval get_num_bin : prob -> int
Sourceval get_status : prob -> Stat.t
Sourceval mip_status : prob -> Stat.t
Sourceval get_obj_val : prob -> float
Sourceval mip_obj_val : prob -> float
Sourceval get_row_prim : prob -> int -> float
Sourceval get_row_dual : prob -> int -> float
Sourceval mip_row_val : prob -> int -> float
Sourceval get_col_prim : prob -> int -> float
Sourceval get_col_dual : prob -> int -> float
Sourceval mip_col_val : prob -> int -> float