SolCheck.h

Go to the documentation of this file.

//
// MINOTAUR -- It's only half bull!
//
// (C)opyright 2009 - 2021 The MINOTAUR Team.
//
 
#ifndef SOLCHECK_H
#define SOLCHECK_H
 
#include "Types.h"
#include "Solver.h"
 
namespace Minotaur {
class SolCheck : public Solver {
public:
  SolCheck(EnvPtr env);
 
  ~SolCheck();
 
  void doSetup();
 
  void showHelp() const;
 
  int showInfo();
 
  int solve(ProblemPtr p);
 
  std::string getAbout();
 
  SolveStatus getStatus();
 
  // virtual DoubleVector getSolution();
  virtual SolutionPtr getSol() {return NULL;};
 
  double getUb();
 
  double getLb();
 
private:
  const static std::string me_;
  double objSense_;
  ProblemPtr oinst_;
  SolveStatus status_;
 
};
}
#endif