Definition in file parallel.cpp.
#include "parallel.h"
Go to the source code of this file.
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. |