![]() |
Awali
Another Weighted Automata library
|
#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 |
using awali::sttc::internal::cont_filter< Container >::const_iterator = it_filter<Container> |
using awali::sttc::internal::cont_filter< Container >::it_t = typename Container::const_iterator |
using awali::sttc::internal::cont_filter< Container >::pred_t = std::function<bool(const value_type&)> |
using awali::sttc::internal::cont_filter< Container >::value_type = typename Container::value_type |
awali::sttc::internal::cont_filter< Container >::cont_filter | ( | const Container & | cont, |
pred_t | pred | ||
) |
const_iterator awali::sttc::internal::cont_filter< Container >::begin | ( | ) | const |
bool awali::sttc::internal::cont_filter< Container >::empty | ( | ) | const |
const_iterator awali::sttc::internal::cont_filter< Container >::end | ( | ) | const |
unsigned awali::sttc::internal::cont_filter< Container >::size | ( | ) | const |
const Container& awali::sttc::internal::cont_filter< Container >::cont |
pred_t awali::sttc::internal::cont_filter< Container >::pred |