Presolver.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2008 - 2025 The Minotaur Team.
// 
#ifndef MINOTAURPRESOLVER_H
#define MINOTAURPRESOLVER_H
 
#include "Types.h"
 
namespace Minotaur {
 
  class   Solution;
  class   PreMod;
  typedef PreMod* PreModPtr;
  typedef Solution* SolutionPtr;
  typedef std::deque<PreModPtr> PreModQ;
  typedef PreModQ::iterator PreModQIter;
  typedef PreModQ::reverse_iterator PreModQRIter;
  typedef PreModQ::const_iterator PreModQConstIter;
 
  class Presolver {
  public:
    Presolver ();
 
    Presolver (ProblemPtr problem, EnvPtr env, HandlerVector handlers);
 
    virtual ~Presolver();
 
    virtual void presolve() {};
 
    virtual SolutionPtr  getSolution() {return sol_;};
 
    virtual SolveStatus getStatus();
    virtual void standardize();
 
    virtual SolveStatus solve();
 
    virtual void removeDuplicates() {};
 
    virtual void getX(const double *x, DoubleVector *newx);
 
    SolutionPtr getPostSol(SolutionPtr s);
 
  protected:
 
    EnvPtr env_;
 
    double eTol_;
 
    HandlerVector handlers_;
 
    double intTol_;
 
    LoggerPtr logger_;
 
    static const std::string me_;
 
    PreModQ mods_;
 
    /*
     * The problem being presolved. Only one problem may be presolved by one
     * Presolver.
     */
    ProblemPtr problem_;
 
    SolutionPtr sol_;
 
    SolveStatus status_;
 
    void removeEmptyObj_();
 
    void minimizify_();
 
    void linearizeObjective_();
 
    void ifIntsAreBins_();
 
    /*
     * Convert constraints of the form g(x) >= c to -g(x) <= -c. Do not
     * change equality or range constraints.
     */
    void standardizeConstraints_();
 
  };
 
  typedef Presolver* PresolverPtr;
}
#endif