lpsub.h

Go to the documentation of this file.

#ifndef ABA_LPSUBH
#define ABA_LPSUBH

#include "abacus/lp.h"

class ABA_INFEASCON;
class ABA_SUB;
class ABA_MASTER;
class ABA_FSVARSTAT;
class ABA_CONSTRAINT;
class ABA_VARIABLE;
  class  ABA_LPSUB :  public virtual ABA_LP  {
    friend class ABA_SUB;
    friend class ABA_SETBRANCHRULE;
    friend class ABA_BOUNDBRANCHRULE;
    friend class ABA_VALBRANCHRULE;
    friend class ABA_CONBRANCHRULE;
    friend class COPBRANCHRULE;
    public: 

      ABA_LPSUB (ABA_MASTER *master, const ABA_SUB *sub);

      virtual ~ABA_LPSUB();
      const ABA_SUB * sub() const;

      int trueNCol() const;

      int trueNnz() const;

      double lBound(int i)  const;

      double uBound(int i)  const;

      virtual double value() const;

      virtual double xVal(int i);

      virtual double barXVal(int i);

      virtual double reco(int i);

      virtual ABA_LPVARSTAT::STATUS lpVarStat(int i);

      virtual int getInfeas(int &infeasCon, int &infeasVar, double *bInvRow);

      virtual bool infeasible() const;

      ABA_BUFFER<ABA_INFEASCON*> *infeasCon();

      virtual void loadBasis(ABA_ARRAY<ABA_LPVARSTAT::STATUS> &lpVarStat,
                             ABA_ARRAY<ABA_SLACKSTAT::STATUS> &slackStat);
    protected: 

      virtual void initialize();
      
    private:

      virtual OPTSTAT optimize(METHOD method);

      virtual void removeCons(ABA_BUFFER<int> &ind);

      virtual void removeVars(ABA_BUFFER<int> &vars);

      virtual void addCons(ABA_BUFFER<ABA_CONSTRAINT*> &newCons);

      virtual void addVars(ABA_BUFFER<ABA_VARIABLE*> &vars,
                           ABA_BUFFER<ABA_FSVARSTAT*> &fsVarStat,
                           ABA_BUFFER<double> &lb, ABA_BUFFER<double> &ub);

      virtual void changeLBound(int i, double newLb);

      virtual void changeUBound(int i, double newUb);

      virtual void varRealloc(int newSize);

      virtual void conRealloc(int newSize);

      void constraint2row(ABA_BUFFER<ABA_CONSTRAINT*> &newCons,
                          ABA_BUFFER<ABA_ROW*> &newRows);

      bool           eliminable(int i) const;

      bool           eliminated(int i) const;

      virtual double elimVal(int i) const;

      virtual double elimVal(ABA_FSVARSTAT *stat, double lb, double ub) const;
      void initialize(ABA_OPTSENSE sense, int nRow, int maxRow,
                      int nCol, int maxCol,
                      ABA_ARRAY<double> &obj, ABA_ARRAY<double> &lBound,
                      ABA_ARRAY<double> &uBound, ABA_ARRAY<ABA_ROW*> &rows);  
      void initialize(ABA_OPTSENSE sense, int nRow, int maxRow,
                      int nCol, int maxCol,
                      ABA_ARRAY<double> &obj, ABA_ARRAY<double> &lBound,
                      ABA_ARRAY<double> &uBound, ABA_ARRAY<ABA_ROW*> &rows,
                      ABA_ARRAY<ABA_LPVARSTAT::STATUS> &lpVarStat,
                      ABA_ARRAY<ABA_SLACKSTAT::STATUS> &slackStat);
      int        nCol()   const;      
      int        maxCol() const;      
      int        nnz()    const;      
      double     obj(int i)     const;

      void rowRealloc(int newSize);
      void colRealloc(int newSize);

      const ABA_SUB          *sub_;

      ABA_ARRAY<int>         orig2lp_;

      ABA_ARRAY<int>         lp2orig_;

      ABA_BUFFER<ABA_INFEASCON*> infeasCons_;

      double             valueAdd_;

      int                nOrigVar_;
      ABA_LPSUB(const ABA_LPSUB &rhs);
      const ABA_LPSUB &operator=(const ABA_LPSUB &rhs);
  };


inline const ABA_SUB *ABA_LPSUB::sub() const
{
    return sub_;
}

inline bool ABA_LPSUB::eliminated(int i) const
  {
    if (orig2lp_[i] == -1) return true;
    else                   return false;
  }

inline int ABA_LPSUB::trueNCol() const
  {
    return ABA_LP::nCol();
  }

inline int ABA_LPSUB::trueNnz() const
  {
    return ABA_LP::nnz();
  }

inline double ABA_LPSUB::value() const
  {
    return ABA_LP::value() + valueAdd_;
  }

inline ABA_BUFFER<ABA_INFEASCON*> *ABA_LPSUB::infeasCon()
  {
    return &infeasCons_;
  }


#endif  // ABA_LPSUBH

---