cfl_agenerator.h File Reference

Attributed generator class TaGenerator. More...

#include "cfl_definitions.h"
#include "cfl_exception.h"
#include "cfl_symboltable.h"
#include "cfl_indexset.h"
#include "cfl_nameset.h"
#include "cfl_transset.h"
#include "cfl_token.h"
#include "cfl_tokenreader.h"
#include "cfl_tokenwriter.h"
#include "cfl_generator.h"
#include <map>
#include <set>
#include <sstream>
#include <cstdlib>
#include <assert.h>

Go to the source code of this file.

Classes

class  faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
 Generator with specified attribute types. More...

Namespaces

namespace  faudes
 libFAUDES resides within the namespace faudes.

Macros

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

Detailed Description

Attributed generator class TaGenerator.

Definition in file cfl_agenerator.h.

Macro Definition Documentation

#define BASE   vGenerator

Definition at line 806 of file cfl_agenerator.h.

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

Definition at line 805 of file cfl_agenerator.h.

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

Definition at line 804 of file cfl_agenerator.h.

libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen