tp_tgenerator.h File Reference


Detailed Description

Classes TtGenerator and tGenerator.

Definition in file tp_tgenerator.h.

#include "definitions.h"
#include "corefaudes.h"
#include "tp_attributes.h"

Go to the source code of this file.

Namespaces

namespace  faudes

Classes

class  faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
 Generator with timing extensions. More...
class  faudes::tGeneratorPool

Defines

#define THIS   TtGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>
#define BASE   TcGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>
#define TEMP   template <class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>

Typedefs

typedef TtGenerator< AttributeTimedGlobal,
AttributeTimedState, AttributeCFlags,
AttributeTimedTrans > 
faudes::tGenerator
 Convenience typedef for std tGenerator.


Define Documentation

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

Definition at line 784 of file tp_tgenerator.h.

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

Definition at line 785 of file tp_tgenerator.h.

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

Definition at line 783 of file tp_tgenerator.h.


Generated on Mon Nov 10 08:13:16 2008 for libFAUDES 2.11v by  doxygen 1.4.4