ParTreeManager.h

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2008 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURPARTREEMANAGER_H
#define MINOTAURPARTREEMANAGER_H
 
#include <iostream>
#include <fstream>
 
#include "Types.h"
 
namespace Minotaur {
  
  class ActiveNodeStore;
  class WarmStart;
  typedef ActiveNodeStore* ActiveNodeStorePtr;
  typedef WarmStart* WarmStartPtr;
 
  class ParTreeManager {
 
  public:
    friend class ParBranchAndBound;
    friend class ParQGBranchAndBound;
 
    ParTreeManager(EnvPtr env);
 
    ~ParTreeManager();
 
    bool anyActiveNodesLeft();
 
    NodePtr branch(Branches branches, NodePtr node, WarmStartPtr ws);
 
    UInt getActiveNodes() const;
 
    double getCutOff();
 
    double getPerGap();
 
    double getPerGapPar(double treeLb);
 
    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::string tbRule_;
 
    std::ofstream vbcFile_;
 
    bool shouldPrune_(NodePtr node);
 
    void insertCandidate_(NodePtr node, bool pop_now = false);
 
    void removeNodeAndUp_(NodePtr node);
 
 
    void removeNode_(NodePtr node);
  };
 
  typedef ParTreeManager* ParTreeManagerPtr;
 
}
#endif