NodeHeap.h

Go to the documentation of this file.

//
//     Minotaur -- It's only 1/2 bull
//
//     (C)opyright 2008 - 2025 The Minotaur Team.
//
 
#ifndef MINOTAURNODEHEAP_H
#define MINOTAURNODEHEAP_H
 
#include "Types.h"
#include "ActiveNodeStore.h"
 
namespace Minotaur {
 
  class NodeHeap : public ActiveNodeStore {
 
  public:
    enum Type
    {
      Value,
      Depth
    };
 
    NodeHeap(Type type)
      : type_(type)
    {
    }
 
    virtual ~NodeHeap();
 
    virtual bool isEmpty() const { return nodes_.empty(); }
 
    virtual double getBestLB() const;
 
    virtual UInt getDeepestLevel() const;
 
    virtual void pop();
 
    virtual void write(std::ostream &out) const;
 
    virtual void push(NodePtr n);
 
    virtual void setType(Type type);
 
    virtual NodePtr top() const { return (nodes_.front()); }
 
    virtual size_t getSize() const { return (nodes_.size()); }
 
    NodePtrIterator nodesBegin();
 
    NodePtrIterator nodesEnd();
 
  private:
    NodePtrVector nodes_;
 
    Type type_;
  };
  typedef NodeHeap *NodeHeapPtr;
}  //namespace Minotaur
#endif