Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::adapters::DereferenceIteratorAdapter< ContainerType > Class Template Reference

#include <DereferenceIteratorAdapter.h>

Public Types

typedef ContainerType::value_type value_type
typedef std::conditional< std::is_const< ContainerType >::value, typenameContainerType::const_iterator, typenameContainerType::iterator >::type input_iterator
typedef boost::transform_iterator< Dereferencer< value_type >, input_iteratoriterator

Public Member Functions

 DereferenceIteratorAdapter (input_iterator it, input_iterator ite)
iterator begin () const
iterator end () const
bool empty () const
decltype((*std::declval< value_type >())) front () const
decltype((*std::declval< value_type >())) back () const
std::size_t size () const

Static Public Member Functions

static iterator make_iterator (input_iterator it)

Detailed Description

template<typename ContainerType>
class storm::adapters::DereferenceIteratorAdapter< ContainerType >

Definition at line 18 of file DereferenceIteratorAdapter.h.

Member Typedef Documentation

◆ input_iterator

template<typename ContainerType>
typedef std::conditional<std::is_const<ContainerType>::value,typenameContainerType::const_iterator,typenameContainerType::iterator>::type storm::adapters::DereferenceIteratorAdapter< ContainerType >::input_iterator

Definition at line 22 of file DereferenceIteratorAdapter.h.

◆ iterator

template<typename ContainerType>
typedef boost::transform_iterator<Dereferencer<value_type>, input_iterator> storm::adapters::DereferenceIteratorAdapter< ContainerType >::iterator

Definition at line 23 of file DereferenceIteratorAdapter.h.

◆ value_type

template<typename ContainerType>
typedef ContainerType::value_type storm::adapters::DereferenceIteratorAdapter< ContainerType >::value_type

Definition at line 20 of file DereferenceIteratorAdapter.h.

Constructor & Destructor Documentation

◆ DereferenceIteratorAdapter()

template<typename ContainerType>
storm::adapters::DereferenceIteratorAdapter< ContainerType >::DereferenceIteratorAdapter ( input_iterator it,
input_iterator ite )
inline

Definition at line 25 of file DereferenceIteratorAdapter.h.

Member Function Documentation

◆ back()

template<typename ContainerType>
decltype((*std::declval< value_type >())) storm::adapters::DereferenceIteratorAdapter< ContainerType >::back ( ) const
inline

Definition at line 49 of file DereferenceIteratorAdapter.h.

◆ begin()

template<typename ContainerType>
iterator storm::adapters::DereferenceIteratorAdapter< ContainerType >::begin ( ) const
inline

Definition at line 29 of file DereferenceIteratorAdapter.h.

◆ empty()

template<typename ContainerType>
bool storm::adapters::DereferenceIteratorAdapter< ContainerType >::empty ( ) const
inline

Definition at line 41 of file DereferenceIteratorAdapter.h.

◆ end()

template<typename ContainerType>
iterator storm::adapters::DereferenceIteratorAdapter< ContainerType >::end ( ) const
inline

Definition at line 33 of file DereferenceIteratorAdapter.h.

◆ front()

template<typename ContainerType>
decltype((*std::declval< value_type >())) storm::adapters::DereferenceIteratorAdapter< ContainerType >::front ( ) const
inline

Definition at line 45 of file DereferenceIteratorAdapter.h.

◆ make_iterator()

template<typename ContainerType>
iterator storm::adapters::DereferenceIteratorAdapter< ContainerType >::make_iterator ( input_iterator it)
inlinestatic

Definition at line 37 of file DereferenceIteratorAdapter.h.

◆ size()

template<typename ContainerType>
std::size_t storm::adapters::DereferenceIteratorAdapter< ContainerType >::size ( ) const
inline

Definition at line 53 of file DereferenceIteratorAdapter.h.


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