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.

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