![]() |
Vcsn
2.8
Be Rational
|
Classes | |
| class | ast_node |
| class | automaton |
| class | context |
| class | context_parser |
| Parser of snames. More... | |
| class | context_printer |
| class | context_visitor |
| Traverse a type-ast. More... | |
| 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 print the runtime values. (e.g., the generators: 'lan<letterset<char_letters(ab)>, b' or 'lan<letterset<char_letters>, b'). |
Definition at line 12 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 512 of file context-parser.cc.
References vcsn::ast::context_parser::parse_context(), and vcsn::str_quote().
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 526 of file context-parser.cc.
References vcsn::ast::context_parser::parse(), and vcsn::str_quote().