|
Parallel composition for timed automata.
More...
Go to the source code of this file.
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Macros |
#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 TGEN1 &rGen1, const TGEN2 &rGen2, TGENR &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 TGEN1 &rGen1, const TGEN2 &rGen2, std::map< std::pair< Idx, Idx >, Idx > &rReverseCompositionMap, TGENR &rResGen) |
| Parallel composition of timed generators.
|
Detailed Description
Parallel composition for timed automata.
Definition in file tp_tparallel.h.
Macro Definition 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> |
libFAUDES 2.28a
--- 2016.09.13
--- c++ api documentaion by doxygen
|