Copyright (c) 2007, Thomas Moor.
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. |
|
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.
Definition at line 102 of file tp_tparallel.h. |
|
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.
Definition at line 90 of file tp_tparallel.h. |