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