Module Lp_highs_bindings.M

Parameters

module F : Ctypes.FOREIGN

Signature

type highs = unit Ctypes.ptr
val highs : highs Ctypes.typ
val version : (unit -> string F.return) F.result
val create : (unit -> highs F.return) F.result
val destroy : (highs -> unit F.return) F.result
val get_infinity : (highs -> float F.return) F.result
val set_bool_option_value : (highs -> string -> int -> T.Status.t F.return) F.result
val set_int_option_value : (highs -> string -> int -> T.Status.t F.return) F.result
val set_double_option_value : (highs -> string -> float -> T.Status.t F.return) F.result
val set_string_option_value : (highs -> string -> string -> T.Status.t F.return) F.result
val get_option_type : (highs -> string -> int Ctypes_static.ptr -> T.Status.t F.return) F.result
val pass_lp : (highs -> int -> int -> int -> T.MatrixFormat.t -> T.ObjSense.t -> float -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> int Ctypes_static.ptr -> int Ctypes_static.ptr -> float Ctypes_static.ptr -> T.Status.t F.return) F.result
val pass_mip : (highs -> int -> int -> int -> T.MatrixFormat.t -> T.ObjSense.t -> float -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> int Ctypes_static.ptr -> int Ctypes_static.ptr -> float Ctypes_static.ptr -> T.VarType.t Ctypes_static.ptr -> T.Status.t F.return) F.result
val pass_model : (highs -> int -> int -> int -> int -> T.MatrixFormat.t -> T.HessianFormat.t -> T.ObjSense.t -> float -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> int Ctypes_static.ptr -> int Ctypes_static.ptr -> float Ctypes_static.ptr -> int Ctypes_static.ptr -> int Ctypes_static.ptr -> float Ctypes_static.ptr -> T.VarType.t Ctypes_static.ptr -> T.Status.t F.return) F.result
val run : (highs -> T.Status.t F.return) F.result
val get_solution : (highs -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> T.Status.t F.return) F.result
val get_model_status : (highs -> T.ModelStatus.t F.return) F.result
val get_objective_value : (highs -> float F.return) F.result
val get_num_col : (highs -> int F.return) F.result
val get_num_row : (highs -> int F.return) F.result