![]() |
Awali
Another Weighted Automata library
|
#include <cont_filter.hh>
Public Types | |
using | const_iterator = it_indice_filter< Container > |
using | pred_t = std::function< bool(const value_t &)> |
using | value_t = typename Container::value_type |
Public Member Functions | |
indice_filter (const Container &cont, pred_t pred) | |
indice_filter (const Container &cont, pred_t pred, unsigned shift) | |
const_iterator | begin () const |
bool | empty () const |
const_iterator | end () const |
unsigned | size () const |
Data Fields | |
const Container & | cont |
pred_t | pred |
unsigned | shift |
using awali::sttc::internal::indice_filter< Container >::const_iterator = it_indice_filter<Container> |
using awali::sttc::internal::indice_filter< Container >::pred_t = std::function<bool(const value_t&)> |
using awali::sttc::internal::indice_filter< Container >::value_t = typename Container::value_type |
awali::sttc::internal::indice_filter< Container >::indice_filter | ( | const Container & | cont, |
pred_t | pred | ||
) |
awali::sttc::internal::indice_filter< Container >::indice_filter | ( | const Container & | cont, |
pred_t | pred, | ||
unsigned | shift | ||
) |
const_iterator awali::sttc::internal::indice_filter< Container >::begin | ( | ) | const |
bool awali::sttc::internal::indice_filter< Container >::empty | ( | ) | const |
const_iterator awali::sttc::internal::indice_filter< Container >::end | ( | ) | const |
unsigned awali::sttc::internal::indice_filter< Container >::size | ( | ) | const |
const Container& awali::sttc::internal::indice_filter< Container >::cont |
pred_t awali::sttc::internal::indice_filter< Container >::pred |
unsigned awali::sttc::internal::indice_filter< Container >::shift |