pd_pdgenerator.h File Reference

pushdown generator class TpdGenerator More...

#include "corefaudes.h"
#include "pd_attributes.h"
#include "pd_grammar.h"
#include "pd_dotparser.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.

Macros

#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 PushdownGenerator.
typedef TaTransSet
< AttributePushdownTransition > 
faudes::PdTransSet

Functions

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::CreatPdFromDot (const std::string &fileName, TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > &pd)

Detailed Description

pushdown generator class TpdGenerator

Definition in file pd_pdgenerator.h.

Macro Definition Documentation

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

Definition at line 1442 of file pd_pdgenerator.h.

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

Definition at line 1443 of file pd_pdgenerator.h.

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

Definition at line 1441 of file pd_pdgenerator.h.

libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen