Methods for handling multitasking generators. More...

#include "corefaudes.h"
#include "mtc_attributes.h"
#include <map>

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
	faudes
	libFAUDES resides within the namespace faudes.

Macros
#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::MtcSystem

typedef TmtcGenerator< AttributeVoid, AttributeColoredState, AttributeCFlags, AttributeVoid >	faudes::mtcGenerator
	Compatibility: pre 2.20b used mtcGenerator as C++ class name. More...

Functions
bool	faudes::IsStronglyCoaccessible (const MtcSystem &rGen)
	RTI wrapper function. More...

bool	faudes::IsStronglyTrim (const MtcSystem &rGen)
	RTI wrapper function. More...

void	faudes::StronglyCoaccessible (MtcSystem &rGen)
	RTI wrapper function. More...

void	faudes::StronglyCoaccessible (const MtcSystem &rGen, MtcSystem &rRes)
	RTI wrapper function. More...

void	faudes::StronglyTrim (MtcSystem &rGen)
	RTI wrapper function. More...

void	faudes::StronglyTrim (const MtcSystem &rGen, MtcSystem &rRes)
	RTI wrapper function. More...

Detailed Description

Methods for handling multitasking generators.

Definition in file mtc_generator.h.

Macro Definition Documentation

#define BASE TcGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>

Definition at line 758 of file mtc_generator.h.

#define TEMP template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>

Definition at line 759 of file mtc_generator.h.

#define THIS TmtcGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>

Definition at line 757 of file mtc_generator.h.