libFAUDES
Sections
Index
|
parallel.cpp File Reference
Detailed Description
parallel composition
#include "parallel.h"
|
Namespaces |
namespace | faudes |
Functions |
void | faudes::Parallel (const vGenerator &rGen1, const vGenerator &rGen2, vGenerator &rResGen) |
| Parallel composition.
|
void | faudes::Parallel (const vGenerator &rGen1, const vGenerator &rGen2, std::map< std::pair< Idx, Idx >, Idx > &rReverseCompositionMap, vGenerator &rResGen) |
| Parallel composition.
|
void | faudes::SParallel (const vGenerator &rGen1, const vGenerator &rGen2, vGenerator &rResGen) |
| Shared event parallel composition.
|
void | faudes::SParallel (const vGenerator &rGen1, const vGenerator &rGen2, std::map< std::pair< Idx, Idx >, Idx > &rReverseCompositionMap, vGenerator &rResGen) |
| Shared event parallel composition.
|
void | faudes::SetComposedStateNames (const vGenerator &rGen1, const vGenerator &rGen2, std::map< std::pair< Idx, Idx >, Idx > &rReverseCompositionMap, vGenerator &rGen12) |
| Helper: uses reverse composition map to track state names in a paralell composition.
|
|