dead_end_pruning.h

#ifndef PROBFD_HEURISTICS_DEAD_END_PRUNING_H
#define PROBFD_HEURISTICS_DEAD_END_PRUNING_H
 
#include "probfd/evaluator.h"
#include "probfd/fdr_types.h"
#include "probfd/task_evaluator_factory.h"
#include "probfd/value_type.h"
 
#include <memory>
 
// Forward Declarations
class State;
class Evaluator;
 
namespace probfd::heuristics {
 
class DeadEndPruningHeuristic : public FDREvaluator {
    const std::shared_ptr<::Evaluator> pruning_function_;
    const value_t dead_end_value_;
 
public:
    DeadEndPruningHeuristic(
        std::shared_ptr<::Evaluator> pruning_function,
        value_t dead_end_value);
 
    [[nodiscard]]
    value_t evaluate(const State& state) const override;
 
    void print_statistics() const override;
};
 
class DeadEndPruningHeuristicFactory : public TaskEvaluatorFactory {
    const std::shared_ptr<::Evaluator> evaluator_;
 
public:
    explicit DeadEndPruningHeuristicFactory(
        std::shared_ptr<::Evaluator> evaluator);
 
    std::unique_ptr<FDREvaluator> create_evaluator(
        std::shared_ptr<ProbabilisticTask> task,
        std::shared_ptr<FDRCostFunction> task_cost_function) override;
};
 
} // namespace probfd::heuristics
 
#endif // PROBFD_HEURISTICS_DEAD_END_PRUNING_H