TreeManager.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2008 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURTREEMANAGER_H
#define MINOTAURTREEMANAGER_H
 
#include <iostream>
#include <fstream>
 
#include "Types.h"
 
#include "ActiveNodeStore.h"
#include "Environment.h"
#include "Node.h"
#include "WarmStart.h"
 
namespace Minotaur {
  
  class TreeManager {
 
  public:
    TreeManager(EnvPtr env);
 
    ~TreeManager();
 
    void setSearchType(TreeSearchOrder newType);
    TreeSearchOrder getSearchType() const;
 
    bool anyActiveNodesLeft();
 
    NodePtr branch(Branches branches, NodePtr node, WarmStartPtr ws);
 
    UInt getActiveNodes() const;
 
    double getCutOff();
 
    double getPerGap();
 
    double getLb();
 
    double getUb();
 
    UInt getSize() const;
 
    NodePtr getCandidate();
 
    void insertRoot(NodePtr node);
 
    void pruneNode(NodePtr node);
 
    void removeActiveNode(NodePtr node);
 
    void setCutOff(double value);
 
    void setUb(double value);
 
    bool shouldDive();
 
    double updateLb();
 
  private:
    ActiveNodeStorePtr activeNodes_; 
 
    NodePtr aNode_;
 
    double bestLowerBound_;
 
    double bestUpperBound_;
 
    void clearAll();
 
    double cutOff_;
 
    bool doVbc_;
 
    const double etol_;
 
    TreeSearchOrder searchType_;
 
    UInt size_;
    
    Timer *timer_;
 
    std::ofstream vbcFile_;
 
    bool shouldPrune_(NodePtr node);
 
    void insertCandidate_(NodePtr node, bool pop_now = false);
 
    void removeNodeAndUp_(NodePtr node);
 
    void removeNode_(NodePtr node);
  };
 
  typedef TreeManager* TreeManagerPtr;
 
}
#endif