shrink_random.h

#ifndef MERGE_AND_SHRINK_SHRINK_RANDOM_H
#define MERGE_AND_SHRINK_SHRINK_RANDOM_H
 
#include "downward/merge_and_shrink/shrink_bucket_based.h"
 
namespace merge_and_shrink {
class ShrinkRandom : public ShrinkBucketBased {
protected:
    virtual std::vector<Bucket> partition_into_buckets(
        const TransitionSystem& ts,
        const Distances& distances) const override;
 
    virtual std::string name() const override;
    void dump_strategy_specific_options(utils::LogProxy&) const override {}
 
public:
    explicit ShrinkRandom(int random_seed);
 
    virtual bool requires_init_distances() const override { return false; }
 
    virtual bool requires_goal_distances() const override { return false; }
};
} // namespace merge_and_shrink
 
#endif