| |
libFAUDES
Sections
Index
|
Timed Automata PlugIn |
Classes | |
class | faudes::AttributeTimedTrans |
Transition Attribute with guard and resets. More... | |
class | faudes::AttributeTimedState |
State attribute with invariant. More... | |
class | faudes::AttributeTimedGlobal |
Globat attribute with clockset. More... | |
class | faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > |
Generator with timing extensions. More... | |
class | faudes::ClockSet |
Container class to model a set of clocks. More... | |
class | faudes::ElemConstraint |
Model of an elementary clock constraint formula. More... | |
class | faudes::TimeConstraint |
A TimeConstraint is a set of elementary clock constraints. More... | |
class | faudes::tpTime |
Type to represent time. More... | |
class | faudes::TimeInterval |
Model of a time interval. More... | |
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. |
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 | |||
) | [inline] |
Parallel composition of timed generators.
Arguments rGen1 and rGen2 are assumed to have disjoind clocksets. This implementation considers accessible states only.
Technically, this function is a template, but timed attribute interfaces are assumed. This version fills given reverse composition map with indices.
rGen1 | First generator | |
rGen2 | Second generator | |
rReverseCompositionMap | Reverse composition map (map< pair<Idx,Idx>, Idx>) | |
rResGen | Reference to resulting parallel composition generator |
Definition at line 102 of file tp_tparallel.h.
void faudes::TParallel | ( | const TtGenerator< GlobalAttr1, StateAttr1, EventAttr1, TransAttr1 > & | rGen1, | |
const TtGenerator< GlobalAttr2, StateAttr2, EventAttr2, TransAttr2 > & | rGen2, | |||
TtGenerator< GlobalAttrR, StateAttrR, EventAttrR, TransAttrR > & | rResGen | |||
) | [inline] |
Parallel composition of timed generators.
Arguments rGen1 and rGen2 are assumed to have disjoind clocksets. This implementation considers accessible states only.
Technically, this function is a template, but timed attribute interfaces are assumed.
rGen1 | First generator | |
rGen2 | Second generator | |
rResGen | Reference to resulting parallel composition generator |
Definition at line 90 of file tp_tparallel.h.
libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6