![]() |
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... | |