libFAUDES

Sections

Index

mtc_generator.h File Reference


Detailed Description

Methods for handling multitasking generators.

#include "definitions.h"
#include "cgenerator.h"
#include "mtc_attributes.h"
#include "helper.h"
#include <map>

Namespaces

namespace  faudes

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

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

Typedefs

typedef TmtcGenerator
< AttributeVoid,
AttributeColoredState,
AttributeCFlags, AttributeVoid > 
faudes::mtcGenerator


Define Documentation

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

#define MTC_GENERATOR_H

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

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

libFAUDES 2.13a c++ source docu by doxygen 1.5.6