merge_strategy_precomputed.h

#ifndef MERGE_AND_SHRINK_MERGE_STRATEGY_PRECOMPUTED_H
#define MERGE_AND_SHRINK_MERGE_STRATEGY_PRECOMPUTED_H
 
#include "downward/merge_and_shrink/merge_strategy.h"
 
#include <memory>
 
namespace merge_and_shrink {
class MergeTree;
class MergeStrategyPrecomputed : public MergeStrategy {
    std::unique_ptr<MergeTree> merge_tree;
 
public:
    MergeStrategyPrecomputed(
        const FactoredTransitionSystem& fts,
        std::unique_ptr<MergeTree> merge_tree);
    ~MergeStrategyPrecomputed() override;
    virtual std::pair<int, int> get_next() override;
};
} // namespace merge_and_shrink
 
#endif