lp-glpk 0.3.0 · OCaml Package

Raw ctypes binding to GLPK.

module Dir : sig ... end

module Vt : sig ... end

module Bnd : sig ... end

module Stat : sig ... end

module Msg : sig ... end

module Smcp : sig ... end

Simplex method control parameters.

module Iocp : sig ... end

Integer optimizer control parameters.

val set_term_out : bool -> unit

type prob

val prob : prob Ctypes.typ

val create_prob : unit -> prob

val delete_prob : prob -> unit

val set_prob_name : prob -> string -> unit

val get_prob_name : prob -> string

val set_obj_dir : prob -> Dir.t -> unit

val get_obj_dir : prob -> Dir.t

val add_rows : prob -> int -> int

val add_cols : prob -> int -> int

val set_row_name : prob -> int -> string -> unit

val get_row_name : prob -> int -> string

val set_col_name : prob -> int -> string -> unit

val get_col_name : prob -> int -> string

val 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.

val 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.

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

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

val 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.

val 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.

val 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.

val set_col_kind : prob -> int -> Vt.t -> unit

val get_col_kind : prob -> int -> Vt.t

val get_num_rows : prob -> int

val get_num_cols : prob -> int

val get_num_nz : prob -> int

val get_num_int : prob -> int

val get_num_bin : prob -> int

val init_smcp : Smcp.t Ctypes.structure Ctypes_static.ptr -> unit

val init_iocp : Iocp.t Ctypes.structure Ctypes_static.ptr -> unit

val simplex : prob -> Smcp.t Ctypes.structure Ctypes_static.ptr -> int

val intopt : prob -> Iocp.t Ctypes.structure Ctypes_static.ptr -> int

val get_status : prob -> Stat.t

val mip_status : prob -> Stat.t

val get_obj_val : prob -> float

val mip_obj_val : prob -> float

val get_row_prim : prob -> int -> float

val get_row_dual : prob -> int -> float

val mip_row_val : prob -> int -> float

val get_col_prim : prob -> int -> float

val get_col_dual : prob -> int -> float

val mip_col_val : prob -> int -> float

package lp-glpk