Definition in file cgenerator.h.
#include "definitions.h"
#include "agenerator.h"
Go to the source code of this file.
Namespaces | |
namespace | faudes |
Classes | |
class | faudes::AttributeCFlags |
Attribute class to model event controllability properties. More... | |
class | faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > |
Generator with controllability attributes. More... | |
Defines | |
#define | THIS TcGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
#define | BASE TaGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
#define | TEMP template <class GlobalAttr, class StateAttr, class EventAttr, class TransAttr> |
#define | CGENERATOR_H |
Typedefs | |
typedef TcGenerator< AttributeVoid, AttributeVoid, AttributeCFlags, AttributeVoid > | faudes::cGenerator |
Convenience typedef for std cGenerator. | |
typedef TaNameSet< AttributeCFlags > | faudes::cEventSet |
EventSet with controllablity properties. |
|
Definition at line 643 of file cgenerator.h. |
|
Definition at line 1095 of file cgenerator.h. |
|
Definition at line 644 of file cgenerator.h. |
|
Definition at line 642 of file cgenerator.h. |