Vcsn
2.4
Be Rational
|
#include <filter.hh>
Public Types | |
using | value_type = typename Range::value_type |
using | difference_type = std::ptrdiff_t |
using | filtered_t = boost::filtered_range< Filter, Range > |
using | iterator = typename filtered_t::iterator |
using | const_iterator = typename filtered_t::const_iterator |
Public Member Functions | |
safe_filtered (Range r, Filter f) | |
const_iterator | begin () const |
const_iterator | end () const |
bool | empty () const |
Whether filters to nothing. More... | |
size_t | size () const |
Number of elements in the filtered range. More... | |
Public Attributes | |
Range | range_ |
filtered_t | filtered_ |
using vcsn::detail::safe_filtered< Range, Filter >::const_iterator = typename filtered_t::const_iterator |
using vcsn::detail::safe_filtered< Range, Filter >::difference_type = std::ptrdiff_t |
using vcsn::detail::safe_filtered< Range, Filter >::filtered_t = boost::filtered_range<Filter, Range> |
using vcsn::detail::safe_filtered< Range, Filter >::iterator = typename filtered_t::iterator |
using vcsn::detail::safe_filtered< Range, Filter >::value_type = typename Range::value_type |
|
inline |
|
inline |
Definition at line 25 of file filter.hh.
References vcsn::detail::safe_filtered< Range, Filter >::filtered_.
|
inline |
Whether filters to nothing.
Definition at line 29 of file filter.hh.
References vcsn::detail::safe_filtered< Range, Filter >::filtered_.
|
inline |
Definition at line 26 of file filter.hh.
References vcsn::detail::safe_filtered< Range, Filter >::filtered_.
|
inline |
Number of elements in the filtered range.
Definition at line 35 of file filter.hh.
References vcsn::detail::safe_filtered< Range, Filter >::filtered_.
filtered_t vcsn::detail::safe_filtered< Range, Filter >::filtered_ |
Definition at line 41 of file filter.hh.
Referenced by vcsn::detail::safe_filtered< Range, Filter >::begin(), vcsn::detail::safe_filtered< Range, Filter >::empty(), vcsn::detail::safe_filtered< Range, Filter >::end(), and vcsn::detail::safe_filtered< Range, Filter >::size().
Range vcsn::detail::safe_filtered< Range, Filter >::range_ |