libFAUDES
Sections
Index
|
tp_tparallel.h File Reference
Detailed Description
Parallel composition for timed automata.
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.
|
Define Documentation
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.
#define TGEN1 TtGenerator<GlobalAttr1,StateAttr1,EventAttr1,TransAttr1> |
#define TGEN2 TtGenerator<GlobalAttr2,StateAttr2,EventAttr2,TransAttr2> |
#define TGENR TtGenerator<GlobalAttrR,StateAttrR,EventAttrR,TransAttrR> |
|