policy_extraction.h

#ifndef PROBFD_PDBS_POLICY_EXTRACTION_H
#define PROBFD_PDBS_POLICY_EXTRACTION_H
 
#include "probfd/multi_policy.h"
#include "probfd/type_traits.h"
#include "probfd/value_type.h"
 
#include <memory>
#include <span>
 
namespace utils {
class RandomNumberGenerator;
}
 
namespace probfd {
template <typename, typename>
class MDP;
}
 
namespace probfd {
 
template <typename State, typename Action>
std::unique_ptr<MultiPolicy<State, Action>> compute_optimal_projection_policy(
    MDP<State, Action>& mdp,
    std::span<const value_t> value_table,
    param_type<State> initial_state,
    utils::RandomNumberGenerator& rng,
    bool wildcard);
 
template <typename State, typename Action>
std::unique_ptr<MultiPolicy<State, Action>> compute_greedy_projection_policy(
    MDP<State, Action>& mdp,
    std::span<const value_t> value_table,
    param_type<State> initial_state,
    utils::RandomNumberGenerator& rng,
    bool wildcard);
 
} // namespace probfd
 
#define GUARD_INCLUDE_PROBFD_ABSTRACTIONS_POLICY_EXTRACTION_H
#include "probfd/abstractions/policy_extraction_impl.h"
#undef GUARD_INCLUDE_PROBFD_ABSTRACTIONS_POLICY_EXTRACTION_H
 
#endif