libFAUDES
Sections
Index
|
mtc_generator.h File Reference
Methods for handling multitasking generators.
More...
#include "corefaudes.h"
#include "mtc_attributes.h"
#include <map>
Go to the source code of this file.
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...
|
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
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> |
Typedefs |
typedef TmtcGenerator
< AttributeVoid,
AttributeColoredState,
AttributeCFlags, AttributeVoid > | faudes::mtcGenerator |
Functions |
bool | faudes::IsStronglyCoaccessible (const mtcGenerator &rGen) |
| RTI wrapper function.
|
bool | faudes::IsStronglyTrim (const mtcGenerator &rGen) |
| RTI wrapper function.
|
void | faudes::StronglyCoaccessible (mtcGenerator &rGen) |
| RTI wrapper function.
|
void | faudes::StronglyCoaccessible (const mtcGenerator &rGen, mtcGenerator &rRes) |
| RTI wrapper function.
|
void | faudes::StronglyTrim (mtcGenerator &rGen) |
| RTI wrapper function.
|
void | faudes::StronglyTrim (const mtcGenerator &rGen, mtcGenerator &rRes) |
| RTI wrapper function.
|
Detailed Description
Methods for handling multitasking generators.
Definition in file mtc_generator.h.
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> |
|