Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::umb::internal::IsOptional Concept Reference

Concept definition

template<typename T>
concept storm::umb::internal::IsOptional = std::same_as<std::remove_cvref_t<T>, std::optional<typename T::value_type>>

Detailed Description

Definition at line 23 of file UmbImport.cpp.