single_cegar.h

#ifndef PROBFD_PDBS_CEGAR_SINGLE_CEGAR_H
#define PROBFD_PDBS_CEGAR_SINGLE_CEGAR_H
 
#include "probfd/pdbs/state_ranking_function.h"
#include "probfd/pdbs/types.h"
 
#include "probfd/fdr_types.h"
#include "probfd/value_type.h"
 
#include <memory>
#include <unordered_set>
#include <vector>
 
// Forward Declarations
class VariablesProxy;
 
namespace utils {
class CountdownTimer;
class LogProxy;
class RandomNumberGenerator;
} // namespace utils
 
namespace probfd {
class ProbabilisticTaskProxy;
}
 
namespace probfd::pdbs {
class ProjectionStateSpace;
struct ProjectionTransformation;
class ProbabilityAwarePatternDatabase;
} // namespace probfd::pdbs
 
namespace probfd::pdbs::cegar {
struct Flaw;
class FlawFindingStrategy;
} // namespace probfd::pdbs::cegar
 
namespace probfd::pdbs::cegar {
 
extern void run_cegar_loop(
    ProjectionTransformation& transformation,
    ProbabilisticTaskProxy task_proxy,
    std::shared_ptr<FDRSimpleCostFunction> task_cost_function,
    cegar::FlawFindingStrategy& flaw_strategy,
    std::unordered_set<int> blacklisted_variables,
    int max_pdb_size,
    utils::RandomNumberGenerator& rng,
    bool wildcard,
    double max_time,
    utils::LogProxy log);
 
} // namespace probfd::pdbs::cegar
 
#endif // PROBFD_PDBS_CEGAR_SINGLE_CEGAR_H