boost::range_detail::RandomAccessIteratorConcept< Iterator > Struct Template Reference

#include <concepts.hpp>

Inheritance diagram for boost::range_detail::RandomAccessIteratorConcept< Iterator >:

Collaboration diagram for boost::range_detail::RandomAccessIteratorConcept< Iterator >:

Public Types
typedef BOOST_DEDUCED_TYPENAME boost::detail::iterator_traits < Iterator >::difference_type	difference_type
typedef BOOST_DEDUCED_TYPENAME iterator_traversal< Iterator > ::type	traversal_category

Public Member Functions
	BOOST_CONCEPT_ASSERT ((Convertible< BOOST_DEDUCED_TYPENAME RandomAccessIteratorConcept::traversal_category, random_access_traversal_tag >))
	BOOST_CONCEPT_USAGE (RandomAccessIteratorConcept)
	BOOST_CONCEPT_ASSERT ((Convertible< BOOST_DEDUCED_TYPENAME BidirectionalIteratorConcept::traversal_category, bidirectional_traversal_tag >))
	BOOST_CONCEPT_ASSERT ((Convertible< BOOST_DEDUCED_TYPENAME ForwardIteratorConcept::traversal_category, forward_traversal_tag >))
	BOOST_CONCEPT_ASSERT ((Convertible< BOOST_DEDUCED_TYPENAME SinglePassIteratorConcept::traversal_category, single_pass_traversal_tag >))
	BOOST_CONCEPT_ASSERT ((Convertible< traversal_category, incrementable_traversal_tag >))
	BOOST_CONCEPT_USAGE (BidirectionalIteratorConcept)
	BOOST_CONCEPT_USAGE (ForwardIteratorConcept)
	BOOST_CONCEPT_USAGE (SinglePassIteratorConcept)
	BOOST_CONCEPT_USAGE (IncrementableIteratorConcept)
	BOOST_MPL_ASSERT ((is_integral< difference_type >))
	BOOST_MPL_ASSERT_RELATION (std::numeric_limits< difference_type >::is_signed,==, true)

Member Typedef Documentation

template<class Iterator >

typedef BOOST_DEDUCED_TYPENAME boost::detail::iterator_traits<Iterator>::difference_type boost::range_detail::ForwardIteratorConcept< Iterator >::difference_type

inherited

template<class Iterator >

typedef BOOST_DEDUCED_TYPENAME iterator_traversal<Iterator>::type boost::range_detail::IncrementableIteratorConcept< Iterator >::traversal_category

inherited

Member Function Documentation

template<class Iterator >

boost::range_detail::IncrementableIteratorConcept< Iterator >::BOOST_CONCEPT_ASSERT ( (Convertible< traversal_category, incrementable_traversal_tag >)  )

inherited

template<class Iterator >

boost::range_detail::SinglePassIteratorConcept< Iterator >::BOOST_CONCEPT_ASSERT ( (Convertible< BOOST_DEDUCED_TYPENAME SinglePassIteratorConcept< Iterator >::traversal_category, single_pass_traversal_tag >)  )

inherited

template<class Iterator >

boost::range_detail::ForwardIteratorConcept< Iterator >::BOOST_CONCEPT_ASSERT ( (Convertible< BOOST_DEDUCED_TYPENAME ForwardIteratorConcept< Iterator >::traversal_category, forward_traversal_tag >)  )

inherited

template<class Iterator >

boost::range_detail::BidirectionalIteratorConcept< Iterator >::BOOST_CONCEPT_ASSERT ( (Convertible< BOOST_DEDUCED_TYPENAME BidirectionalIteratorConcept< Iterator >::traversal_category, bidirectional_traversal_tag >)  )

inherited

template<class Iterator >

boost::range_detail::RandomAccessIteratorConcept< Iterator >::BOOST_CONCEPT_ASSERT

(

(Convertible< BOOST_DEDUCED_TYPENAME RandomAccessIteratorConcept< Iterator >::traversal_category, random_access_traversal_tag >)

)

template<class Iterator >

boost::range_detail::IncrementableIteratorConcept< Iterator >::BOOST_CONCEPT_USAGE ( IncrementableIteratorConcept< Iterator >  )

inlineinherited

References boost::detail::void.

template<class Iterator >

boost::range_detail::SinglePassIteratorConcept< Iterator >::BOOST_CONCEPT_USAGE ( SinglePassIteratorConcept< Iterator >  )

inlineinherited

References BOOST_DEDUCED_TYPENAME, boost::ignore_unused_variable_warning(), and boost::detail::void.

template<class Iterator >

boost::range_detail::ForwardIteratorConcept< Iterator >::BOOST_CONCEPT_USAGE ( ForwardIteratorConcept< Iterator >  )

inlineinherited

References BOOST_DEDUCED_TYPENAME, and boost::ignore_unused_variable_warning().

template<class Iterator >

boost::range_detail::BidirectionalIteratorConcept< Iterator >::BOOST_CONCEPT_USAGE ( BidirectionalIteratorConcept< Iterator >  )

inlineinherited

References boost::detail::void.

template<class Iterator >

boost::range_detail::RandomAccessIteratorConcept< Iterator >::BOOST_CONCEPT_USAGE ( RandomAccessIteratorConcept< Iterator >  )

inline

template<class Iterator >

boost::range_detail::ForwardIteratorConcept< Iterator >::BOOST_MPL_ASSERT ( (is_integral< difference_type >)  )

inherited

template<class Iterator >

boost::range_detail::ForwardIteratorConcept< Iterator >::BOOST_MPL_ASSERT_RELATION ( std::numeric_limits< difference_type >::is_signed  , true    )

inherited

---

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

• boost_1_57_0/boost/range/concepts.hpp