libFAUDES
Sections
Index
|
mtc_generator.h File Reference
Detailed Description
Methods for handling multitasking generators.
#include "definitions.h"
#include "cgenerator.h"
#include "mtc_attributes.h"
#include "helper.h"
#include <map>
|
Namespaces |
namespace | faudes |
Classes |
class | faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > |
| Allows to create colored marking generators (CMGs) as the common five tupel consisting of alphabet, stateset, transition relation, initial states, marked states, and attributes for state and event properties. More...
|
Defines |
#define | THIS TmtcGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
#define | BASE TcGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
#define | TEMP template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr> |
#define | MTC_GENERATOR_H |
Typedefs |
typedef TmtcGenerator
< AttributeVoid,
AttributeColoredState,
AttributeCFlags, AttributeVoid > | faudes::mtcGenerator |
Define Documentation
#define BASE TcGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
#define TEMP template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr> |
#define THIS TmtcGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
|