| ... |
... |
@@ -568,69 +568,69 @@
|
| 568 |
568 |
_expr(e), _lb(NaN), _ub(NaN) {}
|
| 569 |
569 |
///\e
|
| 570 |
570 |
void clear()
|
| 571 |
571 |
{
|
| 572 |
572 |
_expr.clear();
|
| 573 |
573 |
_lb=_ub=NaN;
|
| 574 |
574 |
}
|
| 575 |
575 |
|
| 576 |
576 |
///Reference to the linear expression
|
| 577 |
577 |
Expr &expr() { return _expr; }
|
| 578 |
578 |
///Cont reference to the linear expression
|
| 579 |
579 |
const Expr &expr() const { return _expr; }
|
| 580 |
580 |
///Reference to the lower bound.
|
| 581 |
581 |
|
| 582 |
582 |
///\return
|
| 583 |
583 |
///- \ref INF "INF": the constraint is lower unbounded.
|
| 584 |
584 |
///- \ref NaN "NaN": lower bound has not been set.
|
| 585 |
585 |
///- finite number: the lower bound
|
| 586 |
586 |
Value &lowerBound() { return _lb; }
|
| 587 |
587 |
///The const version of \ref lowerBound()
|
| 588 |
588 |
const Value &lowerBound() const { return _lb; }
|
| 589 |
589 |
///Reference to the upper bound.
|
| 590 |
590 |
|
| 591 |
591 |
///\return
|
| 592 |
592 |
///- \ref INF "INF": the constraint is upper unbounded.
|
| 593 |
593 |
///- \ref NaN "NaN": upper bound has not been set.
|
| 594 |
594 |
///- finite number: the upper bound
|
| 595 |
595 |
Value &upperBound() { return _ub; }
|
| 596 |
596 |
///The const version of \ref upperBound()
|
| 597 |
597 |
const Value &upperBound() const { return _ub; }
|
| 598 |
598 |
///Is the constraint lower bounded?
|
| 599 |
599 |
bool lowerBounded() const {
|
| 600 |
|
return _lb != -INF && !std::isnan(_lb);
|
|
600 |
return _lb != -INF && !isnan(_lb);
|
| 601 |
601 |
}
|
| 602 |
602 |
///Is the constraint upper bounded?
|
| 603 |
603 |
bool upperBounded() const {
|
| 604 |
|
return _ub != INF && !std::isnan(_ub);
|
|
604 |
return _ub != INF && !isnan(_ub);
|
| 605 |
605 |
}
|
| 606 |
606 |
|
| 607 |
607 |
};
|
| 608 |
608 |
|
| 609 |
609 |
///Linear expression of rows
|
| 610 |
610 |
|
| 611 |
611 |
///This data structure represents a column of the matrix,
|
| 612 |
612 |
///thas is it strores a linear expression of the dual variables
|
| 613 |
613 |
///(\ref Row "Row"s).
|
| 614 |
614 |
///
|
| 615 |
615 |
///There are several ways to access and modify the contents of this
|
| 616 |
616 |
///container.
|
| 617 |
617 |
///\code
|
| 618 |
618 |
///e[v]=5;
|
| 619 |
619 |
///e[v]+=12;
|
| 620 |
620 |
///e.erase(v);
|
| 621 |
621 |
///\endcode
|
| 622 |
622 |
///or you can also iterate through its elements.
|
| 623 |
623 |
///\code
|
| 624 |
624 |
///double s=0;
|
| 625 |
625 |
///for(LpBase::DualExpr::ConstCoeffIt i(e);i!=INVALID;++i)
|
| 626 |
626 |
/// s+=*i;
|
| 627 |
627 |
///\endcode
|
| 628 |
628 |
///(This code computes the sum of all coefficients).
|
| 629 |
629 |
///- Numbers (<tt>double</tt>'s)
|
| 630 |
630 |
///and variables (\ref Row "Row"s) directly convert to an
|
| 631 |
631 |
///\ref DualExpr and the usual linear operations are defined, so
|
| 632 |
632 |
///\code
|
| 633 |
633 |
///v+w
|
| 634 |
634 |
///2*v-3.12*(v-w/2)
|
| 635 |
635 |
///v*2.1+(3*v+(v*12+w)*3)/2
|
| 636 |
636 |
///\endcode
|
| ... |
... |
@@ -1637,101 +1637,101 @@
|
| 1637 |
1637 |
///\relates LpBase::Constr
|
| 1638 |
1638 |
///
|
| 1639 |
1639 |
inline LpBase::Constr operator>=(const LpBase::Expr &e,
|
| 1640 |
1640 |
const LpBase::Value &f) {
|
| 1641 |
1641 |
return LpBase::Constr(f, e, LpBase::INF);
|
| 1642 |
1642 |
}
|
| 1643 |
1643 |
|
| 1644 |
1644 |
///Create constraint
|
| 1645 |
1645 |
|
| 1646 |
1646 |
///\relates LpBase::Constr
|
| 1647 |
1647 |
///
|
| 1648 |
1648 |
inline LpBase::Constr operator==(const LpBase::Expr &e,
|
| 1649 |
1649 |
const LpBase::Value &f) {
|
| 1650 |
1650 |
return LpBase::Constr(f, e, f);
|
| 1651 |
1651 |
}
|
| 1652 |
1652 |
|
| 1653 |
1653 |
///Create constraint
|
| 1654 |
1654 |
|
| 1655 |
1655 |
///\relates LpBase::Constr
|
| 1656 |
1656 |
///
|
| 1657 |
1657 |
inline LpBase::Constr operator==(const LpBase::Expr &e,
|
| 1658 |
1658 |
const LpBase::Expr &f) {
|
| 1659 |
1659 |
return LpBase::Constr(0, f - e, 0);
|
| 1660 |
1660 |
}
|
| 1661 |
1661 |
|
| 1662 |
1662 |
///Create constraint
|
| 1663 |
1663 |
|
| 1664 |
1664 |
///\relates LpBase::Constr
|
| 1665 |
1665 |
///
|
| 1666 |
1666 |
inline LpBase::Constr operator<=(const LpBase::Value &n,
|
| 1667 |
1667 |
const LpBase::Constr &c) {
|
| 1668 |
1668 |
LpBase::Constr tmp(c);
|
| 1669 |
|
LEMON_ASSERT(std::isnan(tmp.lowerBound()), "Wrong LP constraint");
|
|
1669 |
LEMON_ASSERT(isnan(tmp.lowerBound()), "Wrong LP constraint");
|
| 1670 |
1670 |
tmp.lowerBound()=n;
|
| 1671 |
1671 |
return tmp;
|
| 1672 |
1672 |
}
|
| 1673 |
1673 |
///Create constraint
|
| 1674 |
1674 |
|
| 1675 |
1675 |
///\relates LpBase::Constr
|
| 1676 |
1676 |
///
|
| 1677 |
1677 |
inline LpBase::Constr operator<=(const LpBase::Constr &c,
|
| 1678 |
1678 |
const LpBase::Value &n)
|
| 1679 |
1679 |
{
|
| 1680 |
1680 |
LpBase::Constr tmp(c);
|
| 1681 |
|
LEMON_ASSERT(std::isnan(tmp.upperBound()), "Wrong LP constraint");
|
|
1681 |
LEMON_ASSERT(isnan(tmp.upperBound()), "Wrong LP constraint");
|
| 1682 |
1682 |
tmp.upperBound()=n;
|
| 1683 |
1683 |
return tmp;
|
| 1684 |
1684 |
}
|
| 1685 |
1685 |
|
| 1686 |
1686 |
///Create constraint
|
| 1687 |
1687 |
|
| 1688 |
1688 |
///\relates LpBase::Constr
|
| 1689 |
1689 |
///
|
| 1690 |
1690 |
inline LpBase::Constr operator>=(const LpBase::Value &n,
|
| 1691 |
1691 |
const LpBase::Constr &c) {
|
| 1692 |
1692 |
LpBase::Constr tmp(c);
|
| 1693 |
|
LEMON_ASSERT(std::isnan(tmp.upperBound()), "Wrong LP constraint");
|
|
1693 |
LEMON_ASSERT(isnan(tmp.upperBound()), "Wrong LP constraint");
|
| 1694 |
1694 |
tmp.upperBound()=n;
|
| 1695 |
1695 |
return tmp;
|
| 1696 |
1696 |
}
|
| 1697 |
1697 |
///Create constraint
|
| 1698 |
1698 |
|
| 1699 |
1699 |
///\relates LpBase::Constr
|
| 1700 |
1700 |
///
|
| 1701 |
1701 |
inline LpBase::Constr operator>=(const LpBase::Constr &c,
|
| 1702 |
1702 |
const LpBase::Value &n)
|
| 1703 |
1703 |
{
|
| 1704 |
1704 |
LpBase::Constr tmp(c);
|
| 1705 |
|
LEMON_ASSERT(std::isnan(tmp.lowerBound()), "Wrong LP constraint");
|
|
1705 |
LEMON_ASSERT(isnan(tmp.lowerBound()), "Wrong LP constraint");
|
| 1706 |
1706 |
tmp.lowerBound()=n;
|
| 1707 |
1707 |
return tmp;
|
| 1708 |
1708 |
}
|
| 1709 |
1709 |
|
| 1710 |
1710 |
///Addition
|
| 1711 |
1711 |
|
| 1712 |
1712 |
///\relates LpBase::DualExpr
|
| 1713 |
1713 |
///
|
| 1714 |
1714 |
inline LpBase::DualExpr operator+(const LpBase::DualExpr &a,
|
| 1715 |
1715 |
const LpBase::DualExpr &b) {
|
| 1716 |
1716 |
LpBase::DualExpr tmp(a);
|
| 1717 |
1717 |
tmp+=b;
|
| 1718 |
1718 |
return tmp;
|
| 1719 |
1719 |
}
|
| 1720 |
1720 |
///Substraction
|
| 1721 |
1721 |
|
| 1722 |
1722 |
///\relates LpBase::DualExpr
|
| 1723 |
1723 |
///
|
| 1724 |
1724 |
inline LpBase::DualExpr operator-(const LpBase::DualExpr &a,
|
| 1725 |
1725 |
const LpBase::DualExpr &b) {
|
| 1726 |
1726 |
LpBase::DualExpr tmp(a);
|
| 1727 |
1727 |
tmp-=b;
|
| 1728 |
1728 |
return tmp;
|
| 1729 |
1729 |
}
|
| 1730 |
1730 |
///Multiply with constant
|
| 1731 |
1731 |
|
| 1732 |
1732 |
///\relates LpBase::DualExpr
|
| 1733 |
1733 |
///
|
| 1734 |
1734 |
inline LpBase::DualExpr operator*(const LpBase::DualExpr &a,
|
| 1735 |
1735 |
const LpBase::Value &b) {
|
| 1736 |
1736 |
LpBase::DualExpr tmp(a);
|
| 1737 |
1737 |
tmp*=b;
|