![]() |
Awali
Another Weighted Automata library
|
#include <awali/sttc/ctx/traits.hh>#include <awali/sttc/algos/compose.hh>#include <awali/sttc/algos/eval.hh>#include <awali/sttc/algos/lal_lan_conversion.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 Tdc > | |
| auto | awali::sttc::eval_words_in_tdc (const Tdc &tdc, const typename internal::select< labelset_t_of< Tdc >, 0 >::labelset_t::word_t &w1, const typename internal::select< labelset_t_of< Tdc >, 1 >::labelset_t::word_t &w2) -> weight_t_of< Tdc > |