package lp-gurobi

You can search for identifiers within the package.

in-package search v0.2.0

package lp-gurobi

lp-gurobi
- Lp_grb
  - Cs
  - Stat
  - Vt
- Lp_gurobi

Legend:
Library
Module
Module type
Parameter
Class
Class type

Thin ctypes wrapper around Gurobi's C API.

exception Gurobi_error of string

module Vt : sig ... end

Variable type.

module Cs : sig ... end

Constraint sense.

module Stat : sig ... end

Status of the model.

type env

*env in C.

val env : env Ctypes.typ

type model

*model in C.

val model : model Ctypes.typ

val get_error_msg : env -> string

val check : env -> int -> unit

val start_env : env -> unit

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

val free_env : env -> unit

val set_int_param : env -> string -> int -> unit

val set_term_output : env -> bool -> unit

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

val free_model : env -> model -> unit

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

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

val set_minimize : env -> model -> unit

val set_maximize : env -> model -> unit

val update_model : env -> model -> unit

val optimize : env -> model -> unit

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

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

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

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 : env -> model -> string -> float

val get_obj_val : env -> model -> float

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

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

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