Vcsn  2.3
Be Rational
vcsn::ast Namespace Reference

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_nodeparse_context (const std::string &ctx)
 Parse a context, and return its AST. More...
 
std::shared_ptr< ast_nodeparse_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...
 

Function Documentation

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'.

Parameters
ctxthe context to normalize.
fullwhether 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().

Here is the call graph for this function:

std::shared_ptr< ast_node > vcsn::ast::parse_context ( const std::string &  ctx)

Parse a context, and return its AST.

Definition at line 527 of file context-parser.cc.

References vcsn::detail::ctx, and vcsn::ast::context_parser::parse_context().

Referenced by normalize_context().

Here is the call graph for this function:

std::shared_ptr< ast_node > vcsn::ast::parse_type ( const std::string &  type)

Parse a type, and return its AST.

Definition at line 541 of file context-parser.cc.

References vcsn::ast::context_parser::parse(), and vcsn::dyn::type().

Here is the call graph for this function: