Pushdown PlugIn
[PlugIns]

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.

---

Detailed Description

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.

License

This plug-in is distributed with libFAUDES and under the terms of the LGPL.

Copyright (c) 2013, Sven Schneider, Anne-Kathrin Schmuck, Stefan Jacobi

Contents

---

Typedef Documentation

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.