LinFeasPump.h

Go to the documentation of this file.

//
//     Minotaur -- It's only 1/2 bull  
//
//     (C)opyright 2008 - 2025 The Minotaur Team.
//
#ifndef LINFEASPUMP_H
#define LINFEASPUMP_H
 
#include "FeasibilityPump.h"
#include "Types.h"
 
namespace Minotaur {
  class Engine;
  class LinearFunction;
  class LinearHandler;
  class Problem;
  class QGHandler;
  typedef Engine* EnginePtr;
  typedef LinearFunction* LinearFunctionPtr;
  typedef LinearHandler* LinHandlerPtr;
  typedef QGHandler* QGHandlerPtr;
 
  struct LinFeasStats {
    double bestObjValue; 
    UInt numLPs;         
  };
 
  class LinFeasPump : public FeasibilityPump {
 
  public:
 
    LinFeasPump(EnvPtr env, ProblemPtr p, EnginePtr e1, EnginePtr e2);
 
    ~LinFeasPump();
 
    void solve(NodePtr node, RelaxationPtr rel, SolutionPoolPtr s_pool);
 
    void writeStats(std::ostream &out) const;
 
  protected:
 
    const static std::string me_;
 
    double* gradientObj_;
 
    LinHandlerPtr lh_;
 
    EnginePtr lpE_;
 
    ConstraintPtr objConstraint_;
 
    VariablePtr objVar_;
 
    LinearFunctionPtr olfClone_;
 
    QGHandlerPtr qh_;
 
    RelaxationPtr r_;
 
    LinFeasStats* statsLFP_;
 
    // base class method.
    void constructObj_(ProblemPtr prob, ConstSolutionPtr sol);
 
    void implementFP_(const double* x, SolutionPoolPtr s_pool);
 
    double getSolGap_(double f_nlp, double f_feas);
 
    bool prepareLP_(SolutionPool *sp);
 
    void separatingCut_(double f_nlp, SolutionPoolPtr s_pool);
 
    bool shouldFP_();
 
  };
 
  typedef LinFeasPump* LinFeasPumpPtr;
}
#endif
 
// local variables:
// mode: c++
// eval: (c-set-style "gnu")
// eval: (setq indent-tabs-mode nil)
// end: