presolve.h

#pragma once
#include <antares-xpansion/multisolver_interface/SolverAbstract.h>
#include <antares-xpansion/xpansion_interfaces/ILogger.h>
#include <filesystem>
#include <span>
#include <unordered_map>
 
struct PresolveOptions;
 
class Presolve
{
public:
    static constexpr std::string_view PRESOLVE_CONTEXT{"Presolve"};
    // Initialise un solver; lève std::runtime_error si indisponible
    std::shared_ptr<SolverAbstract> init_solver(const PresolveOptions& options,
                                                std::shared_ptr<ILogger>& logger);
 
    // Construit le mapping entre indices candidats (full) et indices réduits après presolve.
    // Pré-condition: solver déjà en état presolve_only.
    // Post-condition: mapping size == candidate_ids.size() sinon exception.
    [[nodiscard]] std::unordered_map<int, int> get_candidates_presolve_map(
      const SolverAbstract& solver,
      std::span<const int> candidate_ids) const;
 
    void reduce_problems(std::shared_ptr<SolverAbstract> solver,
                         const PresolveOptions& options,
                         std::shared_ptr<ILogger> logger);
 
private:
    static void safe_create_directory(const std::filesystem::path& dir);
    static void safe_move_file(const std::filesystem::path& from, const std::filesystem::path& to);
};