pd_merge.h File Reference

grammar data structure More...

#include "corefaudes.h"
#include "pd_basics.h"

Go to the source code of this file.

Classes
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...
Namespaces
namespace	faudes
	libFAUDES resides within the namespace faudes.

---

Detailed Description

grammar data structure

Attributes for pushdown automata states.

Definition in file pd_merge.h.