Awali
Another Weighted Automata library
|
#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 Tuple > | |
auto | awali::sttc::internal::tuple_tail (const Tuple &t) -> typename tail_tuple< Tuple >::type |