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>>

Detailed Description

Definition at line 68 of file JsonSerializationAdapter.h.