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 > |