pattern_collection_generator_disjoint_cegar.h

#ifndef PROBFD_PDBS_PATTERN_COLLECTION_GENERATOR_DISJOINT_CEGAR_H
#define PROBFD_PDBS_PATTERN_COLLECTION_GENERATOR_DISJOINT_CEGAR_H
 
#include "probfd/pdbs/pattern_collection_generator.h"
 
#include <memory>
 
// Forward Declarations
namespace utils {
class RandomNumberGenerator;
}
 
namespace probfd::pdbs {
class SubCollectionFinderFactory;
}
 
namespace probfd::pdbs::cegar {
class FlawFindingStrategy;
} // namespace probfd::pdbs::cegar
 
namespace probfd::pdbs {
 
class PatternCollectionGeneratorDisjointCegar
    : public PatternCollectionGenerator {
    const bool use_wildcard_policies_;
    const bool single_goal_;
    const int max_pdb_size_;
    const int max_collection_size_;
    const double max_time_;
    std::shared_ptr<utils::RandomNumberGenerator> rng_;
    std::shared_ptr<SubCollectionFinderFactory> subcollection_finder_factory_;
    std::shared_ptr<cegar::FlawFindingStrategy> flaw_strategy_;
 
public:
    explicit PatternCollectionGeneratorDisjointCegar(
        bool use_wildcard_policies,
        bool single_goal,
        int max_pdb_size,
        int max_collection_size,
        double max_time,
        std::shared_ptr<utils::RandomNumberGenerator> rng,
        const std::shared_ptr<SubCollectionFinderFactory>&
            subcollection_finder_factory,
        const std::shared_ptr<probfd::pdbs::cegar::FlawFindingStrategy>&
            flaw_strategy,
        utils::Verbosity verbosity);
 
    PatternCollectionInformation generate(
        const std::shared_ptr<ProbabilisticTask>& task,
        const std::shared_ptr<FDRCostFunction>& task_cost_function) override;
};
 
} // namespace probfd::pdbs
 
#endif // PROBFD_PDBS_PATTERN_COLLECTION_GENERATOR_DISJOINT_CEGAR_H