Storm
1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
StormIsOptional Concept Reference
#include <
JsonSerializationAdapter.h
>
Concept definition
template
<
typename
T>
concept
StormIsOptional
= std::same_as<T, std::optional<typename T::value_type>>
StormIsOptional
Definition
JsonSerializationAdapter.h:68
Detailed Description
Definition at line
68
of file
JsonSerializationAdapter.h
.
StormIsOptional
Generated by
1.15.0