Storm
A Modern Probabilistic Model Checker
|
#include <DereferenceIteratorAdapter.h>
Public Attributes | |
decltype((*std::declval< T >()) | operator() )(T const &t) const |
Definition at line 11 of file DereferenceIteratorAdapter.h.
|
inline |
Definition at line 12 of file DereferenceIteratorAdapter.h.