Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <AutomatonFromXMLParser.h>
Static Public Member Functions | |
template<class T > | |
static void | parseTransitions (ext::deque< sax::Token >::iterator &input, T &automaton) |
template<class StateType > | |
static ext::set< StateType > | parseStates (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static ext::set< SymbolType > | parseInputAlphabet (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static ext::set< SymbolType > | parseCallInputAlphabet (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static ext::set< SymbolType > | parseReturnInputAlphabet (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static ext::set< SymbolType > | parseLocalInputAlphabet (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static ext::set< SymbolType > | parseRankedInputAlphabet (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static ext::set< SymbolType > | parsePushdownStoreAlphabet (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static ext::set< SymbolType > | parseInitialPushdownStoreSymbols (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static SymbolType | parseInitialPushdownStoreSymbol (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static ext::set< SymbolType > | parseOutputAlphabet (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static ext::set< SymbolType > | parseTapeAlphabet (ext::deque< sax::Token >::iterator &input) |
template<class StateType > | |
static StateType | parseInitialState (ext::deque< sax::Token >::iterator &input) |
template<class StateType > | |
static ext::set< StateType > | parseInitialStates (ext::deque< sax::Token >::iterator &input) |
template<class StateType > | |
static ext::set< StateType > | parseFinalStates (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static SymbolType | parseBlankSymbol (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static SymbolType | parseBottomOfTheStackSymbol (ext::deque< sax::Token >::iterator &input) |
template<class InputSymbolType , class PushdownStoreSymbolType > | |
static ext::map< InputSymbolType, ext::pair< ext::vector< PushdownStoreSymbolType >, ext::vector< PushdownStoreSymbolType > > > | parseInputToPushdownStoreOperation (ext::deque< sax::Token >::iterator &input) |
template<class StateType > | |
static StateType | parseTransitionFrom (ext::deque< sax::Token >::iterator &input) |
template<class StateType > | |
static ext::vector< StateType > | parseTransitionFromMultiple (ext::deque< sax::Token >::iterator &input) |
template<class StateType > | |
static ext::multiset< StateType > | parseTransitionFromMultiset (ext::deque< sax::Token >::iterator &input) |
template<class StateType > | |
static StateType | parseTransitionTo (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static ext::vector< SymbolType > | parseTransitionPop (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static SymbolType | parseTransitionSinglePop (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static ext::vector< SymbolType > | parseTransitionPush (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static SymbolType | parseTransitionSinglePush (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static SymbolType | parseTransitionInputSymbol (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static ext::vector< SymbolType > | parseTransitionInputSymbolMultiple (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static SymbolType | parseTransitionOutputSymbol (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static ext::vector< SymbolType > | parseTransitionOutputSymbolMultiple (ext::deque< sax::Token >::iterator &input) |
static Shift | parseTransitionShift (ext::deque< sax::Token >::iterator &input) |
template<class SymbolType > | |
static regexp::UnboundedRegExpStructure< SymbolType > | parseTransitionInputRegexp (ext::deque< sax::Token >::iterator &input) |
Parser used to get general FSM or EpsilonNFA, NFA, DFA from XML parsed into deque of Tokens.
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
inlinestatic |
|
static |
|
static |
|
static |