Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::OptionalRef< T > Member List

This is the complete list of members for storm::OptionalRef< T >, including all inherited members.

has_value() conststorm::OptionalRef< T >inline
operator bool() conststorm::OptionalRef< T >inline
operator*()storm::OptionalRef< T >inline
operator*() conststorm::OptionalRef< T >inline
operator->()storm::OptionalRef< T >inline
operator->() conststorm::OptionalRef< T >inline
operator=(OptionalRef const &other)=deletestorm::OptionalRef< T >
OptionalRef()storm::OptionalRef< T >inline
OptionalRef(NullRefType)storm::OptionalRef< T >inline
OptionalRef(U &&u) noexcept(noexcept(optionalref_detail::FUN< T >(std::forward< U >(u))))storm::OptionalRef< T >inline
OptionalRef(OptionalRef< T > const &other)=defaultstorm::OptionalRef< T >
OptionalRef(OptionalRef< T > &&other)=defaultstorm::OptionalRef< T >
reset()storm::OptionalRef< T >inline
reset(NullRefType const &)storm::OptionalRef< T >inline
reset(T &t)storm::OptionalRef< T >inline
type typedefstorm::OptionalRef< T >
value()storm::OptionalRef< T >inline
value() conststorm::OptionalRef< T >inline
value_or(T &defaultValue)storm::OptionalRef< T >inline
value_or(T const &defaultValue) conststorm::OptionalRef< T >inline