variable.h

Go to the documentation of this file.

 
#pragma once
 
#include <ogdf/lib/abacus/convar.h>
#include <ogdf/lib/abacus/master.h>
#include <ogdf/lib/abacus/fsvarstat.h>
#include <ogdf/lib/abacus/vartype.h>
#include <ogdf/lib/abacus/constraint.h>
 
#pragma GCC visibility push(default)
namespace abacus {
 
 
class Master;
class Sub;
#if 0
class VarType;
#endif
class Column;
class Constraint;
 
template<class BaseType, class CoType> class Active;
 
 
 
class OGDF_EXPORT Variable : public ConVar {
public:
 
 
    Variable(
        Master *master,
        const Sub *sub,
        bool dynamic,
        bool local,
        double obj,
        double lBound,
        double uBound,
        VarType::TYPE type)
          : ConVar(master, sub, dynamic, local),
            fsVarStat_(master), obj_(obj), lBound_(lBound), uBound_(uBound), type_(type)
    { }
 
 
    virtual ~Variable() { }
 
 
    VarType::TYPE varType() const { return type_.type(); }
 
 
    bool discrete() const { return type_.discrete(); }
 
 
    bool binary() const { return type_.binary(); }
 
 
    bool integer() const { return type_.integer(); }
 
 
    virtual double obj() const { return obj_; }
 
 
    double uBound() const { return uBound_; }
 
 
 
    void uBound(double newBound) { uBound_ = newBound; }
 
 
    double lBound() const { return lBound_; }
 
 
 
    void lBound(double newBound) { lBound_ = newBound; }
 
 
    FSVarStat *fsVarStat() { return &fsVarStat_; }
 
    const FSVarStat *fsVarStat() const { return &fsVarStat_; }
 
 
    virtual bool valid(const Sub *sub) const;
 
 
    virtual int genColumn(Active<Constraint, Variable> *actCon, Column &col) const;
 
 
    virtual double coeff(const Constraint *con) const {
        return con->coeff(this);
    }
 
 
 
    virtual bool violated(double rc) const;
 
 
    virtual bool violated(Active<Constraint, Variable> *constraints,
        double *y, double *slack = nullptr) const;
 
 
    virtual double redCost(Active<Constraint, Variable> *actCon,
        double *y) const;
 
 
    virtual bool useful(Active<Constraint, Variable> *actCon,
        double *y,
        double lpVal) const;
 
 
    void printCol(std::ostream &out,
        Active<Constraint, Variable> *constraints) const;
 
protected:
 
    FSVarStat fsVarStat_;   
    double obj_;                
    double lBound_;             
    double uBound_;             
    VarType type_;          
};
 
inline bool Variable::valid(const Sub *sub) const
{
    OGDF_ASSERT(!local_ || sub != nullptr);
 
    return (!local_ || sub->ancestor(sub_));
}
 
 
 
}
#pragma GCC visibility pop