wordlist.h

#ifndef BACKENDS_P4TOOLS_MODULES_SMITH_UTIL_WORDLIST_H_
#define BACKENDS_P4TOOLS_MODULES_SMITH_UTIL_WORDLIST_H_
#include <array>
#include <cstddef>
 
#define WORDLIST_LENGTH 10000
 
namespace P4::P4Tools::P4Smith {
 
class Wordlist {
 public:
    Wordlist() = default;
 
    ~Wordlist() = default;
 
    static const char *getFromWordlist();
 
 private:
    static std::size_t counter;
 
    static const std::array<const char *, WORDLIST_LENGTH> WORDS;
};
 
}  // namespace P4::P4Tools::P4Smith
 
#endif /* BACKENDS_P4TOOLS_MODULES_SMITH_UTIL_WORDLIST_H_ */