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>

Definition at line 750 of file mtc_generator.h.

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

Definition at line 751 of file mtc_generator.h.

#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.