NodeFullRelaxer.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2009 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURNODEFULLRELAXER_H
#define MINOTAURNODEFULLRELAXER_H
 
#include "Handler.h"
#include "NodeRelaxer.h"
 
namespace Minotaur {
 
  class NodeFullRelaxer : public NodeRelaxer {
  public:
 
    NodeFullRelaxer();
 
    NodeFullRelaxer(EnvPtr env, HandlerVector handlers);
 
    NodeFullRelaxer(EnvPtr env, EnginePtr e, HandlerVector handlers);
 
    ~NodeFullRelaxer();
 
    // Implement NodeRelaxer::CreateRootRelaxation()
    RelaxationPtr createRootRelaxation(NodePtr root, SolutionPool *sp,
                                       bool &prune);
 
    // Implement NodeRelaxer::CreateNodeRelaxation()
    RelaxationPtr createNodeRelaxation(NodePtr node, bool dived, bool &prune);
 
    // Implement NodeRelaxer::reset()
    void reset(NodePtr node, bool diving);
 
    void setEngine(EnginePtr e);
 
    // get the relaxation pointer, rel_.
    RelaxationPtr getRelaxation();
 
    void setRelaxation(RelaxationPtr rel);
 
  private:
    EnvPtr env_;
 
    RelaxationPtr rel_;
 
    EnginePtr engine_;
 
    HandlerVector handlers_;
 
    double updateBoundsTol_;
 
    bool isOriginalVariable_(ConstVariablePtr rv, ConstVariablePtr &ov);
 
    bool strongBoundsTighten_(NodePtr node);
 
  };
 
  typedef NodeFullRelaxer* NodeFullRelaxerPtr;
}
#endif