Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
OptionalRef.h File Reference
#include <memory>
#include <type_traits>
#include "storm/utility/macros.h"
Include dependency graph for OptionalRef.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  storm::NullRefType
 Auxiliary struct used to identify OptionalRefs that do not contain a reference. More...
 
class  storm::OptionalRef< T >
 Helper class that optionally holds a reference to an object of type T. More...
 

Namespaces

namespace  storm
 LabParser.cpp.
 
namespace  storm::optionalref_detail
 Helper to prevent OptionalRef's to rvalue types.
 

Functions

template<class T >
constexpr T & storm::optionalref_detail::FUN (T &t) noexcept
 
template<class T >
void storm::optionalref_detail::FUN (T &&)=delete
 
template<class T >
 storm::OptionalRef (T &) -> OptionalRef< T >
 deduction guides
 

Variables

constexpr NullRefType storm::NullRef {0}