![]() |
Vcsn
2.3a
Be Rational
|
Classes | |
class | ast_node |
class | automaton |
class | context |
class | context_parser |
Parser of snames. More... | |
class | context_printer |
class | context_visitor |
class | expansionset |
class | expressionset |
class | genset |
Represents the "alphabets", or "generator set". More... | |
class | letterset |
Support for letterset<GenSet>. More... | |
class | nullableset |
class | oneset |
class | other |
class | polynomialset |
class | signature_printer |
class | tuple |
class | tupleset |
class | weightset |
class | wordset |
Support for wordset<GenSet>. More... | |
Functions | |
std::shared_ptr< ast_node > | parse_context (const std::string &ctx) |
Parse a context, and return its AST. More... | |
std::shared_ptr< ast_node > | parse_type (const std::string &type) |
Parse a type, and return its AST. More... | |
std::string | normalize_context (const std::string &ctx, bool full=true) |
A context, normalized. More... | |
std::string vcsn::ast::normalize_context | ( | const std::string & | ctx, |
bool | full = true |
||
) |
A context, normalized.
E.g., 'lan_char(ab), b' -> 'lan<letterset<char_letters(ab)>, b'.
ctx | the context to normalize. |
full | whether to keep the runtime values (e.g., the generators: 'lan<letterset<char_letters(ab)>, b' or 'lan<letterset<char_letters>, b'). |
Definition at line 13 of file signature-printer.cc.
References os, and parse_context().
Referenced by vcsn::dyn::make_context().
std::shared_ptr< ast_node > vcsn::ast::parse_context | ( | const std::string & | ctx | ) |
Parse a context, and return its AST.
Definition at line 520 of file context-parser.cc.
References vcsn::detail::ctx, and vcsn::ast::context_parser::parse_context().
Referenced by normalize_context().
std::shared_ptr< ast_node > vcsn::ast::parse_type | ( | const std::string & | type | ) |
Parse a type, and return its AST.
Definition at line 534 of file context-parser.cc.
References vcsn::ast::context_parser::parse(), and vcsn::dyn::type().