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/Types.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