Awali
Another Weighted Automata library
Namespaces | Functions
vector.hh File Reference
#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...