![]() |
Awali
Another Weighted Automata library
|
#include <algorithm>
Go to the source code of this file.
Namespaces | |
awali | |
Main namespace of Awali. | |
awali::sttc | |
Namespace for the static layer of Awali. | |
Functions | |
template<typename Aut , typename Compare > | |
void | awali::sttc::sort (Aut a, Compare p) |
template<size_t I, typename Tdc > | |
void | awali::sttc::sort_tape (Tdc t) |