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

#include <GlushkovFollow.h>

Static Public Member Functions

static void visit (const FormalRTEAlternation< ext::pair< SymbolType, unsigned > > &node, const rte::FormalRTE< ext::pair< SymbolType, unsigned > > &rte, TSubstMap< SymbolType > &subMap, TFollowMap< SymbolType > &res)
 
static void visit (const FormalRTESubstitution< ext::pair< SymbolType, unsigned > > &node, const rte::FormalRTE< ext::pair< SymbolType, unsigned > > &rte, TSubstMap< SymbolType > &subMap, TFollowMap< SymbolType > &res)
 
static void visit (const FormalRTEIteration< ext::pair< SymbolType, unsigned > > &node, const rte::FormalRTE< ext::pair< SymbolType, unsigned > > &rte, TSubstMap< SymbolType > &subMap, TFollowMap< SymbolType > &res)
 
static void visit (const FormalRTESymbolAlphabet< ext::pair< SymbolType, unsigned > > &node, const rte::FormalRTE< ext::pair< SymbolType, unsigned > > &rte, TSubstMap< SymbolType > &subMap, TFollowMap< SymbolType > &res)
 
static void visit (const FormalRTESymbolSubst< ext::pair< SymbolType, unsigned > > &node, const rte::FormalRTE< ext::pair< SymbolType, unsigned > > &rte, TSubstMap< SymbolType > &subMap, TFollowMap< SymbolType > &res)
 
static void visit (const FormalRTEEmpty< ext::pair< SymbolType, unsigned > > &node, const rte::FormalRTE< ext::pair< SymbolType, unsigned > > &rte, TSubstMap< SymbolType > &subMap, TFollowMap< SymbolType > &res)
 

Member Function Documentation

◆ visit() [1/6]

template<class SymbolType >
void rte::GlushkovFollow::Formal< SymbolType >::visit ( const FormalRTEAlternation< ext::pair< SymbolType, unsigned > > &  node,
const rte::FormalRTE< ext::pair< SymbolType, unsigned > > &  rte,
TSubstMap< SymbolType > &  subMap,
TFollowMap< SymbolType > &  res 
)
static

◆ visit() [2/6]

template<class SymbolType >
void rte::GlushkovFollow::Formal< SymbolType >::visit ( const FormalRTEEmpty< ext::pair< SymbolType, unsigned > > &  node,
const rte::FormalRTE< ext::pair< SymbolType, unsigned > > &  rte,
TSubstMap< SymbolType > &  subMap,
TFollowMap< SymbolType > &  res 
)
static

◆ visit() [3/6]

template<class SymbolType >
void rte::GlushkovFollow::Formal< SymbolType >::visit ( const FormalRTEIteration< ext::pair< SymbolType, unsigned > > &  node,
const rte::FormalRTE< ext::pair< SymbolType, unsigned > > &  rte,
TSubstMap< SymbolType > &  subMap,
TFollowMap< SymbolType > &  res 
)
static
Here is the call graph for this function:

◆ visit() [4/6]

template<class SymbolType >
void rte::GlushkovFollow::Formal< SymbolType >::visit ( const FormalRTESubstitution< ext::pair< SymbolType, unsigned > > &  node,
const rte::FormalRTE< ext::pair< SymbolType, unsigned > > &  rte,
TSubstMap< SymbolType > &  subMap,
TFollowMap< SymbolType > &  res 
)
static

◆ visit() [5/6]

template<class SymbolType >
void rte::GlushkovFollow::Formal< SymbolType >::visit ( const FormalRTESymbolAlphabet< ext::pair< SymbolType, unsigned > > &  node,
const rte::FormalRTE< ext::pair< SymbolType, unsigned > > &  rte,
TSubstMap< SymbolType > &  subMap,
TFollowMap< SymbolType > &  res 
)
static
Here is the call graph for this function:

◆ visit() [6/6]

template<class SymbolType >
void rte::GlushkovFollow::Formal< SymbolType >::visit ( const FormalRTESymbolSubst< ext::pair< SymbolType, unsigned > > &  node,
const rte::FormalRTE< ext::pair< SymbolType, unsigned > > &  rte,
TSubstMap< SymbolType > &  subMap,
TFollowMap< SymbolType > &  res 
)
static

The documentation for this class was generated from the following file: