Awali
Another Weighted Automata library
|
#include <awali/sttc/algos/accessible.hh>
#include <awali/sttc/algos/product.hh>
#include <awali/sttc/history/tuple_history.hh>
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 > | |
bool | awali::sttc::is_ambiguous (const Aut &aut) |