fsvarstat.h

Go to the documentation of this file.

 
#pragma once
 
#include <ogdf/lib/abacus/abacusroot.h>
 
namespace abacus {
 
class AbacusGlobal;
 
 
 
class OGDF_EXPORT FSVarStat : public AbacusRoot {
public:
 
    enum STATUS {
        Free,               
        SetToLowerBound,    
        Set,                
        SetToUpperBound,    
        FixedToLowerBound,  
        Fixed,              
        FixedToUpperBound   
    };
 
 
    FSVarStat(AbacusGlobal *glob) : glob_(glob), status_(Free) { }
 
 
    FSVarStat(AbacusGlobal *glob, STATUS status) : glob_(glob), status_(status), value_(0.0)
    {
        if (status == Fixed || status == Set) {
            Logger::ifout() << "FSVarStat::FSVarStat(): value to set/fix missing\n";
            OGDF_THROW_PARAM(AlgorithmFailureException, ogdf::AlgorithmFailureCode::FsVarStat);
        }
    }
 
 
    FSVarStat(AbacusGlobal *glob, STATUS status, double value) : glob_(glob), status_(status), value_(value)
    {
        if (status != Fixed && status != Set) {
            Logger::ifout() << "FSVarStat::FSVarStat(): wrong status for this constructor\n";
            OGDF_THROW_PARAM(AlgorithmFailureException, ogdf::AlgorithmFailureCode::FsVarStat);
        }
    }
 
 
    FSVarStat(FSVarStat *fsVarStat) : glob_(fsVarStat->glob_), status_(fsVarStat->status_), value_(fsVarStat->value_) { }
 
 
 
    friend OGDF_EXPORT std::ostream &operator<<(std::ostream& out, const FSVarStat &rhs);
 
    STATUS status() const { return status_; }
 
 
    void status(STATUS stat) { status_ = stat; }
 
 
    void status(STATUS stat, double val) {
        status_ = stat;
        value_  = val;
    }
 
 
    void status(const FSVarStat *stat) {
        status_ = stat->status_;
        value_  = stat->value_;
    }
 
    double value() const { return value_; }
 
 
    void value(double val) { value_ = val; }
 
    bool fixed() const;
 
    bool set() const;
 
    bool fixedOrSet() const {
        return (status_ != Free);
    }
 
 
    bool contradiction(FSVarStat *fsVarStat) const;
 
 
    bool contradiction(STATUS status, double value = 0) const;
 
private:
 
    AbacusGlobal *glob_; 
 
    STATUS      status_; 
 
 
    double      value_;
 
    OGDF_NEW_DELETE
};
 
}