|
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> |
| Compatibility: pre 2.20b used mtcGenerator as C++ class name.
|
#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::MtcSystem |
Functions |
bool | faudes::IsStronglyCoaccessible (const MtcSystem &rGen) |
| RTI wrapper function.
|
bool | faudes::IsStronglyTrim (const MtcSystem &rGen) |
| RTI wrapper function.
|
void | faudes::StronglyCoaccessible (MtcSystem &rGen) |
| RTI wrapper function.
|
void | faudes::StronglyCoaccessible (const MtcSystem &rGen, MtcSystem &rRes) |
| RTI wrapper function.
|
void | faudes::StronglyTrim (MtcSystem &rGen) |
| RTI wrapper function.
|
void | faudes::StronglyTrim (const MtcSystem &rGen, MtcSystem &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> |
Compatibility: pre 2.20b used mtcGenerator as C++ class name.
Definition at line 749 of file mtc_generator.h.
libFAUDES 2.23h
--- 2014.04.03
--- c++ api documentaion by doxygen
|