Definition in file tp_tparallel.h.
#include "tp_tgenerator.h"
Go to the source code of this file.
Namespaces | |
namespace | faudes |
Defines | |
#define | TEMP |
#define | TGEN1 TtGenerator<GlobalAttr1,StateAttr1,EventAttr1,TransAttr1> |
#define | TGEN2 TtGenerator<GlobalAttr2,StateAttr2,EventAttr2,TransAttr2> |
#define | TGENR TtGenerator<GlobalAttrR,StateAttrR,EventAttrR,TransAttrR> |
Functions | |
template<class GlobalAttr1, class StateAttr1, class EventAttr1, class TransAttr1, class GlobalAttr2, class StateAttr2, class EventAttr2, class TransAttr2, class GlobalAttrR, class StateAttrR, class EventAttrR, class TransAttrR> | |
void | faudes::TParallel (const TtGenerator< GlobalAttr1, StateAttr1, EventAttr1, TransAttr1 > &rGen1, const TtGenerator< GlobalAttr2, StateAttr2, EventAttr2, TransAttr2 > &rGen2, TtGenerator< GlobalAttrR, StateAttrR, EventAttrR, TransAttrR > &rResGen) |
Parallel composition of timed generators. | |
template<class GlobalAttr1, class StateAttr1, class EventAttr1, class TransAttr1, class GlobalAttr2, class StateAttr2, class EventAttr2, class TransAttr2, class GlobalAttrR, class StateAttrR, class EventAttrR, class TransAttrR> | |
void | faudes::TParallel (const TtGenerator< GlobalAttr1, StateAttr1, EventAttr1, TransAttr1 > &rGen1, const TtGenerator< GlobalAttr2, StateAttr2, EventAttr2, TransAttr2 > &rGen2, std::map< std::pair< Idx, Idx >, Idx > &rReverseCompositionMap, TtGenerator< GlobalAttrR, StateAttrR, EventAttrR, TransAttrR > &rResGen) |
Parallel composition of timed generators. |
|
Value: template < \ class GlobalAttr1, class StateAttr1, class EventAttr1, class TransAttr1, \ class GlobalAttr2, class StateAttr2, class EventAttr2, class TransAttr2, \ class GlobalAttrR, class StateAttrR, class EventAttrR, class TransAttrR > Definition at line 23 of file tp_tparallel.h. |
|
Definition at line 28 of file tp_tparallel.h. |
|
Definition at line 29 of file tp_tparallel.h. |
|
Definition at line 30 of file tp_tparallel.h. |