package lp-glpk

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package lp-glpk

lp-glpk
- Library lp-glpk
  - Lp_glpk
    
    Simplex
    
    Milp
- Library lp-glpk.bindings
  - Lp_glpk_bindings
    
    T
    
    M
- Library lp-glpk.consts
  - Lp_glpk_consts
    
    G
    
    Intptr
    
    Ptrdiff
    
    Uintptr
    
    CArray
    
    FOREIGN
    
    TYPE
    
    Root
    
    M
- Library lp-glpk.ffi
  - Lp_glpk_ffi
    
    G
    
    CI
    
    M
- Library lp-glpk.types
  - Lp_glpk_types
    
    G
    
    Intptr
    
    Ptrdiff
    
    Uintptr
    
    CArray
    
    FOREIGN
    
    TYPE
    
    Root
    
    M
    
    Dir
    
    Vt
    
    Bnd
    
    Stat
    
    BoolInt
    
    Msg
    
    Smcp
    
    Meth
    
    Pt
    
    Rt
    
    An
    
    Iocp
    
    Br
    
    Bt
    
    Pp
- Library lp_glpk_bindings_consts
  - Lp_glpk_bindings_consts
    
    M
- Library lp_glpk_bindings_types
  - Lp_glpk_bindings_types
    
    C
    
    M
    
    Dir
    
    Vt
    
    Bnd
    
    Stat
    
    BoolInt
    
    Msg
    
    Smcp
    
    Meth
    
    Pt
    
    Rt
    
    An
    
    Iocp
    
    Br
    
    Bt
    
    Pp
- Sources
  - lp-glpk
    
    lp_glpk.ml
  - lp-glpk.bindings
    
    lp_glpk_bindings.ml
  - lp-glpk.consts
    
    g.ml
    
    lp_glpk_consts.ml
    
    m.ml
  - lp-glpk.ffi
    
    g.ml
    
    lp_glpk_ffi.ml
    
    m.ml
  - lp-glpk.types
    
    g.ml
    
    lp_glpk_types.ml
    
    m.ml
  - lp_glpk_bindings_consts
    
    lp_glpk_bindings_consts.ml
  - lp_glpk_bindings_types
    
    lp_glpk_bindings_types.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Lp_glpk_bindings.M`Source

Parameters

module F : Ctypes.FOREIGN

Signature

Sourceval set_term_out : (bool -> unit F.return) F.result

Sourcetype prob = unit Ctypes.ptr

Sourceval prob : prob Ctypes.typ

Sourceval create_prob : (unit -> prob F.return) F.result

Sourceval delete_prob : (prob -> unit F.return) F.result

Sourceval set_prob_name : (prob -> string -> unit F.return) F.result

Sourceval get_prob_name : (prob -> string F.return) F.result

Sourceval set_obj_dir : (prob -> T.Dir.t -> unit F.return) F.result

Sourceval get_obj_dir : (prob -> T.Dir.t F.return) F.result

Sourceval add_rows : (prob -> int -> int F.return) F.result

Sourceval add_cols : (prob -> int -> int F.return) F.result

Sourceval set_row_name : (prob -> int -> string -> unit F.return) F.result

Sourceval get_row_name : (prob -> int -> string F.return) F.result

Sourceval set_col_name : (prob -> int -> string -> unit F.return) F.result

Sourceval get_col_name : (prob -> int -> string F.return) F.result

Source

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

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.

Source

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

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 F.return) F.result

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 F.return)
    F.result

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 F.return)
    F.result

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 F.return)
    F.result

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 -> T.Vt.t -> unit F.return) F.result

Sourceval get_col_kind : (prob -> int -> T.Vt.t F.return) F.result

Sourceval get_num_rows : (prob -> int F.return) F.result

Sourceval get_num_cols : (prob -> int F.return) F.result

Sourceval get_num_nz : (prob -> int F.return) F.result

Sourceval get_num_int : (prob -> int F.return) F.result

Sourceval get_num_bin : (prob -> int F.return) F.result

Source

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

Source

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

Source

val simplex : 
  (prob ->
    T.Smcp.t Ctypes.structure Ctypes_static.ptr ->
    int F.return)
    F.result

Source

val intopt : 
  (prob ->
    T.Iocp.t Ctypes.structure Ctypes_static.ptr ->
    int F.return)
    F.result

Sourceval get_status : (prob -> T.Stat.t F.return) F.result

Sourceval mip_status : (prob -> T.Stat.t F.return) F.result

Sourceval get_obj_val : (prob -> float F.return) F.result

Sourceval mip_obj_val : (prob -> float F.return) F.result

Sourceval get_row_prim : (prob -> int -> float F.return) F.result

Sourceval get_row_dual : (prob -> int -> float F.return) F.result

Sourceval mip_row_val : (prob -> int -> float F.return) F.result

Sourceval get_col_prim : (prob -> int -> float F.return) F.result

Sourceval get_col_dual : (prob -> int -> float F.return) F.result

Sourceval mip_col_val : (prob -> int -> float F.return) F.result

package lp-glpk

Module Lp_glpk_bindings.MSource

Parameters

Signature

Module `Lp_glpk_bindings.M`Source