Boost  v1.57.0
doxygen for www.boost.org
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
Public Types | Public Member Functions | List of all members
boost::range_detail::ForwardIteratorConcept< Iterator > Struct Template Reference

#include <concepts.hpp>

Inheritance diagram for boost::range_detail::ForwardIteratorConcept< Iterator >:
Inheritance graph
[legend]
Collaboration diagram for boost::range_detail::ForwardIteratorConcept< Iterator >:
Collaboration graph
[legend]

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_MPL_ASSERT ((is_integral< difference_type >))
 
 BOOST_MPL_ASSERT_RELATION (std::numeric_limits< difference_type >::is_signed,==, true)
 
 BOOST_CONCEPT_ASSERT ((Convertible< BOOST_DEDUCED_TYPENAME ForwardIteratorConcept::traversal_category, forward_traversal_tag >))
 
 BOOST_CONCEPT_USAGE (ForwardIteratorConcept)
 
 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 (SinglePassIteratorConcept)
 
 BOOST_CONCEPT_USAGE (IncrementableIteratorConcept)
 

Member Typedef Documentation

template<class Iterator >
typedef BOOST_DEDUCED_TYPENAME boost::detail::iterator_traits<Iterator>::difference_type boost::range_detail::ForwardIteratorConcept< Iterator >::difference_type
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 >)  )
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 >  )
inline

References BOOST_DEDUCED_TYPENAME, and boost::ignore_unused_variable_warning().

template<class Iterator >
boost::range_detail::ForwardIteratorConcept< Iterator >::BOOST_MPL_ASSERT ( (is_integral< difference_type >)  )
template<class Iterator >
boost::range_detail::ForwardIteratorConcept< Iterator >::BOOST_MPL_ASSERT_RELATION ( std::numeric_limits< difference_type >::is_signed  ,
true   
)
The documentation for this struct was generated from the following file: