Awali
Another Weighted Automata library
|
#include <algorithm>
#include <vector>
#include <awali/sttc/misc/attributes.hh>
#include <awali/common/tuple.hh>
Go to the source code of this file.
Namespaces | |
awali | |
Main namespace of Awali. | |
awali::sttc | |
Namespace for the static layer of Awali. | |
awali::sttc::internal | |
Implementation details of static layer (not stable). | |
Functions | |
template<typename Fun > | |
void | awali::sttc::internal::cross (Fun f) |
Variadic Cartesian product of vectors. More... | |
template<typename Fun , typename H , typename... Ts> | |
void | awali::sttc::internal::cross (Fun f, std::vector< H > const &h, std::vector< Ts > const &... ts) |
template<typename Fun , typename... Ts> | |
void | awali::sttc::internal::cross_tuple (Fun f, const std::tuple< Ts... > &ts) |
template<typename Fun , typename... Ts, size_t... I> | |
void | awali::sttc::internal::cross_tuple_ (Fun f, const std::tuple< Ts... > &ts, awali::internal::index_sequence< I... >) |
template<typename T , typename Alloc > | |
ATTRIBUTE_PURE auto | awali::sttc::internal::find (const std::vector< T, Alloc > &s, const T &e) -> typename std::vector< T, Alloc >::const_iterator |
Convenience wrapper around std::find. More... | |
template<typename T , typename Alloc > | |
ATTRIBUTE_PURE bool | awali::sttc::internal::has (const std::vector< T, Alloc > &s, const T &e) |
Whether e is member of s. More... | |
template<typename Cont > | |
std::vector< typename Cont::value_type > | awali::sttc::internal::to_vector (const Cont &cont) |
Return the content of cont as a vector. More... | |