setbranchrule.h

Go to the documentation of this file.

 
#pragma once
 
#include <ogdf/lib/abacus/branchrule.h>
#include <ogdf/lib/abacus/fsvarstat.h>
 
#pragma GCC visibility push(default)
namespace abacus {
 
 
class  SetBranchRule :  public BranchRule  {
public:
 
 
    SetBranchRule(Master *master, int variable, FSVarStat::STATUS status)
        : BranchRule(master), variable_(variable), status_(status) { }
 
 
    virtual ~SetBranchRule() { }
 
 
 
    friend std::ostream &operator<<(std::ostream &out, const SetBranchRule &rhs);
 
 
    /*!*
     * \return 0 If the subproblem can be modified according to the branching rule.
     * \return 1 If a contradiction occurs.
     *
     * \param sub The subproblem being modified.
     */
    virtual int extract(Sub *sub) override;
 
 
 
    virtual void extract(LpSub *lp) override;
 
 
    virtual void unExtract(LpSub *lp) override;
 
 
 
    virtual bool branchOnSetVar() override {
        return true;
    }
 
 
    bool setToUpperBound() const {
        return (status_ == FSVarStat::SetToUpperBound);
    }
 
 
    int variable() const {
        return variable_;
    }
 
 
private:
    int                   variable_;    
    FSVarStat::STATUS status_;      
 
    double oldLpBound_;  
};
 
}
#pragma GCC visibility pop