PathQueue.h

#ifndef ROSE_BinaryAnalysis_ModelChecker_PathQueue_H
#define ROSE_BinaryAnalysis_ModelChecker_PathQueue_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_MODEL_CHECKER
 
#include <Rose/BinaryAnalysis/ModelChecker/BasicTypes.h>
 
namespace Rose {
namespace BinaryAnalysis {
namespace ModelChecker {
 
class PathQueue final {
public:
    class Visitor {
    public:
        virtual ~Visitor() {}
 
        virtual bool operator()(const PathPtr&) = 0;
    };
 
private:
    mutable SAWYER_THREAD_TRAITS::Mutex mutex_;     // protects all following data members
    PathPrioritizerPtr prioritizer_;
    std::vector<PathPtr> paths_;
 
public:
    PathQueue() = delete;
 
    PathQueue(const PathPrioritizerPtr&);
    ~PathQueue();
 
public:
    PathPrioritizerPtr prioritizer() const;
    void prioritizer(const PathPrioritizerPtr&);
    size_t size() const;
 
    bool isEmpty() const;
 
    void reset();
 
    void insert(const PathPtr&);
 
    PathPtr takeNext();
 
    void traverse(Visitor&) const;
};
 
} // namespace
} // namespace
} // namespace
 
#endif
#endif