automaton::AutomatonToXMLComposer Class Reference

#include <AutomatonToXMLComposer.h>

Static Public Member Functions
template<class StateType >
static void	composeStates (ext::deque< sax::Token > &, const ext::set< StateType > &states)
template<class SymbolType >
static void	composeInputAlphabet (ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
template<class SymbolType >
static void	composeCallInputAlphabet (ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
template<class SymbolType >
static void	composeReturnInputAlphabet (ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
template<class SymbolType >
static void	composeLocalInputAlphabet (ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
template<class SymbolType >
static void	composeRankedInputAlphabet (ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
template<class StateType >
static void	composeInitialStates (ext::deque< sax::Token > &, const ext::set< StateType > &states)
template<class StateType >
static void	composeInitialState (ext::deque< sax::Token > &, const StateType &state)
template<class StateType >
static void	composeFinalStates (ext::deque< sax::Token > &, const ext::set< StateType > &states)
template<class SymbolType >
static void	composePushdownStoreAlphabet (ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
template<class SymbolType >
static void	composeInitialPushdownStoreSymbols (ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
template<class SymbolType >
static void	composeInitialPushdownStoreSymbol (ext::deque< sax::Token > &, const SymbolType &symbol)
template<class SymbolType >
static void	composeOutputAlphabet (ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
template<class SymbolType >
static void	composeTapeAlphabet (ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
template<class SymbolType >
static void	composeBlankSymbol (ext::deque< sax::Token > &, const SymbolType &symbol)
template<class SymbolType >
static void	composeBottomOfTheStackSymbol (ext::deque< sax::Token > &, const SymbolType &symbol)
template<class InputSymbolType , class PushdownStoreSymbolType >
static void	composeInputToPushdownStoreOperation (ext::deque< sax::Token > &, const ext::map< InputSymbolType, ext::pair< ext::vector< PushdownStoreSymbolType >, ext::vector< PushdownStoreSymbolType > > > &operations)
template<class StateType >
static void	composeTransitionTo (ext::deque< sax::Token > &, const StateType &state)
template<class StateType >
static void	composeTransitionFrom (ext::deque< sax::Token > &, const StateType &state)
template<class StateType >
static void	composeTransitionFrom (ext::deque< sax::Token > &, const ext::vector< StateType > &states)
template<class StateType >
static void	composeTransitionFrom (ext::deque< sax::Token > &, const ext::multiset< StateType > &states)
template<class SymbolType >
static void	composeTransitionPop (ext::deque< sax::Token > &, const ext::vector< SymbolType > &symbols)
template<class SymbolType >
static void	composeTransitionSinglePop (ext::deque< sax::Token > &, const SymbolType &symbol)
template<class SymbolType >
static void	composeTransitionPush (ext::deque< sax::Token > &, const ext::vector< SymbolType > &symbols)
template<class SymbolType >
static void	composeTransitionSinglePush (ext::deque< sax::Token > &, const SymbolType &symbol)
template<class SymbolType >
static void	composeTransitionInputSymbol (ext::deque< sax::Token > &, const SymbolType &symbol)
template<class SymbolType >
static void	composeTransitionInputSymbolMultiple (ext::deque< sax::Token > &, const ext::vector< SymbolType > &symbols)
template<class SymbolType >
static void	composeTransitionOutputSymbol (ext::deque< sax::Token > &, const SymbolType &symbol)
template<class SymbolType >
static void	composeTransitionOutputSymbolMultiple (ext::deque< sax::Token > &, const ext::vector< SymbolType > &symbols)
template<class SymbolType >
static void	composeTransitionInputRegexp (ext::deque< sax::Token > &, const regexp::UnboundedRegExpStructure< SymbolType > &regexp)
static void	composeTransitionShift (ext::deque< sax::Token > &out, Shift shift)

Detailed Description

This class contains methods to print XML representation of automata to the output stream.

Member Function Documentation

composeBlankSymbol()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeBlankSymbol ( ext::deque< sax::Token > &  out, const SymbolType &  symbol  )

static

Here is the caller graph for this function:

composeBottomOfTheStackSymbol()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeBottomOfTheStackSymbol ( ext::deque< sax::Token > &  out, const SymbolType &  symbol  )

static

Here is the caller graph for this function:

composeCallInputAlphabet()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeCallInputAlphabet ( ext::deque< sax::Token > &  out, const ext::set< SymbolType > &  symbols  )

static

Here is the caller graph for this function:

composeFinalStates()

template<class StateType >

void automaton::AutomatonToXMLComposer::composeFinalStates ( ext::deque< sax::Token > &  out, const ext::set< StateType > &  states  )

static

Here is the caller graph for this function:

composeInitialPushdownStoreSymbol()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeInitialPushdownStoreSymbol ( ext::deque< sax::Token > &  out, const SymbolType &  symbol  )

static

Here is the caller graph for this function:

composeInitialPushdownStoreSymbols()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeInitialPushdownStoreSymbols ( ext::deque< sax::Token > &  out, const ext::set< SymbolType > &  symbols  )

static

composeInitialState()

template<class StateType >

void automaton::AutomatonToXMLComposer::composeInitialState ( ext::deque< sax::Token > &  out, const StateType &  state  )

static

Here is the caller graph for this function:

composeInitialStates()

template<class StateType >

void automaton::AutomatonToXMLComposer::composeInitialStates ( ext::deque< sax::Token > &  out, const ext::set< StateType > &  states  )

static

Here is the caller graph for this function:

composeInputAlphabet()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeInputAlphabet ( ext::deque< sax::Token > &  out, const ext::set< SymbolType > &  symbols  )

static

Here is the caller graph for this function:

composeInputToPushdownStoreOperation()

template<class InputSymbolType , class PushdownStoreSymbolType >

void automaton::AutomatonToXMLComposer::composeInputToPushdownStoreOperation ( ext::deque< sax::Token > &  out, const ext::map< InputSymbolType, ext::pair< ext::vector< PushdownStoreSymbolType >, ext::vector< PushdownStoreSymbolType > > > &  operations  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

composeLocalInputAlphabet()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeLocalInputAlphabet ( ext::deque< sax::Token > &  out, const ext::set< SymbolType > &  symbols  )

static

Here is the caller graph for this function:

composeOutputAlphabet()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeOutputAlphabet ( ext::deque< sax::Token > &  out, const ext::set< SymbolType > &  symbols  )

static

Here is the caller graph for this function:

composePushdownStoreAlphabet()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composePushdownStoreAlphabet ( ext::deque< sax::Token > &  out, const ext::set< SymbolType > &  symbols  )

static

Here is the caller graph for this function:

composeRankedInputAlphabet()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeRankedInputAlphabet ( ext::deque< sax::Token > &  out, const ext::set< SymbolType > &  symbols  )

static

Here is the caller graph for this function:

composeReturnInputAlphabet()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeReturnInputAlphabet ( ext::deque< sax::Token > &  out, const ext::set< SymbolType > &  symbols  )

static

Here is the caller graph for this function:

composeStates()

template<class StateType >

void automaton::AutomatonToXMLComposer::composeStates ( ext::deque< sax::Token > &  out, const ext::set< StateType > &  states  )

static

Here is the caller graph for this function:

composeTapeAlphabet()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeTapeAlphabet ( ext::deque< sax::Token > &  out, const ext::set< SymbolType > &  symbols  )

static

Here is the caller graph for this function:

composeTransitionFrom() [1/3]

template<class StateType >

void automaton::AutomatonToXMLComposer::composeTransitionFrom ( ext::deque< sax::Token > &  out, const ext::multiset< StateType > &  states  )

static

composeTransitionFrom() [2/3]

template<class StateType >

void automaton::AutomatonToXMLComposer::composeTransitionFrom ( ext::deque< sax::Token > &  out, const ext::vector< StateType > &  states  )

static

composeTransitionFrom() [3/3]

template<class StateType >

void automaton::AutomatonToXMLComposer::composeTransitionFrom ( ext::deque< sax::Token > &  out, const StateType &  state  )

static

Here is the caller graph for this function:

composeTransitionInputRegexp()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeTransitionInputRegexp ( ext::deque< sax::Token > &  out, const regexp::UnboundedRegExpStructure< SymbolType > &  regexp  )

static

Here is the caller graph for this function:

composeTransitionInputSymbol()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeTransitionInputSymbol ( ext::deque< sax::Token > &  out, const SymbolType &  symbol  )

static

Here is the caller graph for this function:

composeTransitionInputSymbolMultiple()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeTransitionInputSymbolMultiple ( ext::deque< sax::Token > &  out, const ext::vector< SymbolType > &  symbols  )

static

Here is the caller graph for this function:

composeTransitionOutputSymbol()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeTransitionOutputSymbol ( ext::deque< sax::Token > &  out, const SymbolType &  symbol  )

static

Here is the caller graph for this function:

composeTransitionOutputSymbolMultiple()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeTransitionOutputSymbolMultiple ( ext::deque< sax::Token > &  out, const ext::vector< SymbolType > &  symbols  )

static

Here is the caller graph for this function:

composeTransitionPop()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeTransitionPop ( ext::deque< sax::Token > &  out, const ext::vector< SymbolType > &  symbols  )

static

Here is the caller graph for this function:

composeTransitionPush()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeTransitionPush ( ext::deque< sax::Token > &  out, const ext::vector< SymbolType > &  symbols  )

static

Here is the caller graph for this function:

composeTransitionShift()

static void automaton::AutomatonToXMLComposer::composeTransitionShift ( ext::deque< sax::Token > &  out, Shift  shift  )

inlinestatic

Here is the call graph for this function:

Here is the caller graph for this function:

composeTransitionSinglePop()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeTransitionSinglePop ( ext::deque< sax::Token > &  out, const SymbolType &  symbol  )

static

Here is the caller graph for this function:

composeTransitionSinglePush()

template<class SymbolType >

void automaton::AutomatonToXMLComposer::composeTransitionSinglePush ( ext::deque< sax::Token > &  out, const SymbolType &  symbol  )

static

Here is the caller graph for this function:

composeTransitionTo()

template<class StateType >

void automaton::AutomatonToXMLComposer::composeTransitionTo ( ext::deque< sax::Token > &  out, const StateType &  state  )

static

Here is the caller graph for this function:

---

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

• alib2data/src/automaton/xml/common/AutomatonToXMLComposer.h