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