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

#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.

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

Definition at line 28 of file tp_tparallel.h.

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

Definition at line 29 of file tp_tparallel.h.

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

Definition at line 30 of file tp_tparallel.h.

libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6