libFAUDES

Sections

Index

mtc_parallel.cpp File Reference

Methods for parallel composition of multitasking generators. More...

#include "mtc_parallel.h"

Go to the source code of this file.

Namespaces

namespace  faudes
 

libFAUDES resides within the namespace faudes.


Functions

void faudes::mtcParallel (const mtcGenerator &rGen1, const mtcGenerator &rGen2, mtcGenerator &rResGen)
 Parallel composition of two colored marking generators, controllability status is observed.
void faudes::mtcParallel (const mtcGenerator &rGen1, const mtcGenerator &rGen2, std::map< std::pair< Idx, Idx >, Idx > &rReverseCompositionMap, mtcGenerator &rResGen)
 Parallel composition of two mtcGenerators.
void faudes::ComposedColorSet (const mtcGenerator &rGen1, const Idx stdidx1, ColorSet &colors1, const mtcGenerator &rGen2, const Idx stdidx2, ColorSet &colors2, ColorSet &composedSet)
 Compose the color set for a state combined from two states in two distinct automata.

Detailed Description

Methods for parallel composition of multitasking generators.

Definition in file mtc_parallel.cpp.

libFAUDES 2.18b --- 2010-12-17 --- c++ source docu by doxygen 1.6.3