NodeIncRelaxer.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2009 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURNODEINCRELAXER_H
#define MINOTAURNODEINCRELAXER_H
 
#include "Handler.h"
#include "NodeRelaxer.h"
 
namespace Minotaur {
 
class NodeIncRelaxer : public NodeRelaxer {
public:
  NodeIncRelaxer(EnvPtr env, HandlerVector handlers);
 
  ~NodeIncRelaxer();
 
  // Implement NodeRelaxer::CreateRootRelaxation()
  RelaxationPtr createRootRelaxation(NodePtr rootNode, SolutionPool *sp,
                                     bool &prune);
 
  // Implement NodeRelaxer::CreateNodeRelaxation()
  RelaxationPtr createNodeRelaxation(NodePtr node, bool dived, bool &prune);
 
  bool getModFlag();
 
  // Implement NodeRelaxer::reset()
  void reset(NodePtr node, bool diving);
 
  void setEngine(EnginePtr e);
 
  void setModFlag(bool mod_prob);
 
  // get the relaxation pointer, rel_.
  RelaxationPtr getRelaxation();
 
  void setRelaxation(RelaxationPtr rel);
 
  void setProblem(ProblemPtr p);
private:
  EnginePtr engine_;
 
  EnvPtr env_;
 
  HandlerVector handlers_;
 
  bool modProb_;
 
  ProblemPtr p_;
 
  RelaxationPtr rel_;
};
 
typedef NodeIncRelaxer* NodeIncRelaxerPtr;
}
#endif