Awali
Another Weighted Automata library
|
#include <cont_filter.hh>
Public Types | |
using | difference_type = int |
using | iterator_category = std::forward_iterator_tag |
using | pointer = unsigned * |
using | pred_t = std::function< bool(const value_t &)> |
using | reference = unsigned & |
using | value_t = typename Container::value_type |
using | value_type = unsigned |
Public Member Functions | |
it_indice_filter (Container cont, unsigned current, unsigned end, pred_t pred) | |
it_indice_filter (unsigned end) | |
bool | operator!= (const it_indice_filter &it) const |
unsigned | operator* () |
it_indice_filter & | operator++ () |
bool | operator== (const it_indice_filter &it) const |
Data Fields | |
Container | cont |
unsigned | current |
unsigned | length |
pred_t | pred |
using awali::sttc::internal::it_indice_filter< Container >::difference_type = int |
using awali::sttc::internal::it_indice_filter< Container >::iterator_category = std::forward_iterator_tag |
using awali::sttc::internal::it_indice_filter< Container >::pointer = unsigned* |
using awali::sttc::internal::it_indice_filter< Container >::pred_t = std::function<bool(const value_t&)> |
using awali::sttc::internal::it_indice_filter< Container >::reference = unsigned& |
using awali::sttc::internal::it_indice_filter< Container >::value_t = typename Container::value_type |
using awali::sttc::internal::it_indice_filter< Container >::value_type = unsigned |
awali::sttc::internal::it_indice_filter< Container >::it_indice_filter | ( | Container | cont, |
unsigned | current, | ||
unsigned | end, | ||
pred_t | pred | ||
) |
awali::sttc::internal::it_indice_filter< Container >::it_indice_filter | ( | unsigned | end | ) |
bool awali::sttc::internal::it_indice_filter< Container >::operator!= | ( | const it_indice_filter< Container > & | it | ) | const |
unsigned awali::sttc::internal::it_indice_filter< Container >::operator* | ( | ) |
it_indice_filter& awali::sttc::internal::it_indice_filter< Container >::operator++ | ( | ) |
bool awali::sttc::internal::it_indice_filter< Container >::operator== | ( | const it_indice_filter< Container > & | it | ) | const |
Container awali::sttc::internal::it_indice_filter< Container >::cont |
unsigned awali::sttc::internal::it_indice_filter< Container >::current |
unsigned awali::sttc::internal::it_indice_filter< Container >::length |
pred_t awali::sttc::internal::it_indice_filter< Container >::pred |