|
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 |