libFAUDES

Sections

Index

tp_tparallel.h File Reference


Detailed Description

Parallel composition for timed automata.

#include "tp_tgenerator.h"

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 >

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

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

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

libFAUDES 2.13a c++ source docu by doxygen 1.5.6