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>

Definition at line 744 of file mtc_generator.h.

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

Definition at line 745 of file mtc_generator.h.

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

Definition at line 743 of file mtc_generator.h.

libFAUDES 2.16b --- 2010-9-8 --- c++ source docu by doxygen 1.6.3