rte::GlushkovFollowNaive::Formal< SymbolType > Class Template Reference

#include <GlushkovFollowNaive.h>

Static Public Member Functions
static ext::set< ext::vector< common::ranked_symbol< SymbolType > > >	visit (const rte::FormalRTEAlternation< SymbolType > &node, const common::ranked_symbol< SymbolType > &symbolF, const TAlphabet< SymbolType > &alphabetK, TSubstMap< SymbolType > &subMap)
static ext::set< ext::vector< common::ranked_symbol< SymbolType > > >	visit (const rte::FormalRTESubstitution< SymbolType > &node, const common::ranked_symbol< SymbolType > &symbolF, const TAlphabet< SymbolType > &alphabetK, TSubstMap< SymbolType > &subMap)
static ext::set< ext::vector< common::ranked_symbol< SymbolType > > >	visit (const rte::FormalRTEIteration< SymbolType > &node, const common::ranked_symbol< SymbolType > &symbolF, const TAlphabet< SymbolType > &alphabetK, TSubstMap< SymbolType > &subMap)
static ext::set< ext::vector< common::ranked_symbol< SymbolType > > >	visit (const rte::FormalRTESymbolAlphabet< SymbolType > &node, const common::ranked_symbol< SymbolType > &symbolF, const TAlphabet< SymbolType > &alphabetK, TSubstMap< SymbolType > &subMap)
static ext::set< ext::vector< common::ranked_symbol< SymbolType > > >	visit (const rte::FormalRTESymbolSubst< SymbolType > &node, const common::ranked_symbol< SymbolType > &symbol, const TAlphabet< SymbolType > &alphabetK, TSubstMap< SymbolType > &subM)
static ext::set< ext::vector< common::ranked_symbol< SymbolType > > >	visit (const rte::FormalRTEEmpty< SymbolType > &node, const common::ranked_symbol< SymbolType > &symbol, const TAlphabet< SymbolType > &alphabetK, TSubstMap< SymbolType > &subM)

Member Function Documentation

visit() [1/6]

template<class SymbolType >

ext::set< ext::vector< common::ranked_symbol< SymbolType > > > rte::GlushkovFollowNaive::Formal< SymbolType >::visit ( const rte::FormalRTEAlternation< SymbolType > &  node, const common::ranked_symbol< SymbolType > &  symbolF, const TAlphabet< SymbolType > &  alphabetK, TSubstMap< SymbolType > &  subMap  )

static

Here is the call graph for this function:

visit() [2/6]

template<class SymbolType >

ext::set< ext::vector< common::ranked_symbol< SymbolType > > > rte::GlushkovFollowNaive::Formal< SymbolType >::visit ( const rte::FormalRTEEmpty< SymbolType > &  node, const common::ranked_symbol< SymbolType > &  symbol, const TAlphabet< SymbolType > &  alphabetK, TSubstMap< SymbolType > &  subM  )

static

visit() [3/6]

template<class SymbolType >

ext::set< ext::vector< common::ranked_symbol< SymbolType > > > rte::GlushkovFollowNaive::Formal< SymbolType >::visit ( const rte::FormalRTEIteration< SymbolType > &  node, const common::ranked_symbol< SymbolType > &  symbolF, const TAlphabet< SymbolType > &  alphabetK, TSubstMap< SymbolType > &  subMap  )

static

Here is the call graph for this function:

visit() [4/6]

template<class SymbolType >

ext::set< ext::vector< common::ranked_symbol< SymbolType > > > rte::GlushkovFollowNaive::Formal< SymbolType >::visit ( const rte::FormalRTESubstitution< SymbolType > &  node, const common::ranked_symbol< SymbolType > &  symbolF, const TAlphabet< SymbolType > &  alphabetK, TSubstMap< SymbolType > &  subMap  )

static

Here is the call graph for this function:

visit() [5/6]

template<class SymbolType >

ext::set< ext::vector< common::ranked_symbol< SymbolType > > > rte::GlushkovFollowNaive::Formal< SymbolType >::visit ( const rte::FormalRTESymbolAlphabet< SymbolType > &  node, const common::ranked_symbol< SymbolType > &  symbolF, const TAlphabet< SymbolType > &  alphabetK, TSubstMap< SymbolType > &  subMap  )

static

Here is the call graph for this function:

visit() [6/6]

template<class SymbolType >

ext::set< ext::vector< common::ranked_symbol< SymbolType > > > rte::GlushkovFollowNaive::Formal< SymbolType >::visit ( const rte::FormalRTESymbolSubst< SymbolType > &  node, const common::ranked_symbol< SymbolType > &  symbol, const TAlphabet< SymbolType > &  alphabetK, TSubstMap< SymbolType > &  subM  )

static

---

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

• alib2algo/src/rte/glushkov/GlushkovFollowNaive.h