#ifndef WLP4DATA_H
#define WLP4DATA_H

#include <string>
extern const std::string WLP4_CFG;
extern const std::string WLP4_TRANSITIONS;
extern const std::string WLP4_REDUCTIONS;
extern const std::string WLP4_DFA;
extern const std::string WLP4_COMBINED;

#endif