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.

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen