| ... | ... |
@@ -541,140 +541,142 @@ |
| 541 | 541 |
messageLevel(MESSAGE_NO_OUTPUT); |
| 542 | 542 |
presolver(false); |
| 543 | 543 |
} |
| 544 | 544 |
|
| 545 | 545 |
GlpkLp* GlpkLp::newSolver() const { return new GlpkLp; }
|
| 546 | 546 |
GlpkLp* GlpkLp::cloneSolver() const { return new GlpkLp(*this); }
|
| 547 | 547 |
|
| 548 | 548 |
const char* GlpkLp::_solverName() const { return "GlpkLp"; }
|
| 549 | 549 |
|
| 550 | 550 |
void GlpkLp::_clear_temporals() {
|
| 551 | 551 |
_primal_ray.clear(); |
| 552 | 552 |
_dual_ray.clear(); |
| 553 | 553 |
} |
| 554 | 554 |
|
| 555 | 555 |
GlpkLp::SolveExitStatus GlpkLp::_solve() {
|
| 556 | 556 |
return solvePrimal(); |
| 557 | 557 |
} |
| 558 | 558 |
|
| 559 | 559 |
GlpkLp::SolveExitStatus GlpkLp::solvePrimal() {
|
| 560 | 560 |
_clear_temporals(); |
| 561 | 561 |
|
| 562 | 562 |
glp_smcp smcp; |
| 563 | 563 |
glp_init_smcp(&smcp); |
| 564 | 564 |
|
| 565 | 565 |
switch (_message_level) {
|
| 566 | 566 |
case MESSAGE_NO_OUTPUT: |
| 567 | 567 |
smcp.msg_lev = GLP_MSG_OFF; |
| 568 | 568 |
break; |
| 569 | 569 |
case MESSAGE_ERROR_MESSAGE: |
| 570 | 570 |
smcp.msg_lev = GLP_MSG_ERR; |
| 571 | 571 |
break; |
| 572 | 572 |
case MESSAGE_NORMAL_OUTPUT: |
| 573 | 573 |
smcp.msg_lev = GLP_MSG_ON; |
| 574 | 574 |
break; |
| 575 | 575 |
case MESSAGE_FULL_OUTPUT: |
| 576 | 576 |
smcp.msg_lev = GLP_MSG_ALL; |
| 577 | 577 |
break; |
| 578 | 578 |
} |
| 579 | 579 |
smcp.presolve = _presolve; |
| 580 | 580 |
|
| 581 | 581 |
// If the basis is not valid we get an error return value. |
| 582 | 582 |
// In this case we can try to create a new basis. |
| 583 | 583 |
switch (glp_simplex(lp, &smcp)) {
|
| 584 | 584 |
case 0: |
| 585 | 585 |
break; |
| 586 | 586 |
case GLP_EBADB: |
| 587 | 587 |
case GLP_ESING: |
| 588 | 588 |
case GLP_ECOND: |
| 589 |
|
|
| 589 |
glp_term_out(false); |
|
| 590 | 590 |
glp_adv_basis(lp, 0); |
| 591 |
glp_term_out(true); |
|
| 591 | 592 |
if (glp_simplex(lp, &smcp) != 0) return UNSOLVED; |
| 592 | 593 |
break; |
| 593 | 594 |
default: |
| 594 | 595 |
return UNSOLVED; |
| 595 | 596 |
} |
| 596 | 597 |
|
| 597 | 598 |
return SOLVED; |
| 598 | 599 |
} |
| 599 | 600 |
|
| 600 | 601 |
GlpkLp::SolveExitStatus GlpkLp::solveDual() {
|
| 601 | 602 |
_clear_temporals(); |
| 602 | 603 |
|
| 603 | 604 |
glp_smcp smcp; |
| 604 | 605 |
glp_init_smcp(&smcp); |
| 605 | 606 |
|
| 606 | 607 |
switch (_message_level) {
|
| 607 | 608 |
case MESSAGE_NO_OUTPUT: |
| 608 | 609 |
smcp.msg_lev = GLP_MSG_OFF; |
| 609 | 610 |
break; |
| 610 | 611 |
case MESSAGE_ERROR_MESSAGE: |
| 611 | 612 |
smcp.msg_lev = GLP_MSG_ERR; |
| 612 | 613 |
break; |
| 613 | 614 |
case MESSAGE_NORMAL_OUTPUT: |
| 614 | 615 |
smcp.msg_lev = GLP_MSG_ON; |
| 615 | 616 |
break; |
| 616 | 617 |
case MESSAGE_FULL_OUTPUT: |
| 617 | 618 |
smcp.msg_lev = GLP_MSG_ALL; |
| 618 | 619 |
break; |
| 619 | 620 |
} |
| 620 | 621 |
smcp.meth = GLP_DUAL; |
| 621 | 622 |
smcp.presolve = _presolve; |
| 622 | 623 |
|
| 623 | 624 |
// If the basis is not valid we get an error return value. |
| 624 | 625 |
// In this case we can try to create a new basis. |
| 625 | 626 |
switch (glp_simplex(lp, &smcp)) {
|
| 626 | 627 |
case 0: |
| 627 | 628 |
break; |
| 628 | 629 |
case GLP_EBADB: |
| 629 | 630 |
case GLP_ESING: |
| 630 | 631 |
case GLP_ECOND: |
| 631 |
|
|
| 632 |
glp_term_out(false); |
|
| 632 | 633 |
glp_adv_basis(lp, 0); |
| 634 |
glp_term_out(true); |
|
| 633 | 635 |
if (glp_simplex(lp, &smcp) != 0) return UNSOLVED; |
| 634 | 636 |
break; |
| 635 | 637 |
default: |
| 636 | 638 |
return UNSOLVED; |
| 637 | 639 |
} |
| 638 | 640 |
return SOLVED; |
| 639 | 641 |
} |
| 640 | 642 |
|
| 641 | 643 |
GlpkLp::Value GlpkLp::_getPrimal(int i) const {
|
| 642 | 644 |
return glp_get_col_prim(lp, i); |
| 643 | 645 |
} |
| 644 | 646 |
|
| 645 | 647 |
GlpkLp::Value GlpkLp::_getDual(int i) const {
|
| 646 | 648 |
return glp_get_row_dual(lp, i); |
| 647 | 649 |
} |
| 648 | 650 |
|
| 649 | 651 |
GlpkLp::Value GlpkLp::_getPrimalValue() const {
|
| 650 | 652 |
return glp_get_obj_val(lp); |
| 651 | 653 |
} |
| 652 | 654 |
|
| 653 | 655 |
GlpkLp::VarStatus GlpkLp::_getColStatus(int i) const {
|
| 654 | 656 |
switch (glp_get_col_stat(lp, i)) {
|
| 655 | 657 |
case GLP_BS: |
| 656 | 658 |
return BASIC; |
| 657 | 659 |
case GLP_UP: |
| 658 | 660 |
return UPPER; |
| 659 | 661 |
case GLP_LO: |
| 660 | 662 |
return LOWER; |
| 661 | 663 |
case GLP_NF: |
| 662 | 664 |
return FREE; |
| 663 | 665 |
case GLP_NS: |
| 664 | 666 |
return FIXED; |
| 665 | 667 |
default: |
| 666 | 668 |
LEMON_ASSERT(false, "Wrong column status"); |
| 667 | 669 |
return GlpkLp::VarStatus(); |
| 668 | 670 |
} |
| 669 | 671 |
} |
| 670 | 672 |
|
| 671 | 673 |
GlpkLp::VarStatus GlpkLp::_getRowStatus(int i) const {
|
| 672 | 674 |
switch (glp_get_row_stat(lp, i)) {
|
| 673 | 675 |
case GLP_BS: |
| 674 | 676 |
return BASIC; |
| 675 | 677 |
case GLP_UP: |
| 676 | 678 |
return UPPER; |
| 677 | 679 |
case GLP_LO: |
| 678 | 680 |
return LOWER; |
| 679 | 681 |
case GLP_NF: |
| 680 | 682 |
return FREE; |
| ... | ... |
@@ -877,98 +879,99 @@ |
| 877 | 879 |
case INTEGER: |
| 878 | 880 |
glp_set_col_kind(lp, i, GLP_IV); |
| 879 | 881 |
break; |
| 880 | 882 |
case REAL: |
| 881 | 883 |
glp_set_col_kind(lp, i, GLP_CV); |
| 882 | 884 |
break; |
| 883 | 885 |
} |
| 884 | 886 |
} |
| 885 | 887 |
|
| 886 | 888 |
GlpkMip::ColTypes GlpkMip::_getColType(int i) const {
|
| 887 | 889 |
switch (glp_get_col_kind(lp, i)) {
|
| 888 | 890 |
case GLP_IV: |
| 889 | 891 |
case GLP_BV: |
| 890 | 892 |
return INTEGER; |
| 891 | 893 |
default: |
| 892 | 894 |
return REAL; |
| 893 | 895 |
} |
| 894 | 896 |
|
| 895 | 897 |
} |
| 896 | 898 |
|
| 897 | 899 |
GlpkMip::SolveExitStatus GlpkMip::_solve() {
|
| 898 | 900 |
glp_smcp smcp; |
| 899 | 901 |
glp_init_smcp(&smcp); |
| 900 | 902 |
|
| 901 | 903 |
switch (_message_level) {
|
| 902 | 904 |
case MESSAGE_NO_OUTPUT: |
| 903 | 905 |
smcp.msg_lev = GLP_MSG_OFF; |
| 904 | 906 |
break; |
| 905 | 907 |
case MESSAGE_ERROR_MESSAGE: |
| 906 | 908 |
smcp.msg_lev = GLP_MSG_ERR; |
| 907 | 909 |
break; |
| 908 | 910 |
case MESSAGE_NORMAL_OUTPUT: |
| 909 | 911 |
smcp.msg_lev = GLP_MSG_ON; |
| 910 | 912 |
break; |
| 911 | 913 |
case MESSAGE_FULL_OUTPUT: |
| 912 | 914 |
smcp.msg_lev = GLP_MSG_ALL; |
| 913 | 915 |
break; |
| 914 | 916 |
} |
| 915 | 917 |
smcp.meth = GLP_DUAL; |
| 916 | 918 |
|
| 917 | 919 |
// If the basis is not valid we get an error return value. |
| 918 | 920 |
// In this case we can try to create a new basis. |
| 919 | 921 |
switch (glp_simplex(lp, &smcp)) {
|
| 920 | 922 |
case 0: |
| 921 | 923 |
break; |
| 922 | 924 |
case GLP_EBADB: |
| 923 | 925 |
case GLP_ESING: |
| 924 | 926 |
case GLP_ECOND: |
| 925 |
|
|
| 927 |
glp_term_out(false); |
|
| 926 | 928 |
glp_adv_basis(lp, 0); |
| 929 |
glp_term_out(true); |
|
| 927 | 930 |
if (glp_simplex(lp, &smcp) != 0) return UNSOLVED; |
| 928 | 931 |
break; |
| 929 | 932 |
default: |
| 930 | 933 |
return UNSOLVED; |
| 931 | 934 |
} |
| 932 | 935 |
|
| 933 | 936 |
if (glp_get_status(lp) != GLP_OPT) return SOLVED; |
| 934 | 937 |
|
| 935 | 938 |
glp_iocp iocp; |
| 936 | 939 |
glp_init_iocp(&iocp); |
| 937 | 940 |
|
| 938 | 941 |
switch (_message_level) {
|
| 939 | 942 |
case MESSAGE_NO_OUTPUT: |
| 940 | 943 |
iocp.msg_lev = GLP_MSG_OFF; |
| 941 | 944 |
break; |
| 942 | 945 |
case MESSAGE_ERROR_MESSAGE: |
| 943 | 946 |
iocp.msg_lev = GLP_MSG_ERR; |
| 944 | 947 |
break; |
| 945 | 948 |
case MESSAGE_NORMAL_OUTPUT: |
| 946 | 949 |
iocp.msg_lev = GLP_MSG_ON; |
| 947 | 950 |
break; |
| 948 | 951 |
case MESSAGE_FULL_OUTPUT: |
| 949 | 952 |
iocp.msg_lev = GLP_MSG_ALL; |
| 950 | 953 |
break; |
| 951 | 954 |
} |
| 952 | 955 |
|
| 953 | 956 |
if (glp_intopt(lp, &iocp) != 0) return UNSOLVED; |
| 954 | 957 |
return SOLVED; |
| 955 | 958 |
} |
| 956 | 959 |
|
| 957 | 960 |
|
| 958 | 961 |
GlpkMip::ProblemType GlpkMip::_getType() const {
|
| 959 | 962 |
switch (glp_get_status(lp)) {
|
| 960 | 963 |
case GLP_OPT: |
| 961 | 964 |
switch (glp_mip_status(lp)) {
|
| 962 | 965 |
case GLP_UNDEF: |
| 963 | 966 |
return UNDEFINED; |
| 964 | 967 |
case GLP_NOFEAS: |
| 965 | 968 |
return INFEASIBLE; |
| 966 | 969 |
case GLP_FEAS: |
| 967 | 970 |
return FEASIBLE; |
| 968 | 971 |
case GLP_OPT: |
| 969 | 972 |
return OPTIMAL; |
| 970 | 973 |
default: |
| 971 | 974 |
LEMON_ASSERT(false, "Wrong problem type."); |
| 972 | 975 |
return GlpkMip::ProblemType(); |
| 973 | 976 |
} |
| 974 | 977 |
case GLP_NOFEAS: |
0 comments (0 inline)