storm::SerializedEnum< EnumDecl > Class Template Reference

#include <JsonSerializationAdapter.h>

Public Types
using	EnumDeclaration = EnumDecl
using	E = typename EnumDeclaration::Values

Public Member Functions
	SerializedEnum ()=default
	SerializedEnum (E value)
	SerializedEnum (std::string_view str)
bool	isInitialized () const
	operator E () const
bool	operator== (E other) const
std::string_view	toString () const

Static Public Attributes
static auto constexpr	Keys = EnumDeclaration::Keys
static E constexpr	Uninitialized = static_cast<E>(std::numeric_limits<std::underlying_type_t<E>>::max())

Friends
std::ostream &	operator<< (std::ostream &os, SerializedEnum const &val)

Detailed Description

template<typename EnumDecl>
requires std::is_enum_v<typename EnumDecl::Values>
class storm::SerializedEnum< EnumDecl >

Definition at line 17 of file JsonSerializationAdapter.h.

Member Typedef Documentation

E

template<typename EnumDecl>

using storm::SerializedEnum< EnumDecl >::E = typename EnumDeclaration::Values

Definition at line 20 of file JsonSerializationAdapter.h.

EnumDeclaration

template<typename EnumDecl>

using storm::SerializedEnum< EnumDecl >::EnumDeclaration = EnumDecl

Definition at line 19 of file JsonSerializationAdapter.h.

Constructor & Destructor Documentation

SerializedEnum() [1/3]

template<typename EnumDecl>

storm::SerializedEnum< EnumDecl >::SerializedEnum ( )

default

SerializedEnum() [2/3]

template<typename EnumDecl>

storm::SerializedEnum< EnumDecl >::SerializedEnum ( E value )

inline

Definition at line 25 of file JsonSerializationAdapter.h.

SerializedEnum() [3/3]

template<typename EnumDecl>

storm::SerializedEnum< EnumDecl >::SerializedEnum ( std::string_view str )

inline

Definition at line 26 of file JsonSerializationAdapter.h.

Member Function Documentation

isInitialized()

template<typename EnumDecl>

bool storm::SerializedEnum< EnumDecl >::isInitialized ( ) const

inline

Definition at line 32 of file JsonSerializationAdapter.h.

operator E()

template<typename EnumDecl>

storm::SerializedEnum< EnumDecl >::operator E ( ) const

inline

Definition at line 36 of file JsonSerializationAdapter.h.

operator==()

template<typename EnumDecl>

bool storm::SerializedEnum< EnumDecl >::operator== ( E other ) const

inline

Definition at line 41 of file JsonSerializationAdapter.h.

toString()

template<typename EnumDecl>

std::string_view storm::SerializedEnum< EnumDecl >::toString ( ) const

inline

Definition at line 45 of file JsonSerializationAdapter.h.

Friends And Related Symbol Documentation

operator<<

template<typename EnumDecl>

std::ostream & operator<< ( std::ostream & os, SerializedEnum< EnumDecl > const & val )

friend

Definition at line 52 of file JsonSerializationAdapter.h.

Member Data Documentation

Keys

template<typename EnumDecl>

auto constexpr storm::SerializedEnum< EnumDecl >::Keys = EnumDeclaration::Keys

staticconstexpr

Definition at line 21 of file JsonSerializationAdapter.h.

Uninitialized

template<typename EnumDecl>

E constexpr storm::SerializedEnum< EnumDecl >::Uninitialized = static_cast<E>(std::numeric_limits<std::underlying_type_t<E>>::max())

staticconstexpr

Definition at line 22 of file JsonSerializationAdapter.h.

---

The documentation for this class was generated from the following file:

• src/storm/adapters/JsonSerializationAdapter.h