merge_strategy_sccs.h

#ifndef MERGE_AND_SHRINK_MERGE_STRATEGY_SCCS_H
#define MERGE_AND_SHRINK_MERGE_STRATEGY_SCCS_H
 
#include "downward/merge_and_shrink/merge_strategy.h"
 
#include <memory>
#include <vector>
 
class TaskProxy;
 
namespace merge_and_shrink {
class MergeSelector;
class MergeTreeFactory;
class MergeTree;
class MergeStrategySCCs : public MergeStrategy {
    const TaskProxy& task_proxy;
    std::shared_ptr<MergeTreeFactory> merge_tree_factory;
    std::shared_ptr<MergeSelector> merge_selector;
    std::vector<std::vector<int>> non_singleton_cg_sccs;
 
    std::unique_ptr<MergeTree> current_merge_tree;
    std::vector<int> current_ts_indices;
 
public:
    MergeStrategySCCs(
        const FactoredTransitionSystem& fts,
        const TaskProxy& task_proxy,
        const std::shared_ptr<MergeTreeFactory>& merge_tree_factory,
        const std::shared_ptr<MergeSelector>& merge_selector,
        std::vector<std::vector<int>>&& non_singleton_cg_sccs);
    virtual ~MergeStrategySCCs() override;
    virtual std::pair<int, int> get_next() override;
};
} // namespace merge_and_shrink
 
#endif