pd_pdgenerator.h File Reference

pushdown generator class TpdGenerator More...

#include "corefaudes.h"
#include "pd_attributes.h"
#include "pd_grammar.h"

Go to the source code of this file.

Classes
class	faudes::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
	Generator with push down extensions. More...
Namespaces
namespace	faudes
	libFAUDES resides within the namespace faudes.
Defines
#define	FAUDES_DEBUG_GENERATOR
#define	FAUDES_DEBUG_CONTAINER
#define	THIS   TpdGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>
#define	BASE   TcGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>
#define	TEMP   template <class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
Typedefs
typedef TpdGenerator < AttributePushdownGlobal, AttributePushdownState, AttributeCFlags, AttributePushdownTransition >	faudes::PushdownGenerator
	Convenience typedef for std PushdownGenerator.
typedef TaTransSet < AttributePushdownTransition >	faudes::PdTransSet

---

Detailed Description

pushdown generator class TpdGenerator

Definition in file pd_pdgenerator.h.

---

Define Documentation

#define BASE   TcGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>

Definition at line 833 of file pd_pdgenerator.h.

#define FAUDES_DEBUG_CONTAINER

Definition at line 12 of file pd_pdgenerator.h.

#define FAUDES_DEBUG_GENERATOR

Definition at line 11 of file pd_pdgenerator.h.

#define TEMP   template <class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>

Definition at line 834 of file pd_pdgenerator.h.

#define THIS   TpdGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>

Definition at line 832 of file pd_pdgenerator.h.