Pushdown PlugIn |
Classes | |
class | faudes::AttributePushdownState |
State attribute with substates. More... | |
class | faudes::AttributePushdownGlobal |
Global attribute with stack alphabet and stack bottom. More... | |
class | faudes::StackSymbolSet |
Container class to model a set of stack symbols. More... | |
class | faudes::StackSymbol |
Deprecated, do not use! More... | |
class | faudes::AttributeGotoTransition |
Event attribute with grammar symbols. More... | |
class | faudes::AttributeGotoState |
State attribute with configuration set. More... | |
class | faudes::GotoMachine |
Simple generator for parsing with goto tables. More... | |
class | faudes::TgotoGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > |
Generator for parsing with goto tables. More... | |
class | faudes::GrammarSymbol |
Grammar Symbol. More... | |
class | faudes::Terminal |
Terminal. More... | |
class | faudes::Nonterminal |
Nonterminals are constructed from two states and a stack symbol or one state and a stack symbol. More... | |
class | faudes::GrammarProduction |
Grammar Production. More... | |
class | faudes::Grammar |
Grammar. More... | |
class | faudes::LangK |
This class is used to find all words that can be found when traversing a maximum of k transitions of a given generator. More... | |
class | faudes::MergeAbstract |
Abstract interface class for all kinds of items which can comprise a new state. More... | |
class | faudes::MergeStates |
Merge class which contains only states. More... | |
class | faudes::MergeStateAnnotation |
Merge class which contains one state and a string annotation. More... | |
class | faudes::MergeStateEvent |
Merge class which contains one state and one event. More... | |
class | faudes::MergeStateSplit |
Merge class which contains one state, one stack symbol and a string annotation. More... | |
class | faudes::MergeTransition |
Merge class which contains one transition. More... | |
class | faudes::Lr1Configuration |
Lr1 Configuration. More... | |
class | faudes::Lr1ParserActionElement |
Lr1ParserActionElement. More... | |
class | faudes::Lr1ParserAction |
Lr1ParserAction. More... | |
class | faudes::Lr1Parser |
Lr1Parser. More... | |
class | faudes::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > |
Generator with push down extensions. More... | |
Typedefs | |
typedef std::set< std::pair < std::vector< Idx > , std::vector< Idx > > > | faudes::PopPushSet |
Transition attribute with pop and push. |
The pushdown plug-in synthesizes a minimally restrictive supervisor for a regular plant language (provided by a deterministic finite automaton (DFA)) and a context free specification language (provided by a deterministic pushdown automaton (DPDA)). The algorithm has been developed by Schneider and Schmuck; see the user-reference for literature.
This plug-in is distributed with libFAUDES and under the terms of the LGPL.
Copyright (c) 2013, Sven Schneider, Anne-Kathrin Schmuck, Stefan Jacobi
typedef std::set<std::pair<std::vector<Idx>,std::vector<Idx> > > faudes::PopPushSet |
Transition attribute with pop and push.
Definition at line 164 of file pd_attributes.h.
libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen