tp_tgenerator.h File Reference

Timed generator class TtGenerator. More...

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

Go to the source code of this file.

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

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

Macros
#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::TimedGenerator
	Convenience typedef for std TimedGenerator. More...
typedef TtGenerator< AttributeTimedGlobal, AttributeTimedState, AttributeCFlags, AttributeTimedTrans >	faudes::tGenerator
	Compatibility: pre 2.20b used tGenerator as C++ class name. More...

Detailed Description

Timed generator class TtGenerator.

Definition in file tp_tgenerator.h.

Macro Definition Documentation

BASE

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

Definition at line 788 of file tp_tgenerator.h.

TEMP

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

Definition at line 789 of file tp_tgenerator.h.

THIS

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

Definition at line 787 of file tp_tgenerator.h.