-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathglpk.h
1705 lines (1327 loc) · 57.6 KB
/
glpk.h
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
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
/* glpk.h */
/***********************************************************************
* This code is part of GLPK (GNU Linear Programming Kit).
*
* Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008,
* 2009, 2010, 2011, 2013 Andrew Makhorin, Department for Applied
* Informatics, Moscow Aviation Institute, Moscow, Russia. All rights
* reserved. E-mail: <[email protected]>.
*
* GLPK is free software: you can redistribute it and/or modify it
* under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* GLPK is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
* or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
* License for more details.
*
* You should have received a copy of the GNU General Public License
* along with GLPK. If not, see <http://www.gnu.org/licenses/>.
***********************************************************************/
#ifndef GLPK_H
#define GLPK_H
#include <stdarg.h>
#include <stddef.h>
#ifdef __cplusplus
extern "C" {
#endif
/* library version numbers: */
#define GLP_MAJOR_VERSION 4
#define GLP_MINOR_VERSION 48
typedef struct glp_prob glp_prob;
/* LP/MIP problem object */
/* optimization direction flag: */
#define GLP_MIN 1 /* minimization */
#define GLP_MAX 2 /* maximization */
/* kind of structural variable: */
#define GLP_CV 1 /* continuous variable */
#define GLP_IV 2 /* integer variable */
#define GLP_BV 3 /* binary variable */
/* type of auxiliary/structural variable: */
#define GLP_FR 1 /* free variable */
#define GLP_LO 2 /* variable with lower bound */
#define GLP_UP 3 /* variable with upper bound */
#define GLP_DB 4 /* double-bounded variable */
#define GLP_FX 5 /* fixed variable */
/* status of auxiliary/structural variable: */
#define GLP_BS 1 /* basic variable */
#define GLP_NL 2 /* non-basic variable on lower bound */
#define GLP_NU 3 /* non-basic variable on upper bound */
#define GLP_NF 4 /* non-basic free variable */
#define GLP_NS 5 /* non-basic fixed variable */
/* scaling options: */
#define GLP_SF_GM 0x01 /* perform geometric mean scaling */
#define GLP_SF_EQ 0x10 /* perform equilibration scaling */
#define GLP_SF_2N 0x20 /* round scale factors to power of two */
#define GLP_SF_SKIP 0x40 /* skip if problem is well scaled */
#define GLP_SF_AUTO 0x80 /* choose scaling options automatically */
/* solution indicator: */
#define GLP_SOL 1 /* basic solution */
#define GLP_IPT 2 /* interior-point solution */
#define GLP_MIP 3 /* mixed integer solution */
/* solution status: */
#define GLP_UNDEF 1 /* solution is undefined */
#define GLP_FEAS 2 /* solution is feasible */
#define GLP_INFEAS 3 /* solution is infeasible */
#define GLP_NOFEAS 4 /* no feasible solution exists */
#define GLP_OPT 5 /* solution is optimal */
#define GLP_UNBND 6 /* solution is unbounded */
typedef struct
{ /* basis factorization control parameters */
int msg_lev; /* (reserved) */
int type; /* factorization type: */
#define GLP_BF_FT 1 /* LUF + Forrest-Tomlin */
#define GLP_BF_BG 2 /* LUF + Schur compl. + Bartels-Golub */
#define GLP_BF_GR 3 /* LUF + Schur compl. + Givens rotation */
int lu_size; /* luf.sv_size */
double piv_tol; /* luf.piv_tol */
int piv_lim; /* luf.piv_lim */
int suhl; /* luf.suhl */
double eps_tol; /* luf.eps_tol */
double max_gro; /* luf.max_gro */
int nfs_max; /* fhv.hh_max */
double upd_tol; /* fhv.upd_tol */
int nrs_max; /* lpf.n_max */
int rs_size; /* lpf.v_size */
double foo_bar[38]; /* (reserved) */
} glp_bfcp;
typedef struct
{ /* simplex method control parameters */
int msg_lev; /* message level: */
#define GLP_MSG_OFF 0 /* no output */
#define GLP_MSG_ERR 1 /* warning and error messages only */
#define GLP_MSG_ON 2 /* normal output */
#define GLP_MSG_ALL 3 /* full output */
#define GLP_MSG_DBG 4 /* debug output */
int meth; /* simplex method option: */
#define GLP_PRIMAL 1 /* use primal simplex */
#define GLP_DUALP 2 /* use dual; if it fails, use primal */
#define GLP_DUAL 3 /* use dual simplex */
int pricing; /* pricing technique: */
#define GLP_PT_STD 0x11 /* standard (Dantzig rule) */
#define GLP_PT_PSE 0x22 /* projected steepest edge */
int r_test; /* ratio test technique: */
#define GLP_RT_STD 0x11 /* standard (textbook) */
#define GLP_RT_HAR 0x22 /* two-pass Harris' ratio test */
double tol_bnd; /* spx.tol_bnd */
double tol_dj; /* spx.tol_dj */
double tol_piv; /* spx.tol_piv */
double obj_ll; /* spx.obj_ll */
double obj_ul; /* spx.obj_ul */
int it_lim; /* spx.it_lim */
int tm_lim; /* spx.tm_lim (milliseconds) */
int out_frq; /* spx.out_frq */
int out_dly; /* spx.out_dly (milliseconds) */
int presolve; /* enable/disable using LP presolver */
double foo_bar[36]; /* (reserved) */
} glp_smcp;
typedef struct
{ /* interior-point solver control parameters */
int msg_lev; /* message level (see glp_smcp) */
int ord_alg; /* ordering algorithm: */
#define GLP_ORD_NONE 0 /* natural (original) ordering */
#define GLP_ORD_QMD 1 /* quotient minimum degree (QMD) */
#define GLP_ORD_AMD 2 /* approx. minimum degree (AMD) */
#define GLP_ORD_SYMAMD 3 /* approx. minimum degree (SYMAMD) */
double foo_bar[48]; /* (reserved) */
} glp_iptcp;
typedef struct glp_tree glp_tree;
/* branch-and-bound tree */
typedef struct
{ /* integer optimizer control parameters */
int msg_lev; /* message level (see glp_smcp) */
int br_tech; /* branching technique: */
#define GLP_BR_FFV 1 /* first fractional variable */
#define GLP_BR_LFV 2 /* last fractional variable */
#define GLP_BR_MFV 3 /* most fractional variable */
#define GLP_BR_DTH 4 /* heuristic by Driebeck and Tomlin */
#define GLP_BR_PCH 5 /* hybrid pseudocost heuristic */
int bt_tech; /* backtracking technique: */
#define GLP_BT_DFS 1 /* depth first search */
#define GLP_BT_BFS 2 /* breadth first search */
#define GLP_BT_BLB 3 /* best local bound */
#define GLP_BT_BPH 4 /* best projection heuristic */
double tol_int; /* mip.tol_int */
double tol_obj; /* mip.tol_obj */
int tm_lim; /* mip.tm_lim (milliseconds) */
int out_frq; /* mip.out_frq (milliseconds) */
int out_dly; /* mip.out_dly (milliseconds) */
void (*cb_func)(glp_tree *T, void *info);
/* mip.cb_func */
void *cb_info; /* mip.cb_info */
int cb_size; /* mip.cb_size */
int pp_tech; /* preprocessing technique: */
#define GLP_PP_NONE 0 /* disable preprocessing */
#define GLP_PP_ROOT 1 /* preprocessing only on root level */
#define GLP_PP_ALL 2 /* preprocessing on all levels */
double mip_gap; /* relative MIP gap tolerance */
int mir_cuts; /* MIR cuts (GLP_ON/GLP_OFF) */
int gmi_cuts; /* Gomory's cuts (GLP_ON/GLP_OFF) */
int cov_cuts; /* cover cuts (GLP_ON/GLP_OFF) */
int clq_cuts; /* clique cuts (GLP_ON/GLP_OFF) */
int presolve; /* enable/disable using MIP presolver */
int binarize; /* try to binarize integer variables */
int fp_heur; /* feasibility pump heuristic */
#if 1 /* 28/V-2010 */
int alien; /* use alien solver */
#endif
double foo_bar[29]; /* (reserved) */
} glp_iocp;
typedef struct
{ /* additional row attributes */
int level;
/* subproblem level at which the row was added */
int origin;
/* row origin flag: */
#define GLP_RF_REG 0 /* regular constraint */
#define GLP_RF_LAZY 1 /* "lazy" constraint */
#define GLP_RF_CUT 2 /* cutting plane constraint */
int klass;
/* row class descriptor: */
#define GLP_RF_GMI 1 /* Gomory's mixed integer cut */
#define GLP_RF_MIR 2 /* mixed integer rounding cut */
#define GLP_RF_COV 3 /* mixed cover cut */
#define GLP_RF_CLQ 4 /* clique cut */
double foo_bar[7];
/* (reserved) */
} glp_attr;
/* enable/disable flag: */
#define GLP_ON 1 /* enable something */
#define GLP_OFF 0 /* disable something */
/* reason codes: */
#define GLP_IROWGEN 0x01 /* request for row generation */
#define GLP_IBINGO 0x02 /* better integer solution found */
#define GLP_IHEUR 0x03 /* request for heuristic solution */
#define GLP_ICUTGEN 0x04 /* request for cut generation */
#define GLP_IBRANCH 0x05 /* request for branching */
#define GLP_ISELECT 0x06 /* request for subproblem selection */
#define GLP_IPREPRO 0x07 /* request for preprocessing */
/* branch selection indicator: */
#define GLP_NO_BRNCH 0 /* select no branch */
#define GLP_DN_BRNCH 1 /* select down-branch */
#define GLP_UP_BRNCH 2 /* select up-branch */
/* return codes: */
#define GLP_EBADB 0x01 /* invalid basis */
#define GLP_ESING 0x02 /* singular matrix */
#define GLP_ECOND 0x03 /* ill-conditioned matrix */
#define GLP_EBOUND 0x04 /* invalid bounds */
#define GLP_EFAIL 0x05 /* solver failed */
#define GLP_EOBJLL 0x06 /* objective lower limit reached */
#define GLP_EOBJUL 0x07 /* objective upper limit reached */
#define GLP_EITLIM 0x08 /* iteration limit exceeded */
#define GLP_ETMLIM 0x09 /* time limit exceeded */
#define GLP_ENOPFS 0x0A /* no primal feasible solution */
#define GLP_ENODFS 0x0B /* no dual feasible solution */
#define GLP_EROOT 0x0C /* root LP optimum not provided */
#define GLP_ESTOP 0x0D /* search terminated by application */
#define GLP_EMIPGAP 0x0E /* relative mip gap tolerance reached */
#define GLP_ENOFEAS 0x0F /* no primal/dual feasible solution */
#define GLP_ENOCVG 0x10 /* no convergence */
#define GLP_EINSTAB 0x11 /* numerical instability */
#define GLP_EDATA 0x12 /* invalid data */
#define GLP_ERANGE 0x13 /* result out of range */
/* condition indicator: */
#define GLP_KKT_PE 1 /* primal equalities */
#define GLP_KKT_PB 2 /* primal bounds */
#define GLP_KKT_DE 3 /* dual equalities */
#define GLP_KKT_DB 4 /* dual bounds */
#define GLP_KKT_CS 5 /* complementary slackness */
/* MPS file format: */
#define GLP_MPS_DECK 1 /* fixed (ancient) */
#define GLP_MPS_FILE 2 /* free (modern) */
typedef struct
{ /* MPS format control parameters */
int blank;
/* character code to replace blanks in symbolic names */
char *obj_name;
/* objective row name */
double tol_mps;
/* zero tolerance for MPS data */
double foo_bar[17];
/* (reserved for use in the future) */
} glp_mpscp;
typedef struct
{ /* CPLEX LP format control parameters */
double foo_bar[20];
/* (reserved for use in the future) */
} glp_cpxcp;
typedef struct glp_tran glp_tran;
/* MathProg translator workspace */
glp_prob *glp_create_prob(void);
/* create problem object */
void glp_set_prob_name(glp_prob *P, const char *name);
/* assign (change) problem name */
void glp_set_obj_name(glp_prob *P, const char *name);
/* assign (change) objective function name */
void glp_set_obj_dir(glp_prob *P, int dir);
/* set (change) optimization direction flag */
int glp_add_rows(glp_prob *P, int nrs);
/* add new rows to problem object */
int glp_add_cols(glp_prob *P, int ncs);
/* add new columns to problem object */
void glp_set_row_name(glp_prob *P, int i, const char *name);
/* assign (change) row name */
void glp_set_col_name(glp_prob *P, int j, const char *name);
/* assign (change) column name */
void glp_set_row_bnds(glp_prob *P, int i, int type, double lb,
double ub);
/* set (change) row bounds */
void glp_set_col_bnds(glp_prob *P, int j, int type, double lb,
double ub);
/* set (change) column bounds */
void glp_set_obj_coef(glp_prob *P, int j, double coef);
/* set (change) obj. coefficient or constant term */
void glp_set_mat_row(glp_prob *P, int i, int len, const int ind[],
const double val[]);
/* set (replace) row of the constraint matrix */
void glp_set_mat_col(glp_prob *P, int j, int len, const int ind[],
const double val[]);
/* set (replace) column of the constraint matrix */
void glp_load_matrix(glp_prob *P, int ne, const int ia[],
const int ja[], const double ar[]);
/* load (replace) the whole constraint matrix */
int glp_check_dup(int m, int n, int ne, const int ia[], const int ja[]);
/* check for duplicate elements in sparse matrix */
void glp_sort_matrix(glp_prob *P);
/* sort elements of the constraint matrix */
void glp_del_rows(glp_prob *P, int nrs, const int num[]);
/* delete specified rows from problem object */
void glp_del_cols(glp_prob *P, int ncs, const int num[]);
/* delete specified columns from problem object */
void glp_copy_prob(glp_prob *dest, glp_prob *prob, int names);
/* copy problem object content */
void glp_erase_prob(glp_prob *P);
/* erase problem object content */
void glp_delete_prob(glp_prob *P);
/* delete problem object */
const char *glp_get_prob_name(glp_prob *P);
/* retrieve problem name */
const char *glp_get_obj_name(glp_prob *P);
/* retrieve objective function name */
int glp_get_obj_dir(glp_prob *P);
/* retrieve optimization direction flag */
int glp_get_num_rows(glp_prob *P);
/* retrieve number of rows */
int glp_get_num_cols(glp_prob *P);
/* retrieve number of columns */
const char *glp_get_row_name(glp_prob *P, int i);
/* retrieve row name */
const char *glp_get_col_name(glp_prob *P, int j);
/* retrieve column name */
int glp_get_row_type(glp_prob *P, int i);
/* retrieve row type */
double glp_get_row_lb(glp_prob *P, int i);
/* retrieve row lower bound */
double glp_get_row_ub(glp_prob *P, int i);
/* retrieve row upper bound */
int glp_get_col_type(glp_prob *P, int j);
/* retrieve column type */
double glp_get_col_lb(glp_prob *P, int j);
/* retrieve column lower bound */
double glp_get_col_ub(glp_prob *P, int j);
/* retrieve column upper bound */
double glp_get_obj_coef(glp_prob *P, int j);
/* retrieve obj. coefficient or constant term */
int glp_get_num_nz(glp_prob *P);
/* retrieve number of constraint coefficients */
int glp_get_mat_row(glp_prob *P, int i, int ind[], double val[]);
/* retrieve row of the constraint matrix */
int glp_get_mat_col(glp_prob *P, int j, int ind[], double val[]);
/* retrieve column of the constraint matrix */
void glp_create_index(glp_prob *P);
/* create the name index */
int glp_find_row(glp_prob *P, const char *name);
/* find row by its name */
int glp_find_col(glp_prob *P, const char *name);
/* find column by its name */
void glp_delete_index(glp_prob *P);
/* delete the name index */
void glp_set_rii(glp_prob *P, int i, double rii);
/* set (change) row scale factor */
void glp_set_sjj(glp_prob *P, int j, double sjj);
/* set (change) column scale factor */
double glp_get_rii(glp_prob *P, int i);
/* retrieve row scale factor */
double glp_get_sjj(glp_prob *P, int j);
/* retrieve column scale factor */
void glp_scale_prob(glp_prob *P, int flags);
/* scale problem data */
void glp_unscale_prob(glp_prob *P);
/* unscale problem data */
void glp_set_row_stat(glp_prob *P, int i, int stat);
/* set (change) row status */
void glp_set_col_stat(glp_prob *P, int j, int stat);
/* set (change) column status */
void glp_std_basis(glp_prob *P);
/* construct standard initial LP basis */
void glp_adv_basis(glp_prob *P, int flags);
/* construct advanced initial LP basis */
void glp_cpx_basis(glp_prob *P);
/* construct Bixby's initial LP basis */
int glp_simplex(glp_prob *P, const glp_smcp *parm);
/* solve LP problem with the simplex method */
int glp_exact(glp_prob *P, const glp_smcp *parm);
/* solve LP problem in exact arithmetic */
void glp_init_smcp(glp_smcp *parm);
/* initialize simplex method control parameters */
int glp_get_status(glp_prob *P);
/* retrieve generic status of basic solution */
int glp_get_prim_stat(glp_prob *P);
/* retrieve status of primal basic solution */
int glp_get_dual_stat(glp_prob *P);
/* retrieve status of dual basic solution */
double glp_get_obj_val(glp_prob *P);
/* retrieve objective value (basic solution) */
int glp_get_row_stat(glp_prob *P, int i);
/* retrieve row status */
double glp_get_row_prim(glp_prob *P, int i);
/* retrieve row primal value (basic solution) */
double glp_get_row_dual(glp_prob *P, int i);
/* retrieve row dual value (basic solution) */
int glp_get_col_stat(glp_prob *P, int j);
/* retrieve column status */
double glp_get_col_prim(glp_prob *P, int j);
/* retrieve column primal value (basic solution) */
double glp_get_col_dual(glp_prob *P, int j);
/* retrieve column dual value (basic solution) */
int glp_get_unbnd_ray(glp_prob *P);
/* determine variable causing unboundedness */
int glp_interior(glp_prob *P, const glp_iptcp *parm);
/* solve LP problem with the interior-point method */
void glp_init_iptcp(glp_iptcp *parm);
/* initialize interior-point solver control parameters */
int glp_ipt_status(glp_prob *P);
/* retrieve status of interior-point solution */
double glp_ipt_obj_val(glp_prob *P);
/* retrieve objective value (interior point) */
double glp_ipt_row_prim(glp_prob *P, int i);
/* retrieve row primal value (interior point) */
double glp_ipt_row_dual(glp_prob *P, int i);
/* retrieve row dual value (interior point) */
double glp_ipt_col_prim(glp_prob *P, int j);
/* retrieve column primal value (interior point) */
double glp_ipt_col_dual(glp_prob *P, int j);
/* retrieve column dual value (interior point) */
void glp_set_col_kind(glp_prob *P, int j, int kind);
/* set (change) column kind */
int glp_get_col_kind(glp_prob *P, int j);
/* retrieve column kind */
int glp_get_num_int(glp_prob *P);
/* retrieve number of integer columns */
int glp_get_num_bin(glp_prob *P);
/* retrieve number of binary columns */
int glp_intopt(glp_prob *P, const glp_iocp *parm);
/* solve MIP problem with the branch-and-bound method */
void glp_init_iocp(glp_iocp *parm);
/* initialize integer optimizer control parameters */
int glp_mip_status(glp_prob *P);
/* retrieve status of MIP solution */
double glp_mip_obj_val(glp_prob *P);
/* retrieve objective value (MIP solution) */
double glp_mip_row_val(glp_prob *P, int i);
/* retrieve row value (MIP solution) */
double glp_mip_col_val(glp_prob *P, int j);
/* retrieve column value (MIP solution) */
int glp_print_sol(glp_prob *P, const char *fname);
/* write basic solution in printable format */
int glp_read_sol(glp_prob *P, const char *fname);
/* read basic solution from text file */
int glp_write_sol(glp_prob *P, const char *fname);
/* write basic solution to text file */
int glp_print_ranges(glp_prob *P, int len, const int list[],
int flags, const char *fname);
/* print sensitivity analysis report */
int glp_print_ipt(glp_prob *P, const char *fname);
/* write interior-point solution in printable format */
int glp_read_ipt(glp_prob *P, const char *fname);
/* read interior-point solution from text file */
int glp_write_ipt(glp_prob *P, const char *fname);
/* write interior-point solution to text file */
int glp_print_mip(glp_prob *P, const char *fname);
/* write MIP solution in printable format */
int glp_read_mip(glp_prob *P, const char *fname);
/* read MIP solution from text file */
int glp_write_mip(glp_prob *P, const char *fname);
/* write MIP solution to text file */
int glp_bf_exists(glp_prob *P);
/* check if the basis factorization exists */
int glp_factorize(glp_prob *P);
/* compute the basis factorization */
int glp_bf_updated(glp_prob *P);
/* check if the basis factorization has been updated */
void glp_get_bfcp(glp_prob *P, glp_bfcp *parm);
/* retrieve basis factorization control parameters */
void glp_set_bfcp(glp_prob *P, const glp_bfcp *parm);
/* change basis factorization control parameters */
int glp_get_bhead(glp_prob *P, int k);
/* retrieve the basis header information */
int glp_get_row_bind(glp_prob *P, int i);
/* retrieve row index in the basis header */
int glp_get_col_bind(glp_prob *P, int j);
/* retrieve column index in the basis header */
void glp_ftran(glp_prob *P, double x[]);
/* perform forward transformation (solve system B*x = b) */
void glp_btran(glp_prob *P, double x[]);
/* perform backward transformation (solve system B'*x = b) */
int glp_warm_up(glp_prob *P);
/* "warm up" LP basis */
int glp_eval_tab_row(glp_prob *P, int k, int ind[], double val[]);
/* compute row of the simplex tableau */
int glp_eval_tab_col(glp_prob *P, int k, int ind[], double val[]);
/* compute column of the simplex tableau */
int glp_transform_row(glp_prob *P, int len, int ind[], double val[]);
/* transform explicitly specified row */
int glp_transform_col(glp_prob *P, int len, int ind[], double val[]);
/* transform explicitly specified column */
int glp_prim_rtest(glp_prob *P, int len, const int ind[],
const double val[], int dir, double eps);
/* perform primal ratio test */
int glp_dual_rtest(glp_prob *P, int len, const int ind[],
const double val[], int dir, double eps);
/* perform dual ratio test */
void glp_analyze_bound(glp_prob *P, int k, double *value1, int *var1,
double *value2, int *var2);
/* analyze active bound of non-basic variable */
void glp_analyze_coef(glp_prob *P, int k, double *coef1, int *var1,
double *value1, double *coef2, int *var2, double *value2);
/* analyze objective coefficient at basic variable */
int glp_ios_reason(glp_tree *T);
/* determine reason for calling the callback routine */
glp_prob *glp_ios_get_prob(glp_tree *T);
/* access the problem object */
void glp_ios_tree_size(glp_tree *T, int *a_cnt, int *n_cnt,
int *t_cnt);
/* determine size of the branch-and-bound tree */
int glp_ios_curr_node(glp_tree *T);
/* determine current active subproblem */
int glp_ios_next_node(glp_tree *T, int p);
/* determine next active subproblem */
int glp_ios_prev_node(glp_tree *T, int p);
/* determine previous active subproblem */
int glp_ios_up_node(glp_tree *T, int p);
/* determine parent subproblem */
int glp_ios_node_level(glp_tree *T, int p);
/* determine subproblem level */
double glp_ios_node_bound(glp_tree *T, int p);
/* determine subproblem local bound */
int glp_ios_best_node(glp_tree *T);
/* find active subproblem with best local bound */
double glp_ios_mip_gap(glp_tree *T);
/* compute relative MIP gap */
void *glp_ios_node_data(glp_tree *T, int p);
/* access subproblem application-specific data */
void glp_ios_row_attr(glp_tree *T, int i, glp_attr *attr);
/* retrieve additional row attributes */
int glp_ios_pool_size(glp_tree *T);
/* determine current size of the cut pool */
int glp_ios_add_row(glp_tree *T,
const char *name, int klass, int flags, int len, const int ind[],
const double val[], int type, double rhs);
/* add row (constraint) to the cut pool */
void glp_ios_del_row(glp_tree *T, int i);
/* remove row (constraint) from the cut pool */
void glp_ios_clear_pool(glp_tree *T);
/* remove all rows (constraints) from the cut pool */
int glp_ios_can_branch(glp_tree *T, int j);
/* check if can branch upon specified variable */
void glp_ios_branch_upon(glp_tree *T, int j, int sel);
/* choose variable to branch upon */
void glp_ios_select_node(glp_tree *T, int p);
/* select subproblem to continue the search */
int glp_ios_heur_sol(glp_tree *T, const double x[]);
/* provide solution found by heuristic */
void glp_ios_terminate(glp_tree *T);
/* terminate the solution process */
void glp_init_mpscp(glp_mpscp *parm);
/* initialize MPS format control parameters */
int glp_read_mps(glp_prob *P, int fmt, const glp_mpscp *parm,
const char *fname);
/* read problem data in MPS format */
int glp_write_mps(glp_prob *P, int fmt, const glp_mpscp *parm,
const char *fname);
/* write problem data in MPS format */
void glp_init_cpxcp(glp_cpxcp *parm);
/* initialize CPLEX LP format control parameters */
int glp_read_lp(glp_prob *P, const glp_cpxcp *parm, const char *fname);
/* read problem data in CPLEX LP format */
int glp_write_lp(glp_prob *P, const glp_cpxcp *parm, const char *fname);
/* write problem data in CPLEX LP format */
int glp_read_prob(glp_prob *P, int flags, const char *fname);
/* read problem data in GLPK format */
int glp_write_prob(glp_prob *P, int flags, const char *fname);
/* write problem data in GLPK format */
glp_tran *glp_mpl_alloc_wksp(void);
/* allocate the MathProg translator workspace */
int glp_mpl_read_model(glp_tran *tran, const char *fname, int skip);
/* read and translate model section */
int glp_mpl_read_data(glp_tran *tran, const char *fname);
/* read and translate data section */
int glp_mpl_generate(glp_tran *tran, const char *fname);
/* generate the model */
void glp_mpl_build_prob(glp_tran *tran, glp_prob *prob);
/* build LP/MIP problem instance from the model */
int glp_mpl_postsolve(glp_tran *tran, glp_prob *prob, int sol);
/* postsolve the model */
void glp_mpl_free_wksp(glp_tran *tran);
/* free the MathProg translator workspace */
int glp_main(int argc, const char *argv[]);
/* stand-alone LP/MIP solver */
int glp_read_cnfsat(glp_prob *P, const char *fname);
/* read CNF-SAT problem data in DIMACS format */
int glp_check_cnfsat(glp_prob *P);
/* check for CNF-SAT problem instance */
int glp_write_cnfsat(glp_prob *P, const char *fname);
/* write CNF-SAT problem data in DIMACS format */
int glp_minisat1(glp_prob *P);
/* solve CNF-SAT problem with MiniSat solver */
int glp_intfeas1(glp_prob *P, int use_bound, int obj_bound);
/* solve integer feasibility problem */
int glp_init_env(void);
/* initialize GLPK environment */
const char *glp_version(void);
/* determine library version */
int glp_free_env(void);
/* free GLPK environment */
void glp_printf(const char *fmt, ...);
/* write formatted output to terminal */
void glp_vprintf(const char *fmt, va_list arg);
/* write formatted output to terminal */
int glp_term_out(int flag);
/* enable/disable terminal output */
void glp_term_hook(int (*func)(void *info, const char *s), void *info);
/* install hook to intercept terminal output */
int glp_open_tee(const char *fname);
/* start copying terminal output to text file */
int glp_close_tee(void);
/* stop copying terminal output to text file */
#ifndef GLP_ERROR_DEFINED
#define GLP_ERROR_DEFINED
typedef void (*_glp_error)(const char *fmt, ...);
#endif
#define glp_error glp_error_(__FILE__, __LINE__)
_glp_error glp_error_(const char *file, int line);
/* display error message and terminate execution */
#define glp_assert(expr) \
((void)((expr) || (glp_assert_(#expr, __FILE__, __LINE__), 1)))
void glp_assert_(const char *expr, const char *file, int line);
/* check for logical condition */
void glp_error_hook(void (*func)(void *info), void *info);
/* install hook to intercept abnormal termination */
void *glp_malloc(int size);
/* allocate memory block */
void *glp_calloc(int n, int size);
/* allocate memory block */
void glp_free(void *ptr);
/* free memory block */
void glp_mem_limit(int limit);
/* set memory usage limit */
void glp_mem_usage(int *count, int *cpeak, size_t *total,
size_t *tpeak);
/* get memory usage information */
typedef struct glp_graph glp_graph;
typedef struct glp_vertex glp_vertex;
typedef struct glp_arc glp_arc;
struct glp_graph
{ /* graph descriptor */
void *pool; /* DMP *pool; */
/* memory pool to store graph components */
char *name;
/* graph name (1 to 255 chars); NULL means no name is assigned
to the graph */
int nv_max;
/* length of the vertex list (enlarged automatically) */
int nv;
/* number of vertices in the graph, 0 <= nv <= nv_max */
int na;
/* number of arcs in the graph, na >= 0 */
glp_vertex **v; /* glp_vertex *v[1+nv_max]; */
/* v[i], 1 <= i <= nv, is a pointer to i-th vertex */
void *index; /* AVL *index; */
/* vertex index to find vertices by their names; NULL means the
index does not exist */
int v_size;
/* size of data associated with each vertex (0 to 256 bytes) */
int a_size;
/* size of data associated with each arc (0 to 256 bytes) */
};
struct glp_vertex
{ /* vertex descriptor */
int i;
/* vertex ordinal number, 1 <= i <= nv */
char *name;
/* vertex name (1 to 255 chars); NULL means no name is assigned
to the vertex */
void *entry; /* AVLNODE *entry; */
/* pointer to corresponding entry in the vertex index; NULL means
that either the index does not exist or the vertex has no name
assigned */
void *data;
/* pointer to data associated with the vertex */
void *temp;
/* working pointer */
glp_arc *in;
/* pointer to the (unordered) list of incoming arcs */
glp_arc *out;
/* pointer to the (unordered) list of outgoing arcs */
};
struct glp_arc
{ /* arc descriptor */
glp_vertex *tail;
/* pointer to the tail endpoint */
glp_vertex *head;
/* pointer to the head endpoint */
void *data;
/* pointer to data associated with the arc */
void *temp;
/* working pointer */
glp_arc *t_prev;
/* pointer to previous arc having the same tail endpoint */
glp_arc *t_next;
/* pointer to next arc having the same tail endpoint */
glp_arc *h_prev;
/* pointer to previous arc having the same head endpoint */
glp_arc *h_next;
/* pointer to next arc having the same head endpoint */
};
glp_graph *glp_create_graph(int v_size, int a_size);
/* create graph */
void glp_set_graph_name(glp_graph *G, const char *name);
/* assign (change) graph name */
int glp_add_vertices(glp_graph *G, int nadd);
/* add new vertices to graph */
void glp_set_vertex_name(glp_graph *G, int i, const char *name);
/* assign (change) vertex name */
glp_arc *glp_add_arc(glp_graph *G, int i, int j);
/* add new arc to graph */
void glp_del_vertices(glp_graph *G, int ndel, const int num[]);
/* delete vertices from graph */
void glp_del_arc(glp_graph *G, glp_arc *a);
/* delete arc from graph */
void glp_erase_graph(glp_graph *G, int v_size, int a_size);
/* erase graph content */
void glp_delete_graph(glp_graph *G);
/* delete graph */
void glp_create_v_index(glp_graph *G);
/* create vertex name index */
int glp_find_vertex(glp_graph *G, const char *name);
/* find vertex by its name */
void glp_delete_v_index(glp_graph *G);
/* delete vertex name index */
int glp_read_graph(glp_graph *G, const char *fname);
/* read graph from plain text file */
int glp_write_graph(glp_graph *G, const char *fname);
/* write graph to plain text file */
void glp_mincost_lp(glp_prob *P, glp_graph *G, int names, int v_rhs,
int a_low, int a_cap, int a_cost);
/* convert minimum cost flow problem to LP */
int glp_mincost_okalg(glp_graph *G, int v_rhs, int a_low, int a_cap,
int a_cost, double *sol, int a_x, int v_pi);
/* find minimum-cost flow with out-of-kilter algorithm */
void glp_maxflow_lp(glp_prob *P, glp_graph *G, int names, int s,
int t, int a_cap);
/* convert maximum flow problem to LP */
int glp_maxflow_ffalg(glp_graph *G, int s, int t, int a_cap,
double *sol, int a_x, int v_cut);
/* find maximal flow with Ford-Fulkerson algorithm */
int glp_check_asnprob(glp_graph *G, int v_set);
/* check correctness of assignment problem data */
/* assignment problem formulation: */
#define GLP_ASN_MIN 1 /* perfect matching (minimization) */
#define GLP_ASN_MAX 2 /* perfect matching (maximization) */
#define GLP_ASN_MMP 3 /* maximum matching */
int glp_asnprob_lp(glp_prob *P, int form, glp_graph *G, int names,
int v_set, int a_cost);
/* convert assignment problem to LP */
int glp_asnprob_okalg(int form, glp_graph *G, int v_set, int a_cost,
double *sol, int a_x);
/* solve assignment problem with out-of-kilter algorithm */
int glp_asnprob_hall(glp_graph *G, int v_set, int a_x);
/* find bipartite matching of maximum cardinality */
double glp_cpp(glp_graph *G, int v_t, int v_es, int v_ls);
/* solve critical path problem */
int glp_read_mincost(glp_graph *G, int v_rhs, int a_low, int a_cap,
int a_cost, const char *fname);
/* read min-cost flow problem data in DIMACS format */
int glp_write_mincost(glp_graph *G, int v_rhs, int a_low, int a_cap,
int a_cost, const char *fname);
/* write min-cost flow problem data in DIMACS format */
int glp_read_maxflow(glp_graph *G, int *s, int *t, int a_cap,
const char *fname);
/* read maximum flow problem data in DIMACS format */
int glp_write_maxflow(glp_graph *G, int s, int t, int a_cap,
const char *fname);
/* write maximum flow problem data in DIMACS format */
int glp_read_asnprob(glp_graph *G, int v_set, int a_cost, const char
*fname);
/* read assignment problem data in DIMACS format */
int glp_write_asnprob(glp_graph *G, int v_set, int a_cost, const char
*fname);
/* write assignment problem data in DIMACS format */
int glp_read_ccdata(glp_graph *G, int v_wgt, const char *fname);