mtc_parallel.h File Reference

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

#include "corefaudes.h"
#include "mtc_generator.h"
#include <stack>

Go to the source code of this file.

Namespaces

 faudes
 libFAUDES resides within the namespace faudes.
 

Functions

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

Detailed Description

Methods for parallel composition of multitasking generators.

Definition in file mtc_parallel.h.

libFAUDES 2.32f --- 2024.12.22 --- c++ api documentaion by doxygen