Awali
Another Weighted Automata library
Public Types | Public Member Functions | Data Fields
awali::sttc::internal::cont_filter< Container > Struct Template Reference

#include <cont_filter.hh>

Public Types

using const_iterator = it_filter< Container >
 
using it_t = typename Container::const_iterator
 
using pred_t = std::function< bool(const value_type &)>
 
using value_type = typename Container::value_type
 

Public Member Functions

 cont_filter (const Container &cont, pred_t pred)
 
const_iterator begin () const
 
bool empty () const
 
const_iterator end () const
 
unsigned size () const
 

Data Fields

const Container & cont
 
pred_t pred
 

Member Typedef Documentation

◆ const_iterator

template<typename Container >
using awali::sttc::internal::cont_filter< Container >::const_iterator = it_filter<Container>

◆ it_t

template<typename Container >
using awali::sttc::internal::cont_filter< Container >::it_t = typename Container::const_iterator

◆ pred_t

template<typename Container >
using awali::sttc::internal::cont_filter< Container >::pred_t = std::function<bool(const value_type&)>

◆ value_type

template<typename Container >
using awali::sttc::internal::cont_filter< Container >::value_type = typename Container::value_type

Constructor & Destructor Documentation

◆ cont_filter()

template<typename Container >
awali::sttc::internal::cont_filter< Container >::cont_filter ( const Container &  cont,
pred_t  pred 
)

Member Function Documentation

◆ begin()

template<typename Container >
const_iterator awali::sttc::internal::cont_filter< Container >::begin ( ) const

◆ empty()

template<typename Container >
bool awali::sttc::internal::cont_filter< Container >::empty ( ) const

◆ end()

template<typename Container >
const_iterator awali::sttc::internal::cont_filter< Container >::end ( ) const

◆ size()

template<typename Container >
unsigned awali::sttc::internal::cont_filter< Container >::size ( ) const

Field Documentation

◆ cont

template<typename Container >
const Container& awali::sttc::internal::cont_filter< Container >::cont

◆ pred

template<typename Container >
pred_t awali::sttc::internal::cont_filter< Container >::pred

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