Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
storm::adapters::Dereferencer< T > Struct Template Reference

#include <DereferenceIteratorAdapter.h>

Public Attributes

decltype((*std::declval< T >()) operator() )(T const &t) const
 

Detailed Description

template<typename T>
struct storm::adapters::Dereferencer< T >

Definition at line 11 of file DereferenceIteratorAdapter.h.

Member Data Documentation

◆ operator()

template<typename T >
decltype((*std::declval< T >()) storm::adapters::Dereferencer< T >::operator()) (T const &t) const
inline

Definition at line 12 of file DereferenceIteratorAdapter.h.


The documentation for this struct was generated from the following file: