mtc_parallel.h File Reference
Detailed Description
Methods for parallel composition of multitasking generators.
#include "mtc_generator.h"
#include <stack>
|
Namespaces |
namespace | faudes |
Defines |
#define | MTC_PARALLEL_H |
Functions |
void | faudes::Parallel (const mtcGenerator &rGen1, const mtcGenerator &rGen2, mtcGenerator &rResGen) |
| Parallel composition of two colored marking generators, controllability status is observed.
|
void | faudes::Parallel (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.
|
Define Documentation