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.

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen