#ifndef PDBS_PATTERN_GENERATOR_GREEDY_H
#define PDBS_PATTERN_GENERATOR_GREEDY_H

#include "pattern_generator.h"

namespace pdbs {
class PatternGeneratorGreedy : public PatternGenerator {
    const int max_states;

    virtual std::string name() const override;
    virtual PatternInformation compute_pattern(
        const std::shared_ptr<AbstractTask> &task) override;
public:
    explicit PatternGeneratorGreedy(const plugins::Options &opts);
    virtual ~PatternGeneratorGreedy() = default;
};
}

#endif
