BnbPar.h

Go to the documentation of this file.

//
// Minotaur -- It's only half bull!
//
// (C)opyright 2009 - 2025 The Minotaur Team.
//
 
#ifndef BNBPAR_H
#define BNBPAR_H
 
#include "Types.h"
#include "AMPLInterface.h"
#include "LPEngine.h"
#include "ParBranchAndBound.h"
#include "ParReliabilityBrancher.h"
#include "Presolver.h"
#include "Solver.h"
 
namespace Minotaur {
  class BnbPar : public Solver {
    public:
      BnbPar(EnvPtr env);
 
      ~BnbPar();
 
      void doSetup();
 
      //void sepDetection();
 
      void showHelp() const;
 
      int showInfo();
 
      virtual int solve(ProblemPtr p);
 
      virtual SolveStatus getStatus() {return status_;};
 
      virtual SolutionPtr getSol() {return sol_;};
 
      double getUb() {return ub_;};
 
      double getLb() {return lb_;};
 
    private:
      const static std::string me_;
      double objSense_;
      SolutionPtr sol_;
      double lb_, ub_;
      ProblemPtr oinst_;
      SolveStatus status_;
 
      BrancherPtr createBrancher_(HandlerVector handlers, EnginePtr e);
      ParBranchAndBound* createParBab_(UInt numThreads, EnginePtr e, RelaxationPtr relCopy[],
                                  ParPCBProcessorPtr nodePrcssr[],
                                  ParNodeIncRelaxerPtr parNodeRlxr[],
                                  HandlerVector handlersCopy[],
                                  EnginePtr eCopy[]);
      int getEngines_(Engine **nlp_e, LPEngine **lp_e);
      PresolverPtr presolve_(HandlerVector &handlers);
      void setInitialOptions_();
      void writeNLPStats_(std::string name, std::vector<double> stats);
      void writeParBnbStatus_(ParBranchAndBound *parbab, double wallTimeStart, clock_t clockTimeStart);
  };
}
#endif