Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Static Public Member Functions | Public Attributes | List of all members
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_iterator > iterator
 

Public Member Functions

 DereferenceIteratorAdapter (input_iterator it, input_iterator ite)
 
iterator begin () const
 
iterator end () const
 
bool empty () const
 
std::size_t size () const
 

Static Public Member Functions

static iterator make_iterator (input_iterator it)
 

Public Attributes

decltype((*std::declval< value_type >()) front )() const
 
decltype((*std::declval< value_type >()) back )() const
 

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

◆ 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.

◆ make_iterator()

template<typename ContainerType >
static 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.

Member Data 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.

◆ front

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

Definition at line 45 of file DereferenceIteratorAdapter.h.

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