task_properties.h

#ifndef PROBFD_TASK_UTILS_TASK_PROPERTIES_H
#define PROBFD_TASK_UTILS_TASK_PROPERTIES_H
 
#include "probfd/task_proxy.h"
 
#include "probfd/value_type.h"
 
#include "downward/operator_cost.h"
#include "downward/task_proxy.h"
 
#include <iosfwd>
#include <iterator>
#include <vector>
 
// Forward Declarations
class AbstractTask;
 
namespace probfd {
class ProbabilisticTask;
}
 
namespace utils {
class LogProxy;
}
 
namespace probfd::task_properties {
 
void get_affected_vars(
    const ProbabilisticOperatorProxy& op,
    std::output_iterator<int> auto it)
{
    for (const ProbabilisticOutcomeProxy& outcome : op.get_outcomes()) {
        for (const auto& effect : outcome.get_effects()) {
            *it = effect.get_fact().get_variable().get_id();
        }
    }
}
 
extern bool
is_applicable(const ProbabilisticOperatorProxy& op, const State& state);
 
extern value_t get_adjusted_action_cost(
    const ProbabilisticOperatorProxy& op,
    OperatorCost cost_type,
    bool is_unit_cost);
 
extern bool is_unit_cost(const ProbabilisticTaskProxy& task);
 
extern bool has_conditional_effects(const ProbabilisticTaskProxy& task);
 
extern void verify_no_conditional_effects(const ProbabilisticTaskProxy& task);
 
extern std::vector<value_t>
get_operator_costs(const ProbabilisticTaskProxy& task_proxy);
 
extern value_t
get_average_operator_cost(const ProbabilisticTaskProxy& task_proxy);
 
extern value_t get_min_operator_cost(const ProbabilisticTaskProxy& task_proxy);
 
extern int get_num_total_effects(const ProbabilisticTaskProxy& task_proxy);
 
extern void dump_probabilistic_task(
    const ProbabilisticTaskProxy& task_proxy,
    utils::LogProxy& log);
 
extern void dump_probabilistic_task(
    const ProbabilisticTaskProxy& task_proxy,
    std::ostream& os);
 
} // namespace probfd::task_properties
 
#endif