mtc_generator.h File Reference

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

Namespaces
	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

Functions
bool	faudes::IsStronglyCoaccessible (const MtcSystem &rGen)
bool	faudes::IsStronglyTrim (const MtcSystem &rGen)
void	faudes::StronglyCoaccessible (MtcSystem &rGen)
void	faudes::StronglyCoaccessible (const MtcSystem &rGen, MtcSystem &rRes)
void	faudes::StronglyTrim (MtcSystem &rGen)
void	faudes::StronglyTrim (const MtcSystem &rGen, MtcSystem &rRes)

Detailed Description

Methods for handling multitasking generators

Definition in file mtc_generator.h.

Macro Definition Documentation

BASE

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

Definition at line 758 of file mtc_generator.h.

TEMP

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

Definition at line 759 of file mtc_generator.h.

THIS

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

Definition at line 757 of file mtc_generator.h.