Boost  v1.57.0
doxygen for www.boost.org
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
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
template<class Iterator >
boost::range_detail::ForwardIteratorConcept< Iterator >::BOOST_CONCEPT_USAGE ( ForwardIteratorConcept< Iterator >  )
inlineinherited
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: