utils.h

#ifndef PROBFD_PDBS_UTILS_H
#define PROBFD_PDBS_UTILS_H
 
#include "probfd/pdbs/types.h"
 
#include <iosfwd>
#include <vector>
 
namespace utils {
class RandomNumberGenerator;
}
 
namespace probfd {
class ProbabilisticTaskProxy;
}
 
namespace probfd::pdbs {
class ProjectionStateSpace;
class ProbabilityAwarePatternDatabase;
} // namespace probfd::pdbs
 
namespace probfd::pdbs {
 
Pattern extended_pattern(const Pattern& pattern, int add_var);
 
std::vector<int> get_goals_in_random_order(
    ProbabilisticTaskProxy task_proxy,
    utils::RandomNumberGenerator& rng);
 
void dump_graphviz(
    ProbabilisticTaskProxy task_proxy,
    ProjectionStateSpace& state_space,
    const ProbabilityAwarePatternDatabase& pdb,
    StateRank initial_state,
    std::ostream& out,
    bool transition_labels);
 
} // namespace probfd::pdbs
 
#endif // PROBFD_PDBS_UTILS_H