2#ifndef STORMM_SYNTHESIS_ENUMERATORS_H
3#define STORMM_SYNTHESIS_ENUMERATORS_H
49constexpr int vwu_abstract_length = 32;
55enum class VwuAbstractMap {
109enum class InitializationTask {
114 GENERAL_MINIMIZATION,
122 GB_LANGEVIN_DYNAMICS,
129enum class StructureSource {
136enum class SystemGrouping {
149enum class VariableTorsionAdjustment {
150 ADJUST_NEARBY_VALUES,
154 RESTRICT_TO_NEARBY_VALUES,
158 CLUSTER_AND_APPLY_VALUES,
172std::string getEnumerationName(NbwuKind input);
173std::string getEnumerationName(VwuTask input);
174std::string getEnumerationName(VwuGoal input);
175std::string getEnumerationName(InitializationTask input);
176std::string getEnumerationName(StructureSource input);
177std::string getEnumerationName(SystemGrouping input);
178std::string getEnumerationName(VariableTorsionAdjustment input);
185SystemGrouping translateSystemGrouping(
const std::string &input_string);
191VariableTorsionAdjustment translateVariableTorsionAdjustment(
const std::string &input_string);