agenerator.h File Reference


Detailed Description

Classes TaGenerator and Generator.

Definition in file agenerator.h.

#include "definitions.h"
#include "exception.h"
#include "symboltable.h"
#include "indexset.h"
#include "nameset.h"
#include "transset.h"
#include "token.h"
#include "tokenreader.h"
#include "tokenwriter.h"
#include "vgenerator.h"
#include <map>
#include <set>
#include <sstream>
#include <cstdlib>
#include <assert.h>

Go to the source code of this file.

Namespaces

namespace  faudes

Classes

class  faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
 Model of the common five-tupel G := (X, Sigma, Delta, X_0, X_m). More...
class  faudes::GeneratorPool
 A Generator pool maintains a global generator context. More...

Defines

#define THIS   TaGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>
#define TEMP   template <class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
#define BASE   vGenerator
#define GENERATOR_H

Typedefs

typedef TaGenerator< AttributeVoid,
AttributeVoid, AttributeVoid,
AttributeVoid > 
faudes::Generator
 Plain generator, typedef for generator with no attributes.


Define Documentation

#define BASE   vGenerator
 

Definition at line 2431 of file agenerator.h.

#define GENERATOR_H
 

Definition at line 4752 of file agenerator.h.

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

Definition at line 2430 of file agenerator.h.

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

Definition at line 2429 of file agenerator.h.


Generated on Fri May 9 11:26:47 2008 for libFAUDES 2.09b by  doxygen 1.4.4