bfs_flaw_finder.h

#ifndef PROBFD_PDBS_CEGAR_BFS_FLAW_FINDER_H
#define PROBFD_PDBS_CEGAR_BFS_FLAW_FINDER_H
 
#include "probfd/pdbs/cegar/flaw_finding_strategy.h"
 
#include "probfd/pdbs/types.h"
 
#include "probfd/storage/per_state_storage.h"
 
#include "downward/task_proxy.h"
 
#include <deque>
#include <string>
#include <unordered_set>
#include <vector>
 
namespace probfd::pdbs::cegar {
 
class BFSFlawFinder : public FlawFindingStrategy {
    std::deque<State> open_;
    storage::PerStateStorage<bool> closed_;
 
    const int max_search_states_;
 
public:
    explicit BFSFlawFinder(int max_search_states);
 
    bool apply_policy(
        const ProbabilisticTaskProxy& task_proxy,
        const StateRankingFunction& state_ranking_function,
        const ProjectionStateSpace& mdp,
        const ProjectionMultiPolicy& policy,
        std::vector<Flaw>& flaws,
        const std::function<bool(const Flaw&)>& notify_flaw,
        utils::CountdownTimer& timer) override;
 
    std::string get_name() override;
};
 
} // namespace probfd::pdbs::cegar
 
#endif // PROBFD_PDBS_CEGAR_BFS_FLAW_FINDER_H