lp-gurobi 0.2.0 · OCaml Package

exception Gurobi_error of string

module Vt : sig ... end

module Cs : sig ... end

constraint sense

module Stat : sig ... end

type env = unit Ctypes.ptr

val env : env Ctypes.typ

type model = unit Ctypes.ptr

val model : model Ctypes.typ

val get_error_msg : env -> string

val check : env -> int -> unit

val _empty_env : env Ctypes_static.ptr -> int

val _start_env : env -> int

val start_env : env -> unit

val empty_env : ?start:bool -> unit -> env

val free_env : env -> unit

no error code

val _new_model : 
  env ->
  model Ctypes_static.ptr ->
  string ->
  int ->
  float Ctypes_static.ptr ->
  float Ctypes_static.ptr ->
  float Ctypes_static.ptr ->
  char Ctypes_static.ptr ->
  string Ctypes_static.ptr ->
  int

val new_model : 
  env ->
  string ->
  float list ->
  float list ->
  float list ->
  Vt.t list ->
  string list ->
  model

val _free_model : model -> int

val free_model : env -> model -> unit

val _set_int_attr : model -> string -> int -> int

val set_int_attr : env -> model -> string -> int -> unit

val _get_int_attr : model -> string -> int Ctypes_static.ptr -> int

val get_int_attr : env -> model -> string -> int

val set_minimize : env -> model -> unit

val set_maximize : env -> model -> unit

val _update_model : model -> int

val update_model : env -> model -> unit

val _optimize : model -> int

val optimize : env -> model -> unit

val _add_var : 
  model ->
  int ->
  int Ctypes_static.ptr ->
  float Ctypes_static.ptr ->
  float ->
  float ->
  float ->
  Vt.t ->
  string ->
  int

val add_var : 
  env ->
  model ->
  int list ->
  float list ->
  float ->
  float ->
  float ->
  Vt.t ->
  string ->
  unit

val _add_constr : 
  model ->
  int ->
  int Ctypes_static.ptr ->
  float Ctypes_static.ptr ->
  Cs.t ->
  float ->
  string ->
  int

val add_constr : 
  env ->
  model ->
  int list ->
  float list ->
  Cs.t ->
  float ->
  string ->
  unit

val _add_qpterms : 
  model ->
  int ->
  int Ctypes_static.ptr ->
  int Ctypes_static.ptr ->
  float Ctypes_static.ptr ->
  int

quadratic obj and constraints

val add_qpterms : env -> model -> int list -> int list -> float list -> unit

val _add_qconstr : 
  model ->
  int ->
  int Ctypes_static.ptr ->
  float Ctypes_static.ptr ->
  int ->
  int Ctypes_static.ptr ->
  int Ctypes_static.ptr ->
  float Ctypes_static.ptr ->
  Cs.t ->
  float ->
  string ->
  int

val add_qconstr : 
  env ->
  model ->
  int list ->
  float list ->
  int list ->
  int list ->
  float list ->
  Cs.t ->
  float ->
  string ->
  unit

val get_status : env -> model -> Stat.t

val _get_dbl_attr : model -> string -> float Ctypes_static.ptr -> int

val get_dbl_attr : env -> model -> string -> float

val get_obj_val : env -> model -> float

val _get_dbl_attr_array : 
  model ->
  string ->
  int ->
  int ->
  float Ctypes_static.ptr ->
  int

val get_dbl_attr_array : env -> model -> string -> int -> int -> float list

val get_obj_x : env -> model -> int -> float list

val _write : model -> string -> int

val write : env -> model -> string -> unit

package lp-gurobi