Awali
Another Weighted Automata library
Namespaces | Functions
read.hh File Reference
#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 >