Module `Lp_glp`Source

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 prob : prob Ctypes.typ

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)

Source

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.

Source

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.

Source

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.

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 init_smcp : Smcp.t Ctypes.structure Ctypes_static.ptr -> unit

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

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

Sourceval intopt : prob -> Iocp.t Ctypes.structure Ctypes_static.ptr -> 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

package lp-glpk

Module Lp_glpSource

Module `Lp_glp`Source