Storm 1.13.0.1
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
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}