tp_tparallel.h File Reference

Parallel composition for timed automata. More...

#include "tp_tgenerator.h"

Go to the source code of this file.

Namespaces
	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. More...
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. More...

Detailed Description

Parallel composition for timed automata.

Definition in file tp_tparallel.h.

Macro Definition Documentation

TEMP

#define TEMP

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.

TGEN1

#define TGEN1   TtGenerator<GlobalAttr1,StateAttr1,EventAttr1,TransAttr1>

Definition at line 28 of file tp_tparallel.h.

TGEN2

#define TGEN2   TtGenerator<GlobalAttr2,StateAttr2,EventAttr2,TransAttr2>

Definition at line 29 of file tp_tparallel.h.

TGENR

#define TGENR   TtGenerator<GlobalAttrR,StateAttrR,EventAttrR,TransAttrR>

Definition at line 30 of file tp_tparallel.h.