|
Storm 1.13.0.1
A Modern Probabilistic Model Checker
|
#include <DereferenceIteratorAdapter.h>
Public Member Functions | |
| 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.