M (lp-glpk.Lp_glpk

include sig ... end

val set_term_out : (bool -> unit G.return) G.result

type prob = unit Ctypes.ptr

val prob : prob Ctypes.typ

val create_prob : (unit -> prob G.return) G.result

val delete_prob : (prob -> unit G.return) G.result

val set_prob_name : (prob -> string -> unit G.return) G.result

val get_prob_name : (prob -> string G.return) G.result

val set_obj_dir : (prob -> Lp_glpk_bindings.T.Dir.t -> unit G.return) G.result

val get_obj_dir : (prob -> Lp_glpk_bindings.T.Dir.t G.return) G.result

val add_rows : (prob -> int -> int G.return) G.result

val add_cols : (prob -> int -> int G.return) G.result

val set_row_name : (prob -> int -> string -> unit G.return) G.result

val get_row_name : (prob -> int -> string G.return) G.result

val set_col_name : (prob -> int -> string -> unit G.return) G.result

val get_col_name : (prob -> int -> string G.return) G.result

val set_row_bnds : 
  (prob ->
    int ->
    Lp_glpk_bindings.T.Bnd.t ->
    float ->
    float ->
    unit G.return)
    G.result

val set_col_bnds : 
  (prob ->
    int ->
    Lp_glpk_bindings.T.Bnd.t ->
    float ->
    float ->
    unit G.return)
    G.result

val set_obj_coef : (prob -> int -> float -> unit G.return) G.result

val set_mat_row : 
  (prob ->
    int ->
    int ->
    unit Ctypes_static.ptr ->
    unit Ctypes_static.ptr ->
    unit G.return)
    G.result

val set_mat_col : 
  (prob ->
    int ->
    int ->
    unit Ctypes_static.ptr ->
    unit Ctypes_static.ptr ->
    unit G.return)
    G.result

val load_matrix : 
  (prob ->
    int ->
    unit Ctypes_static.ptr ->
    unit Ctypes_static.ptr ->
    unit Ctypes_static.ptr ->
    unit G.return)
    G.result

val set_col_kind : 
  (prob -> int -> Lp_glpk_bindings.T.Vt.t -> unit G.return) G.result

val get_col_kind : (prob -> int -> Lp_glpk_bindings.T.Vt.t G.return) G.result

val get_num_rows : (prob -> int G.return) G.result

val get_num_cols : (prob -> int G.return) G.result

val get_num_nz : (prob -> int G.return) G.result

val get_num_int : (prob -> int G.return) G.result

val get_num_bin : (prob -> int G.return) G.result

val init_smcp : 
  (Lp_glpk_bindings.T.Smcp.t Ctypes.structure Ctypes_static.ptr ->
    unit G.return)
    G.result

val init_iocp : 
  (Lp_glpk_bindings.T.Iocp.t Ctypes.structure Ctypes_static.ptr ->
    unit G.return)
    G.result

val simplex : 
  (prob ->
    Lp_glpk_bindings.T.Smcp.t Ctypes.structure Ctypes_static.ptr ->
    Lp_glpk_bindings.T.SimplexReturn.t G.return)
    G.result

val intopt : 
  (prob ->
    Lp_glpk_bindings.T.Iocp.t Ctypes.structure Ctypes_static.ptr ->
    Lp_glpk_bindings.T.IntoptReturn.t G.return)
    G.result

val get_status : (prob -> Lp_glpk_bindings.T.Stat.t G.return) G.result

val mip_status : (prob -> Lp_glpk_bindings.T.Stat.t G.return) G.result

val get_obj_val : (prob -> float G.return) G.result

val mip_obj_val : (prob -> float G.return) G.result

val get_row_prim : (prob -> int -> float G.return) G.result

val get_row_dual : (prob -> int -> float G.return) G.result

val mip_row_val : (prob -> int -> float G.return) G.result

val get_col_prim : (prob -> int -> float G.return) G.result

val get_col_dual : (prob -> int -> float G.return) G.result

val mip_col_val : (prob -> int -> float G.return) G.result