boundbranchrule.h

Go to the documentation of this file.

 
#pragma once
 
#include <ogdf/lib/abacus/branchrule.h>
#include <ogdf/lib/abacus/sub.h>
 
#pragma GCC visibility push(default)
namespace abacus {
 
class OGDF_EXPORT BoundBranchRule : public BranchRule {
public:
 
 
    BoundBranchRule(
        Master *master,
        int variable,
        double lBound,
        double uBound)
        : BranchRule(master), variable_(variable), lBound_(lBound), uBound_(uBound) { }
 
 
    virtual ~BoundBranchRule() { }
 
 
    friend std::ostream &operator<<(std::ostream &out, const BoundBranchRule &rhs);
 
 
 
    virtual int extract(Sub *sub) {
        if (sub->fsVarStat(variable_)->fixedOrSet())
            return 1;
 
        sub->lBound(variable_, lBound_);
        sub->uBound(variable_, uBound_);
 
        return 0;
    }
 
 
 
    virtual void extract(LpSub *lp) {
        oldLpLBound_ = lp->lBound(variable_);
        oldLpUBound_ = lp->uBound(variable_);
 
        lp->changeLBound(variable_, lBound_);
        lp->changeUBound(variable_, uBound_);
    }
 
 
    virtual void unExtract(LpSub *lp) {
        lp->changeLBound(variable_, oldLpLBound_);
        lp->changeUBound(variable_, oldLpUBound_);
    }
 
 
    int variable() const {
        return variable_;
    }
 
    double lBound() const {
        return lBound_;
    }
 
    double uBound() const {
        return uBound_;
    }
 
private:
    int    variable_;     
    double lBound_;       
    double uBound_;       
    double oldLpLBound_;
    double oldLpUBound_;
};
 
 
inline std::ostream &operator<<(std::ostream &out, const BoundBranchRule &rhs)
{
    return out << rhs.lBound_ << " <= x" << rhs.variable_ << " <= " << rhs.uBound_;
}
 
}
#pragma GCC visibility pop