merge_strategy_stateless.h

#ifndef MERGE_AND_SHRINK_MERGE_STRATEGY_STATELESS_H
#define MERGE_AND_SHRINK_MERGE_STRATEGY_STATELESS_H
 
#include "downward/merge_and_shrink/merge_strategy.h"
 
#include <memory>
 
namespace merge_and_shrink {
class MergeSelector;
class MergeStrategyStateless : public MergeStrategy {
    const std::shared_ptr<MergeSelector> merge_selector;
 
public:
    MergeStrategyStateless(
        const FactoredTransitionSystem& fts,
        const std::shared_ptr<MergeSelector>& merge_selector);
    virtual ~MergeStrategyStateless() override = default;
    virtual std::pair<int, int> get_next() override;
};
} // namespace merge_and_shrink
 
#endif