tp_tgenerator.h File Reference
#include "corefaudes.h"
#include "tp_attributes.h"

Go to the source code of this file.

Classes

class  faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
 

Namespaces

 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
 
typedef TtGenerator< AttributeTimedGlobal, AttributeTimedState, AttributeCFlags, AttributeTimedTrans > faudes::tGenerator
 

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 789 of file tp_tgenerator.h.

◆ TEMP

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

Definition at line 790 of file tp_tgenerator.h.

◆ THIS

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

Definition at line 788 of file tp_tgenerator.h.

libFAUDES 2.33c --- 2025.05.15 --- c++ api documentaion by doxygen