Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ExtendSettingEnumWithSelectionField.h File Reference
#include <cassert>
#include <string>
Include dependency graph for ExtendSettingEnumWithSelectionField.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define ExtendEnumsWithSelectionField(NAME, ...)
 

Macro Definition Documentation

◆ ExtendEnumsWithSelectionField

#define ExtendEnumsWithSelectionField (   NAME,
  ... 
)
Value:
enum class NAME : int { __VA_ARGS__ }; \
enum class NAME##Selection : int{__VA_ARGS__, FROMSETTINGS}; \
std::string toString(NAME); \
inline NAME convert(NAME##Selection e) { \
assert(e != NAME##Selection::FROMSETTINGS); \
return static_cast<NAME>(e); \
} \
inline std::string toString(NAME##Selection e) { \
if (e == NAME##Selection::FROMSETTINGS) { \
return "[from settings]"; \
} else { \
return toString(convert(e)); \
} \
}
std::string toString(DFTElementType const &type)
OptimizationDirection convert(OptimizationDirectionSetting s)

Definition at line 7 of file ExtendSettingEnumWithSelectionField.h.