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