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