Definition in file parallel.h.
#include "agenerator.h"
#include <stack>
#include <map>
#include <set>
Go to the source code of this file.
Namespaces | |
namespace | faudes |
Defines | |
#define | PARALLEL_H |
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. |
|
Definition at line 141 of file parallel.h. |