package glpk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type lp
type direction =
  1. | Minimize
  2. | Maximize
type aux_var_type =
  1. | Free_var
  2. | Lower_bounded_var
  3. | Upper_bounded_var
  4. | Double_bounded_var
  5. | Fixed_var
type prob_class =
  1. | Linear_prog
  2. | Mixed_integer_prog
type var_kind =
  1. | Continuous_var
  2. | Integer_var
exception Fault
exception Empty
exception Bad_basis
exception Lower_limit
exception Upper_limit
exception No_primal_feasible_solution
exception No_dual_feasible_solution
exception Iteration_limit
exception Time_limit
exception No_convergence
exception Solver_failure
exception Unknown_error
val new_problem : unit -> lp
val make_problem : direction -> float array -> float array array -> (float * float) array -> (float * float) array -> lp
val read_cplex : string -> lp
val write_cplex : lp -> string -> unit
val set_prob_name : lp -> string -> unit
val get_prob_name : lp -> string
val set_class : lp -> prob_class -> unit
val get_class : lp -> prob_class
val set_direction : lp -> direction -> unit
val get_direction : lp -> direction
val set_obj_name : lp -> string -> unit
val get_obj_name : lp -> string
val add_rows : lp -> int -> unit
val get_num_rows : lp -> int
val set_row_name : lp -> int -> string -> unit
val get_row_name : lp -> int -> string
val set_row_bounds : lp -> int -> aux_var_type -> float -> float -> unit
val add_columns : lp -> int -> unit
val get_num_cols : lp -> int
val set_col_name : lp -> int -> string -> unit
val get_col_name : lp -> int -> string
val set_col_kind : lp -> int -> var_kind -> unit
val set_col_bounds : lp -> int -> aux_var_type -> float -> float -> unit
val set_obj_coef : lp -> int -> float -> unit
val load_matrix : lp -> float array array -> unit
val load_sparse_matrix : lp -> ((int * int) * float) array -> unit
val scale_problem : lp -> unit
val unscale_problem : lp -> unit
val warm_up : lp -> unit
val simplex : lp -> unit
val interior : lp -> unit
val branch_and_bound : lp -> unit
val branch_and_bound_opt : lp -> unit
val get_obj_val : lp -> float
val get_col_primal : lp -> int -> float
val get_col_primals : lp -> float array
val get_row_primal : lp -> int -> float
val get_row_dual : lp -> int -> float
val set_message_level : lp -> int -> unit
val use_presolver : lp -> bool -> unit
val set_simplex_iteration_count : lp -> int -> unit
val reset_simplex_iteration_count : lp -> unit
val get_simplex_iteration_count : lp -> int
val set_simplex_iteration_limit : lp -> int -> unit
val get_simplex_iteration_limit : lp -> int
val set_simplex_time_limit : lp -> float -> unit
val get_simplex_time_limit : lp -> float