NodeStack.h

Go to the documentation of this file.

//
//     Minotaur -- It's only 1/2 bull
//
//     (C)opyright 2008 - 2025 The Minotaur Team.
//
 
#ifndef MINOTAURNODESTACK_H
#define MINOTAURNODESTACK_H
 
#include "ActiveNodeStore.h"
 
namespace Minotaur {
 
  typedef std::deque<NodePtr> NodePtrStack;
  typedef NodePtrStack::iterator NodeStackIter;
  typedef NodePtrStack::const_iterator NodeStackConstIter;
 
  class NodeStack : public ActiveNodeStore {
 
  public:
    NodeStack();
 
    virtual ~NodeStack();
 
    virtual bool isEmpty() const;
 
    virtual double getBestLB() const;
 
    virtual UInt getDeepestLevel() const;
 
    virtual void pop();
 
    virtual void write(std::ostream &out) const;
 
    virtual void push(NodePtr n);
 
    virtual NodePtr top() const { return (nodes_.front()); }
 
    virtual size_t getSize() const { return (nodes_.size()); }
 
    NodeStackIter nodesBegin();
 
    NodeStackIter nodesEnd();
 
  private:
    NodePtrStack nodes_;
  };
  typedef NodeStack *NodeStackPtr;
}  //namespace Minotaur
#endif