Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
adl_serializer< T > Struct Template Reference

#include <JsonSerializationAdapter.h>

Static Public Member Functions

template<typename JsonType>
static void to_json (JsonType &json, T const &val)
template<typename JsonType>
static void from_json (JsonType const &json, T &val)
template<typename JsonType>
static void to_json (JsonType &json, T const &val)
template<typename JsonType>
static void from_json (JsonType const &json, T &val)

Detailed Description

template<StormEnableSerializationConcept T>
struct adl_serializer< T >

Definition at line 71 of file JsonSerializationAdapter.h.

Member Function Documentation

◆ from_json() [1/2]

template<typename JsonType>
void adl_serializer< T >::from_json ( JsonType const & json,
T & val )
inlinestatic

Definition at line 136 of file JsonSerializationAdapter.h.

◆ from_json() [2/2]

template<typename JsonType>
void adl_serializer< T >::from_json ( JsonType const & json,
T & val )
inlinestatic

Definition at line 83 of file JsonSerializationAdapter.h.

◆ to_json() [1/2]

template<typename JsonType>
void adl_serializer< T >::to_json ( JsonType & json,
T const & val )
inlinestatic

Definition at line 131 of file JsonSerializationAdapter.h.

◆ to_json() [2/2]

template<typename JsonType>
void adl_serializer< T >::to_json ( JsonType & json,
T const & val )
inlinestatic

Definition at line 75 of file JsonSerializationAdapter.h.


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