Awali
Another Weighted Automata library
|
Namespaces | |
detail | |
Functions | |
template<typename Context > | |
mutable_automaton< Context > | js_parse_aut_content (const Context &context, std::istream &i) |
template<typename RatExpSet > | |
RatExpSet::ratexp_t | js_parse_exp_content (const RatExpSet &rs, std::istream &i) |
mutable_automaton<Context> awali::sttc::deprecated::js_parse_aut_content | ( | const Context & | context, |
std::istream & | i | ||
) |
RatExpSet::ratexp_t awali::sttc::deprecated::js_parse_exp_content | ( | const RatExpSet & | rs, |
std::istream & | i | ||
) |