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.

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