ActiveNodeStore.h

Go to the documentation of this file.

//
//     Minotaur -- It's only 1/2 bull
//
//     (C)opyright 2008 - 2025 The Minotaur Team.
//
 
#ifndef MINOTAURACTIVENODESTORE_H
#define MINOTAURACTIVENODESTORE_H
 
#include "Types.h"
 
namespace Minotaur {
 
  class Node;
 
  class ActiveNodeStore {
 
  public:
    ActiveNodeStore() {}
 
    virtual ~ActiveNodeStore() {}
 
    virtual double getBestLB() const = 0;
 
    virtual UInt getDeepestLevel() const = 0;
 
    virtual size_t getSize() const = 0;
 
    virtual bool isEmpty() const = 0;
 
    virtual void pop() = 0;
 
    virtual void push(NodePtr n) = 0;
 
    virtual NodePtr top() const = 0;
 
    virtual void write(std::ostream &out) const = 0;
  };
  typedef ActiveNodeStore *ActiveNodeStorePtr;
}  //namespace Minotaur
#endif