Solver.h

Go to the documentation of this file.

//
// Minotaur -- It's only half bull!
//
// (C)opyright 2009 - 2025 The Minotaur Team.
//
 
#ifndef Solver_H
#define Solver_H
 
#include "Types.h"
#include "AMPLInterface.h"
#include "Environment.h"
#include "LPEngine.h"
#include "Presolver.h"
 
namespace Minotaur {
  class Solver {
  public:
    Solver();
 
    virtual ~Solver();
 
    virtual FileType getFileType(std::string fname);
 
    virtual ProblemPtr readProblem(std::string fname, std::string dname,
                                   std::string sname, int &err);
                                   
    virtual bool timeCheck();
 
    virtual int solve(ProblemPtr p) = 0;
 
    virtual SolveStatus getStatus() = 0;
 
    void setIface(MINOTAUR_AMPL::AMPLInterface* iface);
 
 
  protected:
    EnvPtr env_;
    MINOTAUR_AMPL::AMPLInterface* iface_;
 
    bool ownIface_;
 
    virtual int writeSol_(EnvPtr env, VarVector *orig_v, PresolverPtr pres,
                          SolutionPtr sol, SolveStatus status,
                          MINOTAUR_AMPL::AMPLInterface* iface);
 
  private:
    const static std::string me_;
 
  };
}
#endif