rte::convert::ToFTAThompson::Formal< SymbolType > Class Template Reference

#include <ToFTAThompson.h>

Static Public Member Functions
static void	visit (const FormalRTEAlternation< SymbolType > &node, automaton::EpsilonNFTA< SymbolType, unsigned > &automaton, unsigned &nextState, const unsigned *&tailArg)
static void	visit (const FormalRTESubstitution< SymbolType > &node, automaton::EpsilonNFTA< SymbolType, unsigned > &automaton, unsigned &nextState, const unsigned *&tailArg)
static void	visit (const FormalRTEIteration< SymbolType > &node, automaton::EpsilonNFTA< SymbolType, unsigned > &automaton, unsigned &nextState, const unsigned *&tailArg)
static void	visit (const FormalRTESymbolAlphabet< SymbolType > &node, automaton::EpsilonNFTA< SymbolType, unsigned > &automaton, unsigned &nextState, const unsigned *&tailArg)
static void	visit (const FormalRTESymbolSubst< SymbolType > &node, automaton::EpsilonNFTA< SymbolType, unsigned > &automaton, unsigned &nextState, const unsigned *&tailArg)
static void	visit (const FormalRTEEmpty< SymbolType > &node, automaton::EpsilonNFTA< SymbolType, unsigned > &automaton, unsigned &nextState, const unsigned *&tailArg)

Member Function Documentation

visit() [1/6]

template<class SymbolType >

void rte::convert::ToFTAThompson::Formal< SymbolType >::visit ( const FormalRTEAlternation< SymbolType > &  node, automaton::EpsilonNFTA< SymbolType, unsigned > &  automaton, unsigned &  nextState, const unsigned *&  tailArg  )

static

visit() [2/6]

template<class SymbolType >

void rte::convert::ToFTAThompson::Formal< SymbolType >::visit ( const FormalRTEEmpty< SymbolType > &  node, automaton::EpsilonNFTA< SymbolType, unsigned > &  automaton, unsigned &  nextState, const unsigned *&  tailArg  )

static

visit() [3/6]

template<class SymbolType >

void rte::convert::ToFTAThompson::Formal< SymbolType >::visit ( const FormalRTEIteration< SymbolType > &  node, automaton::EpsilonNFTA< SymbolType, unsigned > &  automaton, unsigned &  nextState, const unsigned *&  tailArg  )

static

visit() [4/6]

template<class SymbolType >

void rte::convert::ToFTAThompson::Formal< SymbolType >::visit ( const FormalRTESubstitution< SymbolType > &  node, automaton::EpsilonNFTA< SymbolType, unsigned > &  automaton, unsigned &  nextState, const unsigned *&  tailArg  )

static

visit() [5/6]

template<class SymbolType >

void rte::convert::ToFTAThompson::Formal< SymbolType >::visit ( const FormalRTESymbolAlphabet< SymbolType > &  node, automaton::EpsilonNFTA< SymbolType, unsigned > &  automaton, unsigned &  nextState, const unsigned *&  tailArg  )

static

visit() [6/6]

template<class SymbolType >

void rte::convert::ToFTAThompson::Formal< SymbolType >::visit ( const FormalRTESymbolSubst< SymbolType > &  node, automaton::EpsilonNFTA< SymbolType, unsigned > &  automaton, unsigned &  nextState, const unsigned *&  tailArg  )

static

---

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

• alib2algo/src/rte/convert/ToFTAThompson.h