complete_policy_flaw_finder.h

#ifndef PROBFD_CARTESIAN_COMPLETE_POLICY_FLAW_FINDER_H
#define PROBFD_CARTESIAN_COMPLETE_POLICY_FLAW_FINDER_H
 
#include "probfd/cartesian_abstractions/flaw.h"
#include "probfd/cartesian_abstractions/policy_flaw_finder.h"
#include "probfd/cartesian_abstractions/types.h"
 
#include <optional>
#include <vector>
 
// Forward Declarations
namespace utils {
class CountdownTimer;
class LogProxy;
} // namespace utils
 
namespace probfd {
class ProbabilisticTaskProxy;
}
 
namespace probfd::cartesian_abstractions {
class CartesianAbstraction;
}
 
namespace probfd::cartesian_abstractions {
 
class CompletePolicyFlawFinder : public PolicyFlawFinder {
    int max_search_states_;
 
public:
    explicit CompletePolicyFlawFinder(int max_search_states);
 
    std::optional<Flaw> find_flaw(
        const ProbabilisticTaskProxy& task_proxy,
        const std::vector<int>& domain_sizes,
        CartesianAbstraction& abstraction,
        Solution& policy,
        utils::LogProxy& log,
        utils::CountdownTimer& timer) override;
};
 
} // namespace probfd::cartesian_abstractions
 
#endif // PROBFD_CARTESIAN_COMPLETE_POLICY_FLAW_FINDER_H