NodeRelaxer.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2009 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURNODERELAXER_H
#define MINOTAURNODERELAXER_H
 
#include "Types.h"
#include "Modification.h"
#include "Relaxation.h"
#include "SolutionPool.h"
 
namespace Minotaur {
 
class NodeRelaxer {
public:
  NodeRelaxer() { }
 
  virtual ~NodeRelaxer() { }
 
  virtual RelaxationPtr createRootRelaxation(NodePtr rootNode,
                                             SolutionPool *sp, bool &prune) =0; 
 
  virtual RelaxationPtr createNodeRelaxation(NodePtr node, bool dived, 
                                             bool &prune) = 0;
 
  virtual void reset(NodePtr node, bool diving) = 0;
 
  virtual RelaxationPtr getRelaxation() = 0;
};
 
typedef NodeRelaxer* NodeRelaxerPtr;
}
#endif