|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
Helper to prevent OptionalRef's to rvalue types. More...
Functions | |
| template<class T > | |
| constexpr T & | FUN (T &t) noexcept |
| template<class T > | |
| void | FUN (T &&)=delete |
Helper to prevent OptionalRef's to rvalue types.
|
delete |
|
constexprnoexcept |
Definition at line 17 of file OptionalRef.h.