Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::optionalref_detail Namespace Reference

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

Detailed Description

Function Documentation

◆ FUN() [1/2]

template<class T>
void storm::optionalref_detail::FUN ( T && )
delete

◆ FUN() [2/2]

template<class T>
T & storm::optionalref_detail::FUN ( T & t)
constexprnoexcept

Definition at line 17 of file OptionalRef.h.