Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Static Public Member Functions
rte::GlushkovPos::Formal< SymbolType > Class Template Reference

#include <GlushkovPos.h>

Static Public Member Functions

static bool visit (const rte::FormalRTEAlternation< SymbolType > &node, const common::ranked_symbol< SymbolType > &symbolF)
 
static bool visit (const rte::FormalRTESubstitution< SymbolType > &node, const common::ranked_symbol< SymbolType > &symbolF)
 
static bool visit (const rte::FormalRTEIteration< SymbolType > &node, const common::ranked_symbol< SymbolType > &symbolF)
 
static bool visit (const rte::FormalRTESymbolAlphabet< SymbolType > &node, const common::ranked_symbol< SymbolType > &symbolF)
 
static bool visit (const rte::FormalRTESymbolSubst< SymbolType > &node, const common::ranked_symbol< SymbolType > &symbolF)
 
static bool visit (const rte::FormalRTEEmpty< SymbolType > &node, const common::ranked_symbol< SymbolType > &symbSearch)
 

Member Function Documentation

◆ visit() [1/6]

template<class SymbolType >
bool rte::GlushkovPos::Formal< SymbolType >::visit ( const rte::FormalRTEAlternation< SymbolType > &  node,
const common::ranked_symbol< SymbolType > &  symbolF 
)
static

◆ visit() [2/6]

template<class SymbolType >
bool rte::GlushkovPos::Formal< SymbolType >::visit ( const rte::FormalRTEEmpty< SymbolType > &  node,
const common::ranked_symbol< SymbolType > &  symbSearch 
)
static

◆ visit() [3/6]

template<class SymbolType >
bool rte::GlushkovPos::Formal< SymbolType >::visit ( const rte::FormalRTEIteration< SymbolType > &  node,
const common::ranked_symbol< SymbolType > &  symbolF 
)
static

◆ visit() [4/6]

template<class SymbolType >
bool rte::GlushkovPos::Formal< SymbolType >::visit ( const rte::FormalRTESubstitution< SymbolType > &  node,
const common::ranked_symbol< SymbolType > &  symbolF 
)
static

◆ visit() [5/6]

template<class SymbolType >
bool rte::GlushkovPos::Formal< SymbolType >::visit ( const rte::FormalRTESymbolAlphabet< SymbolType > &  node,
const common::ranked_symbol< SymbolType > &  symbolF 
)
static
Here is the call graph for this function:

◆ visit() [6/6]

template<class SymbolType >
bool rte::GlushkovPos::Formal< SymbolType >::visit ( const rte::FormalRTESymbolSubst< SymbolType > &  node,
const common::ranked_symbol< SymbolType > &  symbolF 
)
static
The documentation for this class was generated from the following file:
Generated on Mon Dec 27 2021 10:22:07 for Algorithms Library Toolkit by doxygen 1.9.2