PathPrioritizer.h

#ifndef ROSE_BinaryAnalysis_ModelChecker_PathPrioritizer_H
#define ROSE_BinaryAnalysis_ModelChecker_PathPrioritizer_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_MODEL_CHECKER

#include <Rose/BinaryAnalysis/ModelChecker/Types.h>

namespace Rose {
namespace BinaryAnalysis {
namespace ModelChecker {

class PathPrioritizer {
public:
    using Ptr = PathPrioritizerPtr;

    PathPrioritizer();
    virtual ~PathPrioritizer();

    virtual bool operator()(const PathPtr &worse, const PathPtr &better) const;
};

class ShortestPathFirst: public PathPrioritizer {
public:
    using Ptr = ShortestPathFirstPtr;

    static Ptr instance();

    bool operator()(const PathPtr &worse, const PathPtr &better) const override;
};

class LongestPathFirst: public PathPrioritizer {
public:
    using Ptr = LongestPathFirstPtr;

    static Ptr instance();

    bool operator()(const PathPtr &worse, const PathPtr &better) const override;
};

class FastestPathFirst: public PathPrioritizer {
public:
    using Ptr = FastestPathFirstPtr;

    static Ptr instance();

    bool operator()(const PathPtr &worse, const PathPtr &better) const override;
};

class RandomPathFirst: public PathPrioritizer {
public:
    using Ptr = RandomPathFirstPtr;

    static Ptr instance();

    bool operator()(const PathPtr &worse, const PathPtr &better) const override;
};

class BestCoverageFirst: public PathPrioritizer {
public:
    using Ptr = BestCoverageFirstPtr;
    static Ptr instance();
    bool operator()(const PathPtr &worse, const PathPtr &better) const override;
private:
    static double coverageRatio(const PathPtr&);
};

} // namespace
} // namespace
} // namespace

#endif
#endif