Storm
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 >
constexpr T & storm::optionalref_detail::FUN ( T &  t)
constexprnoexcept

Definition at line 17 of file OptionalRef.h.