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

namespace  faudes
 libFAUDES resides within the namespace faudes.

Macros

#define THIS   TtGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>
 Compatibility: pre 2.20b used tGenerator as C++ class name.
#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.

Detailed Description

Timed generator class TtGenerator.

Definition in file tp_tgenerator.h.

Macro Definition Documentation

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

Definition at line 788 of file tp_tgenerator.h.

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

Definition at line 789 of file tp_tgenerator.h.

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

Compatibility: pre 2.20b used tGenerator as C++ class name.

Definition at line 787 of file tp_tgenerator.h.

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