Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
•All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Concepts
Static Public Member Functions
convert::DotConverterRTE::Formal< SymbolType > Class Template Reference

#include <DotConverterRTEPart.hxx>

Static Public Member Functions

static unsigned visit (const rte::FormalRTEAlternation< SymbolType > &node, ext::ostream &oss, unsigned &nodeIdCounter, const std::string &nodePrefix)
 
static unsigned visit (const rte::FormalRTESubstitution< SymbolType > &node, ext::ostream &oss, unsigned &nodeIdCounter, const std::string &nodePrefix)
 
static unsigned visit (const rte::FormalRTEIteration< SymbolType > &node, ext::ostream &oss, unsigned &nodeIdCounter, const std::string &nodePrefix)
 
static unsigned visit (const rte::FormalRTESymbolAlphabet< SymbolType > &node, ext::ostream &oss, unsigned &nodeIdCounter, const std::string &nodePrefix)
 
static unsigned visit (const rte::FormalRTESymbolSubst< SymbolType > &node, ext::ostream &oss, unsigned &nodeIdCounter, const std::string &nodePrefix)
 
static unsigned visit (const rte::FormalRTEEmpty< SymbolType > &node, ext::ostream &oss, unsigned &nodeIdCounter, const std::string &nodePrefix)
 

Member Function Documentation

◆ visit() [1/6]

template<class SymbolType >
unsigned convert::DotConverterRTE::Formal< SymbolType >::visit ( const rte::FormalRTEAlternation< SymbolType > &  node,
ext::ostream &  oss,
unsigned &  nodeIdCounter,
const std::string &  nodePrefix 
)
static

◆ visit() [2/6]

template<class SymbolType >
unsigned convert::DotConverterRTE::Formal< SymbolType >::visit ( const rte::FormalRTEEmpty< SymbolType > &  node,
ext::ostream &  oss,
unsigned &  nodeIdCounter,
const std::string &  nodePrefix 
)
static

◆ visit() [3/6]

template<class SymbolType >
unsigned convert::DotConverterRTE::Formal< SymbolType >::visit ( const rte::FormalRTEIteration< SymbolType > &  node,
ext::ostream &  oss,
unsigned &  nodeIdCounter,
const std::string &  nodePrefix 
)
static

◆ visit() [4/6]

template<class SymbolType >
unsigned convert::DotConverterRTE::Formal< SymbolType >::visit ( const rte::FormalRTESubstitution< SymbolType > &  node,
ext::ostream &  oss,
unsigned &  nodeIdCounter,
const std::string &  nodePrefix 
)
static

◆ visit() [5/6]

template<class SymbolType >
unsigned convert::DotConverterRTE::Formal< SymbolType >::visit ( const rte::FormalRTESymbolAlphabet< SymbolType > &  node,
ext::ostream &  oss,
unsigned &  nodeIdCounter,
const std::string &  nodePrefix 
)
static

◆ visit() [6/6]

template<class SymbolType >
unsigned convert::DotConverterRTE::Formal< SymbolType >::visit ( const rte::FormalRTESymbolSubst< SymbolType > &  node,
ext::ostream &  oss,
unsigned &  nodeIdCounter,
const std::string &  nodePrefix 
)
static
The documentation for this class was generated from the following file:
Generated on Mon Dec 27 2021 10:22:04 for Algorithms Library Toolkit by doxygen 1.9.2