Awali
Another Weighted Automata library
|
#include <awali/sttc/weightset/polynomialset.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 Context > | |
auto | awali::sttc::read_label (std::istream &is, const Context &ctx) -> label_t_of< Context > |
template<typename Context > | |
auto | awali::sttc::read_polynomial (const Context &ctx, std::istream &is) -> typename polynomialset< Context >::value_t |
template<typename Context > | |
auto | awali::sttc::read_weight (const Context &ctx, std::istream &is) -> weight_t_of< Context > |