package lp-glpk
LP and MIP modeling in OCaml (GLPK interface)
Install
Dune Dependency
Authors
Maintainers
Sources
0.5.0.tar.gz
md5=5e9ec847f25fb939b3c68ae99244cfac
sha512=336c007cc2a26eebbe0027ed43a853518182589e6fa56b127aee33e268cfdc0d147f0bf0280df80bb172aa3a672349f59adf1f5675d4f8f5dfdcfa427558dd34
doc/src/lp-glpk.ffi/g.ml.html
Source file g.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426
module CI = Cstubs_internals external lp_glpk_stub_1_glp_term_out : int -> unit = "lp_glpk_stub_1_glp_term_out" external lp_glpk_stub_2_glp_create_prob : unit -> CI.voidp = "lp_glpk_stub_2_glp_create_prob" external lp_glpk_stub_3_glp_delete_prob : _ CI.fatptr -> unit = "lp_glpk_stub_3_glp_delete_prob" external lp_glpk_stub_4_glp_set_prob_name : _ CI.fatptr -> _ CI.fatptr -> unit = "lp_glpk_stub_4_glp_set_prob_name" external lp_glpk_stub_5_glp_get_prob_name : _ CI.fatptr -> CI.voidp = "lp_glpk_stub_5_glp_get_prob_name" external lp_glpk_stub_6_glp_set_obj_dir : _ CI.fatptr -> int -> unit = "lp_glpk_stub_6_glp_set_obj_dir" external lp_glpk_stub_7_glp_get_obj_dir : _ CI.fatptr -> int = "lp_glpk_stub_7_glp_get_obj_dir" external lp_glpk_stub_8_glp_add_rows : _ CI.fatptr -> int -> int = "lp_glpk_stub_8_glp_add_rows" external lp_glpk_stub_9_glp_add_cols : _ CI.fatptr -> int -> int = "lp_glpk_stub_9_glp_add_cols" external lp_glpk_stub_10_glp_set_row_name : _ CI.fatptr -> int -> _ CI.fatptr -> unit = "lp_glpk_stub_10_glp_set_row_name" external lp_glpk_stub_11_glp_get_row_name : _ CI.fatptr -> int -> CI.voidp = "lp_glpk_stub_11_glp_get_row_name" external lp_glpk_stub_12_glp_set_col_name : _ CI.fatptr -> int -> _ CI.fatptr -> unit = "lp_glpk_stub_12_glp_set_col_name" external lp_glpk_stub_13_glp_get_col_name : _ CI.fatptr -> int -> CI.voidp = "lp_glpk_stub_13_glp_get_col_name" external lp_glpk_stub_14_glp_set_row_bnds : _ CI.fatptr -> int -> int -> float -> float -> unit = "lp_glpk_stub_14_glp_set_row_bnds" external lp_glpk_stub_15_glp_set_col_bnds : _ CI.fatptr -> int -> int -> float -> float -> unit = "lp_glpk_stub_15_glp_set_col_bnds" external lp_glpk_stub_16_glp_set_obj_coef : _ CI.fatptr -> int -> float -> unit = "lp_glpk_stub_16_glp_set_obj_coef" external lp_glpk_stub_17_glp_set_mat_row : _ CI.fatptr -> int -> int -> _ CI.fatptr -> _ CI.fatptr -> unit = "lp_glpk_stub_17_glp_set_mat_row" external lp_glpk_stub_18_glp_set_mat_col : _ CI.fatptr -> int -> int -> _ CI.fatptr -> _ CI.fatptr -> unit = "lp_glpk_stub_18_glp_set_mat_col" external lp_glpk_stub_19_glp_load_matrix : _ CI.fatptr -> int -> _ CI.fatptr -> _ CI.fatptr -> _ CI.fatptr -> unit = "lp_glpk_stub_19_glp_load_matrix" external lp_glpk_stub_20_glp_set_col_kind : _ CI.fatptr -> int -> int -> unit = "lp_glpk_stub_20_glp_set_col_kind" external lp_glpk_stub_21_glp_get_col_kind : _ CI.fatptr -> int -> int = "lp_glpk_stub_21_glp_get_col_kind" external lp_glpk_stub_22_glp_get_num_rows : _ CI.fatptr -> int = "lp_glpk_stub_22_glp_get_num_rows" external lp_glpk_stub_23_glp_get_num_cols : _ CI.fatptr -> int = "lp_glpk_stub_23_glp_get_num_cols" external lp_glpk_stub_24_glp_get_num_nz : _ CI.fatptr -> int = "lp_glpk_stub_24_glp_get_num_nz" external lp_glpk_stub_25_glp_get_num_int : _ CI.fatptr -> int = "lp_glpk_stub_25_glp_get_num_int" external lp_glpk_stub_26_glp_get_num_bin : _ CI.fatptr -> int = "lp_glpk_stub_26_glp_get_num_bin" external lp_glpk_stub_27_glp_init_smcp : _ CI.fatptr -> unit = "lp_glpk_stub_27_glp_init_smcp" external lp_glpk_stub_28_glp_init_iocp : _ CI.fatptr -> unit = "lp_glpk_stub_28_glp_init_iocp" external lp_glpk_stub_29_glp_simplex : _ CI.fatptr -> _ CI.fatptr -> int = "lp_glpk_stub_29_glp_simplex" external lp_glpk_stub_30_glp_intopt : _ CI.fatptr -> _ CI.fatptr -> int = "lp_glpk_stub_30_glp_intopt" external lp_glpk_stub_31_glp_get_status : _ CI.fatptr -> int = "lp_glpk_stub_31_glp_get_status" external lp_glpk_stub_32_glp_mip_status : _ CI.fatptr -> int = "lp_glpk_stub_32_glp_mip_status" external lp_glpk_stub_33_glp_get_obj_val : _ CI.fatptr -> float = "lp_glpk_stub_33_glp_get_obj_val" external lp_glpk_stub_34_glp_mip_obj_val : _ CI.fatptr -> float = "lp_glpk_stub_34_glp_mip_obj_val" external lp_glpk_stub_35_glp_get_row_prim : _ CI.fatptr -> int -> float = "lp_glpk_stub_35_glp_get_row_prim" external lp_glpk_stub_36_glp_get_row_dual : _ CI.fatptr -> int -> float = "lp_glpk_stub_36_glp_get_row_dual" external lp_glpk_stub_37_glp_mip_row_val : _ CI.fatptr -> int -> float = "lp_glpk_stub_37_glp_mip_row_val" external lp_glpk_stub_38_glp_get_col_prim : _ CI.fatptr -> int -> float = "lp_glpk_stub_38_glp_get_col_prim" external lp_glpk_stub_39_glp_get_col_dual : _ CI.fatptr -> int -> float = "lp_glpk_stub_39_glp_get_col_dual" external lp_glpk_stub_40_glp_mip_col_val : _ CI.fatptr -> int -> float = "lp_glpk_stub_40_glp_mip_col_val" type 'a result = 'a type 'a return = 'a type 'a fn = | Returns : 'a CI.typ -> 'a return fn | Function : 'a CI.typ * 'b fn -> ('a -> 'b) fn let map_result f x = f x let returning t = Returns t let (@->) f p = Function (f, p) let foreign : type a b. string -> (a -> b) fn -> (a -> b) = fun name t -> match t, name with | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Returns (CI.Primitive CI.Double))), "glp_mip_col_val" -> (fun x1 x3 -> let CI.CPointer x2 = x1 in lp_glpk_stub_40_glp_mip_col_val x2 x3) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Returns (CI.Primitive CI.Double))), "glp_get_col_dual" -> (fun x4 x6 -> let CI.CPointer x5 = x4 in lp_glpk_stub_39_glp_get_col_dual x5 x6) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Returns (CI.Primitive CI.Double))), "glp_get_col_prim" -> (fun x7 x9 -> let CI.CPointer x8 = x7 in lp_glpk_stub_38_glp_get_col_prim x8 x9) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Returns (CI.Primitive CI.Double))), "glp_mip_row_val" -> (fun x10 x12 -> let CI.CPointer x11 = x10 in lp_glpk_stub_37_glp_mip_row_val x11 x12) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Returns (CI.Primitive CI.Double))), "glp_get_row_dual" -> (fun x13 x15 -> let CI.CPointer x14 = x13 in lp_glpk_stub_36_glp_get_row_dual x14 x15) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Returns (CI.Primitive CI.Double))), "glp_get_row_prim" -> (fun x16 x18 -> let CI.CPointer x17 = x16 in lp_glpk_stub_35_glp_get_row_prim x17 x18) | Function (CI.Pointer _, Returns (CI.Primitive CI.Double)), "glp_mip_obj_val" -> (fun x19 -> let CI.CPointer x20 = x19 in lp_glpk_stub_34_glp_mip_obj_val x20) | Function (CI.Pointer _, Returns (CI.Primitive CI.Double)), "glp_get_obj_val" -> (fun x21 -> let CI.CPointer x22 = x21 in lp_glpk_stub_33_glp_get_obj_val x22) | Function (CI.Pointer _, Returns (CI.View {CI.ty = CI.Primitive CI.Int; read = x25; _})), "glp_mip_status" -> (fun x23 -> let CI.CPointer x24 = x23 in x25 (lp_glpk_stub_32_glp_mip_status x24)) | Function (CI.Pointer _, Returns (CI.View {CI.ty = CI.Primitive CI.Int; read = x28; _})), "glp_get_status" -> (fun x26 -> let CI.CPointer x27 = x26 in x28 (lp_glpk_stub_31_glp_get_status x27)) | Function (CI.Pointer _, Function (CI.Pointer _, Returns (CI.View {CI.ty = CI.Primitive CI.Int; read = x33; _}))), "glp_intopt" -> (fun x29 x31 -> let CI.CPointer x32 = x31 in let CI.CPointer x30 = x29 in x33 (lp_glpk_stub_30_glp_intopt x30 x32)) | Function (CI.Pointer _, Function (CI.Pointer _, Returns (CI.View {CI.ty = CI.Primitive CI.Int; read = x38; _}))), "glp_simplex" -> (fun x34 x36 -> let CI.CPointer x37 = x36 in let CI.CPointer x35 = x34 in x38 (lp_glpk_stub_29_glp_simplex x35 x37)) | Function (CI.Pointer _, Returns CI.Void), "glp_init_iocp" -> (fun x39 -> let CI.CPointer x40 = x39 in lp_glpk_stub_28_glp_init_iocp x40) | Function (CI.Pointer _, Returns CI.Void), "glp_init_smcp" -> (fun x41 -> let CI.CPointer x42 = x41 in lp_glpk_stub_27_glp_init_smcp x42) | Function (CI.Pointer _, Returns (CI.Primitive CI.Int)), "glp_get_num_bin" -> (fun x43 -> let CI.CPointer x44 = x43 in lp_glpk_stub_26_glp_get_num_bin x44) | Function (CI.Pointer _, Returns (CI.Primitive CI.Int)), "glp_get_num_int" -> (fun x45 -> let CI.CPointer x46 = x45 in lp_glpk_stub_25_glp_get_num_int x46) | Function (CI.Pointer _, Returns (CI.Primitive CI.Int)), "glp_get_num_nz" -> (fun x47 -> let CI.CPointer x48 = x47 in lp_glpk_stub_24_glp_get_num_nz x48) | Function (CI.Pointer _, Returns (CI.Primitive CI.Int)), "glp_get_num_cols" -> (fun x49 -> let CI.CPointer x50 = x49 in lp_glpk_stub_23_glp_get_num_cols x50) | Function (CI.Pointer _, Returns (CI.Primitive CI.Int)), "glp_get_num_rows" -> (fun x51 -> let CI.CPointer x52 = x51 in lp_glpk_stub_22_glp_get_num_rows x52) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Returns (CI.View {CI.ty = CI.Primitive CI.Int; read = x56; _}))), "glp_get_col_kind" -> (fun x53 x55 -> let CI.CPointer x54 = x53 in x56 (lp_glpk_stub_21_glp_get_col_kind x54 x55)) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Function (CI.View {CI.ty = CI.Primitive CI.Int; write = x61; _}, Returns CI.Void))), "glp_set_col_kind" -> (fun x57 x59 x60 -> let CI.CPointer x58 = x57 in let x62 = x61 x60 in lp_glpk_stub_20_glp_set_col_kind x58 x59 x62) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Function (CI.Pointer _, Function (CI.Pointer _, Function (CI.Pointer _, Returns CI.Void))))), "glp_load_matrix" -> (fun x63 x65 x66 x68 x70 -> let CI.CPointer x71 = x70 in let CI.CPointer x69 = x68 in let CI.CPointer x67 = x66 in let CI.CPointer x64 = x63 in lp_glpk_stub_19_glp_load_matrix x64 x65 x67 x69 x71) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Function (CI.Primitive CI.Int, Function (CI.Pointer _, Function (CI.Pointer _, Returns CI.Void))))), "glp_set_mat_col" -> (fun x72 x74 x75 x76 x78 -> let CI.CPointer x79 = x78 in let CI.CPointer x77 = x76 in let CI.CPointer x73 = x72 in lp_glpk_stub_18_glp_set_mat_col x73 x74 x75 x77 x79) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Function (CI.Primitive CI.Int, Function (CI.Pointer _, Function (CI.Pointer _, Returns CI.Void))))), "glp_set_mat_row" -> (fun x80 x82 x83 x84 x86 -> let CI.CPointer x87 = x86 in let CI.CPointer x85 = x84 in let CI.CPointer x81 = x80 in lp_glpk_stub_17_glp_set_mat_row x81 x82 x83 x85 x87) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Function (CI.Primitive CI.Double, Returns CI.Void))), "glp_set_obj_coef" -> (fun x88 x90 x91 -> let CI.CPointer x89 = x88 in lp_glpk_stub_16_glp_set_obj_coef x89 x90 x91) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Function (CI.View {CI.ty = CI.Primitive CI.Int; write = x96; _}, Function (CI.Primitive CI.Double, Function (CI.Primitive CI.Double, Returns CI.Void))))), "glp_set_col_bnds" -> (fun x92 x94 x95 x98 x99 -> let CI.CPointer x93 = x92 in let x97 = x96 x95 in lp_glpk_stub_15_glp_set_col_bnds x93 x94 x97 x98 x99) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Function (CI.View {CI.ty = CI.Primitive CI.Int; write = x104; _}, Function (CI.Primitive CI.Double, Function (CI.Primitive CI.Double, Returns CI.Void))))), "glp_set_row_bnds" -> (fun x100 x102 x103 x106 x107 -> let CI.CPointer x101 = x100 in let x105 = x104 x103 in lp_glpk_stub_14_glp_set_row_bnds x101 x102 x105 x106 x107) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Returns (CI.View {CI.ty = CI.Pointer x111; read = x112; _}))), "glp_get_col_name" -> (fun x108 x110 -> let CI.CPointer x109 = x108 in x112 (CI.make_ptr x111 (lp_glpk_stub_13_glp_get_col_name x109 x110))) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Function (CI.View {CI.ty = CI.Pointer _; write = x117; _}, Returns CI.Void))), "glp_set_col_name" -> (fun x113 x115 x116 -> let CI.CPointer x119 = x117 x116 in let CI.CPointer x114 = x113 in let x118 = x119 in lp_glpk_stub_12_glp_set_col_name x114 x115 x118) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Returns (CI.View {CI.ty = CI.Pointer x123; read = x124; _}))), "glp_get_row_name" -> (fun x120 x122 -> let CI.CPointer x121 = x120 in x124 (CI.make_ptr x123 (lp_glpk_stub_11_glp_get_row_name x121 x122))) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Function (CI.View {CI.ty = CI.Pointer _; write = x129; _}, Returns CI.Void))), "glp_set_row_name" -> (fun x125 x127 x128 -> let CI.CPointer x131 = x129 x128 in let CI.CPointer x126 = x125 in let x130 = x131 in lp_glpk_stub_10_glp_set_row_name x126 x127 x130) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Returns (CI.Primitive CI.Int))), "glp_add_cols" -> (fun x132 x134 -> let CI.CPointer x133 = x132 in lp_glpk_stub_9_glp_add_cols x133 x134) | Function (CI.Pointer _, Function (CI.Primitive CI.Int, Returns (CI.Primitive CI.Int))), "glp_add_rows" -> (fun x135 x137 -> let CI.CPointer x136 = x135 in lp_glpk_stub_8_glp_add_rows x136 x137) | Function (CI.Pointer _, Returns (CI.View {CI.ty = CI.Primitive CI.Int; read = x140; _})), "glp_get_obj_dir" -> (fun x138 -> let CI.CPointer x139 = x138 in x140 (lp_glpk_stub_7_glp_get_obj_dir x139)) | Function (CI.Pointer _, Function (CI.View {CI.ty = CI.Primitive CI.Int; write = x144; _}, Returns CI.Void)), "glp_set_obj_dir" -> (fun x141 x143 -> let CI.CPointer x142 = x141 in let x145 = x144 x143 in lp_glpk_stub_6_glp_set_obj_dir x142 x145) | Function (CI.Pointer _, Returns (CI.View {CI.ty = CI.Pointer x148; read = x149; _})), "glp_get_prob_name" -> (fun x146 -> let CI.CPointer x147 = x146 in x149 (CI.make_ptr x148 (lp_glpk_stub_5_glp_get_prob_name x147))) | Function (CI.Pointer _, Function (CI.View {CI.ty = CI.Pointer _; write = x153; _}, Returns CI.Void)), "glp_set_prob_name" -> (fun x150 x152 -> let CI.CPointer x155 = x153 x152 in let CI.CPointer x151 = x150 in let x154 = x155 in lp_glpk_stub_4_glp_set_prob_name x151 x154) | Function (CI.Pointer _, Returns CI.Void), "glp_delete_prob" -> (fun x156 -> let CI.CPointer x157 = x156 in lp_glpk_stub_3_glp_delete_prob x157) | Function (CI.Void, Returns (CI.Pointer x159)), "glp_create_prob" -> (fun x158 -> CI.make_ptr x159 (lp_glpk_stub_2_glp_create_prob x158)) | Function (CI.View {CI.ty = CI.Primitive CI.Int; write = x161; _}, Returns CI.Void), "glp_term_out" -> (fun x160 -> let x162 = x161 x160 in lp_glpk_stub_1_glp_term_out x162) | _, s -> Printf.ksprintf failwith "No match for %s" s let foreign_value : type a. string -> a Ctypes.typ -> a Ctypes.ptr = fun name t -> match t, name with | _, s -> Printf.ksprintf failwith "No match for %s" s
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>