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. |
|
Definition at line 784 of file tp_tgenerator.h. |
|
Definition at line 785 of file tp_tgenerator.h. |
|
Definition at line 783 of file tp_tgenerator.h. |