probabilistic_task.h

#ifndef PROBFD_PROBABILISTIC_TASK_H
#define PROBFD_PROBABILISTIC_TASK_H
 
#include "downward/abstract_task.h" // IWYU pragma: export
 
#include "probfd/value_type.h"
 
namespace probfd {
 
class ProbabilisticTask : public PlanningTask {
public:
    virtual value_t get_non_goal_termination_cost() const = 0;
 
    virtual value_t get_operator_cost(int op_index) const = 0;
 
    virtual int get_num_operator_outcomes(int op_index) const = 0;
 
    virtual value_t
    get_operator_outcome_probability(int op_index, int outcome_index) const = 0;
 
    virtual int
    get_operator_outcome_id(int op_index, int outcome_index) const = 0;
 
    virtual int
    get_num_operator_outcome_effects(int op_index, int outcome_index) const = 0;
 
    virtual FactPair
    get_operator_outcome_effect(int op_index, int outcome_index, int eff_index)
        const = 0;
 
    virtual int get_num_operator_outcome_effect_conditions(
        int op_index,
        int outcome_index,
        int eff_index) const = 0;
 
    virtual FactPair get_operator_outcome_effect_condition(
        int op_index,
        int outcome_index,
        int eff_index,
        int cond_index) const = 0;
};
 
} // namespace probfd
 
#endif