libFAUDES
Sections
Index
|
cgenerator.h File Reference
Detailed Description
Classes TcGenerator, cGenerator and AttributeCFlags.
#include "definitions.h"
#include "agenerator.h"
|
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> |
Typedefs |
typedef TcGenerator
< AttributeVoid, AttributeVoid,
AttributeCFlags, AttributeVoid > | faudes::cGenerator |
| Convenience typedef for std cGenerator.
|
typedef TaNameSet
< AttributeCFlags > | faudes::cEventSet |
| EventSet with controllablity properties.
|
Define Documentation
#define BASE TaGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
#define TEMP template <class GlobalAttr, class StateAttr, class EventAttr, class TransAttr> |
#define THIS TcGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
|