|
libFAUDES
Sections
Index
|
faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference
|
Public Member Functions | |
TtGenerator (void) | |
Constructor. | |
TtGenerator (const TtGenerator &rOtherGen) | |
Copy constructor. | |
TtGenerator (const vGenerator &rOtherGen) | |
Copy constructor (no attributes). | |
virtual TtGenerator & | operator= (const TtGenerator &rOtherGen) |
Assignment operator (uses copy) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly. | |
virtual TtGenerator & | operator= (const vGenerator &rOtherGen) |
Assignment operator (uses copy). | |
TtGenerator (const std::string &rFileName) | |
Construct from file. | |
TtGenerator * | New (void) const |
Construct on heap. | |
TtGenerator * | Copy (void) const |
Construct copy on heap. | |
TtGenerator | NewTGen (void) const |
Construct on stack. | |
virtual TtGenerator & | Assign (const TtGenerator &rGen) |
Copy from other tGenerator. | |
virtual TtGenerator & | Assign (const vGenerator &rGen) |
Copy from other generator (ignore attributes). | |
SymbolTable * | ClockSymbolTablep (void) const |
Get Pointer to mpClockSymbolTable. | |
void | ClockSymbolTablep (SymbolTable *pClockSymTab) |
Set ClockSymbolTable. | |
ClockSet | NewClockSet (void) const |
Return a NameSet with generator's ClockSymbolTable. | |
ClockSet * | NewClockSetp (void) const |
Construct a clock on heap. | |
Idx | ClocksSize (void) const |
Number of clocks in mClocks. | |
const ClockSet & | Clocks (void) const |
Get clockset as const reference. | |
ClockSet * | Clocksp (void) |
Get clockset as pointer. | |
void | InjectClocks (const ClockSet &newclocks) |
Overwrites mClocks with newclocks without consistency check. | |
std::string | ClockName (Idx index) const |
Looks up clock name for given index. | |
Idx | ClockIndex (const std::string &rName) const |
Looks up clock index for given name. | |
bool | InsClock (Idx index) |
Add an existing clock to mClcoks by index. | |
Idx | InsClock (const std::string &rName) |
Add named clock to generator. | |
void | InsClocks (const ClockSet &rClockSet) |
Add new named clocks to generator. | |
bool | DelClock (Idx index) |
Delete clock from generator by index. | |
bool | DelClock (const std::string &rName) |
Delete clock from generator by name. | |
void | DelClocks (const ClockSet &rClocks) |
Delete a set of clocks from generator. | |
bool | ExistsClock (Idx index) const |
Test existence of clock in mClocks. | |
bool | ExistsClock (const std::string &rName) const |
Test existence of clock in mClock. | |
ClockSet::Iterator | FindClock (Idx index) const |
Returns a niterator to clock index in mClock. | |
ClockSet::Iterator | FindClock (const std::string &rName) const |
Returns an iterator to clock index in mClock. | |
ClockSet | ActiveClocks (void) const |
Returns all clocks used by all TimeConstraints and Resets. | |
ClockSet | InactiveClocks (void) const |
Returns all clocks not used by any TimeConstraints or Reset. | |
void | InsActiveClocks (void) |
Update Clocks to include all active clocks. | |
void | DelInactiveClocks (void) |
Update Clocks not to include any inactive clocks. | |
ClockSet::Iterator | ClocksBegin (void) const |
Iterator to Begin() of mClocks. | |
ClockSet::Iterator | ClocksEnd (void) const |
Iterator to End() of mClocks. | |
void | ConsistentTimeConstraint (const TimeConstraint &rTimeConstr) const |
Throw exception if timeconstraint refers to clocks not in clockset or symboltable mismatch. | |
void | ConsistentClocks (const ClockSet &rClocks) const |
Throw exception if clocksset contains clocks not in generators clockset or symboltable mismatch. | |
const TimeConstraint & | Invariant (Idx idx) const |
Get invariant of state by index. | |
TimeConstraint * | Invariantp (Idx idx) |
Get invariant of state by index. | |
const TimeConstraint & | Invariant (const std::string &name) const |
Get invariant of state by name. | |
TimeConstraint * | Invariantp (const std::string &name) |
Get invariant of state by name. | |
void | Invariant (Idx index, const TimeConstraint &rConstraints) |
Set invariant of state by index. | |
void | Invariant (const std::string &name, const TimeConstraint &rConstraints) |
Set invariant of state by name. | |
void | InsInvariant (const std::string &name, const TimeConstraint &rConstraints) |
Ins invariant of state by name. | |
void | InsInvariant (Idx index, const TimeConstraint &rConstraints) |
Ins invariant of state by name. | |
void | ClrInvariant (Idx idx) |
Clear invariant of state by index. | |
void | ClrInvariant (const std::string &name) |
Clear invariant of state by name. | |
void | ClearInvariants (void) |
Clear all invariants. | |
bool | SetTransition (Idx x1, Idx ev, Idx x2) |
Add a transition to generator by indices. | |
bool | SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) |
Add a transition to generator by names. | |
bool | SetTransition (const Transition &rTransition, const TransAttr &rAttr) |
Add a transition with attribute to generator. | |
bool | SetTransition (const Transition &rTrans, const TimeConstraint &rGuard=TimeConstraint(), const ClockSet &rResets=ClockSet()) |
Inserts new TimedTransition constructed from parameters. | |
bool | SetTransition (Idx x1, Idx ev, Idx x2, const TimeConstraint &rguard, const ClockSet &rResetClocks=ClockSet()) |
Inserts new TimedTransition constructed from parameters. | |
bool | SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2, const TimeConstraint &rGuard=TimeConstraint(), const ClockSet &rResets=ClockSet()) |
Inserts new TimedTransition constructed from parameters. | |
void | Guard (const Transition &rTrans, const TimeConstraint &rGuard) |
Sets Guard of a transition. | |
void | InsGuard (const Transition &rTrans, const TimeConstraint &rConstraints) |
adds constraints to Guard of a transition | |
const TimeConstraint & | Guard (const Transition &rTrans) const |
Gets Guard refernce of a transition. | |
TimeConstraint * | Guardp (const Transition &rTrans) |
Gets Guard pointer of ransition. | |
void | ClrGuard (const Transition &rTrans) |
Clears Guard of a transition. | |
void | Resets (const Transition &rTrans, const ClockSet &rResets) |
Sets Resets of a transition. | |
void | InsResets (const Transition &rTrans, const ClockSet &rMoreResets) |
adds Resets of a transition | |
const ClockSet & | Resets (const Transition &rTrans) const |
Gets Resets refernce of a transition. | |
ClockSet * | Resetsp (const Transition &rTrans) |
Gets Resets pointer of ransition. | |
void | ClrResets (const Transition &rTrans) |
Clears Resets of a transition. | |
std::string | CStr (Idx index) const |
Return pretty printable clock name for index. | |
virtual bool | Valid (void) |
Check if generator is valid. | |
virtual bool | UpdateAttributes (void) |
Updates internal attributes. |
Generator with timing extensions.
The TtGenerator implements a timed automaton as introduced by Alur et al. Thus, a TtGenerator is equipped with a number of clock variables to express conditions on timing, so called time constraints. Each state has a TimeConstraint called the invariant, which must be satisfied while the generator resides in the respective state. Similarly, each transition has a timeconstraint called the guard, which must be satisfied at the moment in which the transition is executed. Transitions may also reset clock variables.
The tGenerator is derived from the cGenerator and requires adequate attribute parameters that implement the timing constraints. Suitable attribute classes are provided by AttributeTimedState, AttributeTimedTrans and AttributeTimedGlobal which may be used either directly or as base classes for further derivatives. For the event attribute, the tGenerator assumes the AttributeCFlags interface. A convenience definition faudes::tGenerator is used for a minimal version with the above mentioned attribute parameters.
The TtGenerator calsses use the TaGenerator file IO, i.e. the file format is the same up to timing related requirements from the attribute parameters. The below example is from the basic version tGenerator and represents a simplemachine with a busy cycle of at least 5 and at most 10 time units.
<Generator> "tc simple machine" <Alphabet> "alpha" +C+ "beta" "mue" "lambda" +C+ </Alphabet> <States> "idle" "busy" <Invariant> "cBusy" "LT" 10 </Invariant> "down" </States> <TransRel> "idle" "alpha" "busy" <Timing> <Resets> "cBusy" </Resets> </Timing> "busy" "beta" "idle" <Timing> <Guard> "cBusy" "GT" 5 </Guard> </Timing> "busy" "mue" "down" "down" "lambda" "idle" </TransRel> <InitStates> "idle" </InitStates> <MarkedStates> "idle" </MarkedStates> <Clocks> "cBusy" </Clocks> </Generator>
Definition at line 101 of file tp_tgenerator.h.
faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TtGenerator | ( | void | ) | [inline] |
Constructor.
Definition at line 816 of file tp_tgenerator.h.
faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TtGenerator | ( | const TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline] |
faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TtGenerator | ( | const vGenerator & | rOtherGen | ) | [inline] |
Copy constructor (no attributes).
rOtherGen |
Definition at line 831 of file tp_tgenerator.h.
faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TtGenerator | ( | const std::string & | rFileName | ) | [inline] |
Construct from file.
rFileName | Name of f ile |
Exception |
|
Definition at line 840 of file tp_tgenerator.h.
ClockSet faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ActiveClocks | ( | void | ) | const [inline] |
Returns all clocks used by all TimeConstraints and Resets.
Should be a subset of Clocks()
Definition at line 1012 of file tp_tgenerator.h.
TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Assign | ( | const vGenerator & | rGen | ) | [inline, virtual] |
Copy from other generator (ignore attributes).
rGen | generator which will become the copy |
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 857 of file tp_tgenerator.h.
TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Assign | ( | const TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rGen | ) | [inline, virtual] |
Copy from other tGenerator.
rGen | generator which will become the copy |
Definition at line 846 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClearInvariants | ( | void | ) | [inline] |
Clear all invariants.
Definition at line 1182 of file tp_tgenerator.h.
Idx faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClockIndex | ( | const std::string & | rName | ) | const [inline] |
Looks up clock index for given name.
rName | Clock name |
Definition at line 1007 of file tp_tgenerator.h.
std::string faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClockName | ( | Idx | index | ) | const [inline] |
Looks up clock name for given index.
index | Clock index |
Definition at line 1002 of file tp_tgenerator.h.
const ClockSet & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Clocks | ( | void | ) | const [inline] |
ClockSet::Iterator faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClocksBegin | ( | void | ) | const [inline] |
Iterator to Begin() of mClocks.
Definition at line 1051 of file tp_tgenerator.h.
ClockSet::Iterator faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClocksEnd | ( | void | ) | const [inline] |
Iterator to End() of mClocks.
Definition at line 1056 of file tp_tgenerator.h.
ClockSet * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Clocksp | ( | void | ) | [inline] |
Idx faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClocksSize | ( | void | ) | const [inline] |
Number of clocks in mClocks.
Definition at line 909 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClockSymbolTablep | ( | SymbolTable * | pClockSymTab | ) | [inline] |
Set ClockSymbolTable.
pClockSymTab | Pointer SymbolTable |
Definition at line 873 of file tp_tgenerator.h.
SymbolTable * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClockSymbolTablep | ( | void | ) | const [inline] |
Get Pointer to mpClockSymbolTable.
Definition at line 868 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrGuard | ( | const Transition & | rTrans | ) | [inline] |
Clears Guard of a transition.
rTrans | transition to manupilate |
Definition at line 1309 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInvariant | ( | const std::string & | name | ) | [inline] |
Clear invariant of state by name.
name | State name |
Definition at line 1176 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInvariant | ( | Idx | idx | ) | [inline] |
Clear invariant of state by index.
idx | State index |
Definition at line 1170 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrResets | ( | const Transition & | rTrans | ) | [inline] |
Clears Resets of a transition.
rTrans | transition to manupilate |
Definition at line 1379 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ConsistentClocks | ( | const ClockSet & | rClocks | ) | const [inline] |
Throw exception if clocksset contains clocks not in generators clockset or symboltable mismatch.
Exception |
|
Definition at line 1078 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ConsistentTimeConstraint | ( | const TimeConstraint & | rTimeConstr | ) | const [inline] |
Throw exception if timeconstraint refers to clocks not in clockset or symboltable mismatch.
Exception |
|
Definition at line 1061 of file tp_tgenerator.h.
TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy | ( | void | ) | const [inline, virtual] |
Construct copy on heap.
Constructs a TtGenerator on heap with the same attribute types and the same event- and clock-symboltable.
Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 892 of file tp_tgenerator.h.
std::string faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::CStr | ( | Idx | index | ) | const [inline] |
Return pretty printable clock name for index.
Primary meant for debugging messages
index | Event index |
Reimplemented in faudes::Executor.
Definition at line 1449 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelClock | ( | const std::string & | rName | ) | [inline] |
Delete clock from generator by name.
mpClockSymbolTable stays untouched. Also removes constraints and resets that refer to this clock
rName | Name of clock |
Definition at line 965 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelClock | ( | Idx | index | ) | [inline] |
Delete clock from generator by index.
This also removes any constraints and resets that refer to that clock.
index | Index of clock |
Definition at line 946 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelClocks | ( | const ClockSet & | rClocks | ) | [inline] |
Delete a set of clocks from generator.
rClocks | ClockSet containing clocks to remove |
Definition at line 971 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelInactiveClocks | ( | void | ) | [inline] |
Update Clocks not to include any inactive clocks.
Definition at line 1044 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsClock | ( | const std::string & | rName | ) | const [inline] |
Test existence of clock in mClock.
rName | Clock name |
Definition at line 986 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsClock | ( | Idx | index | ) | const [inline] |
Test existence of clock in mClocks.
index | Clock index |
Definition at line 981 of file tp_tgenerator.h.
ClockSet::Iterator faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::FindClock | ( | const std::string & | rName | ) | const [inline] |
Returns an iterator to clock index in mClock.
rName | Clock name of index to find |
Definition at line 997 of file tp_tgenerator.h.
ClockSet::Iterator faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::FindClock | ( | Idx | index | ) | const [inline] |
Returns a niterator to clock index in mClock.
index | Index to find |
Definition at line 992 of file tp_tgenerator.h.
const TimeConstraint & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Guard | ( | const Transition & | rTrans | ) | const [inline] |
Gets Guard refernce of a transition.
rTrans | transition to inspect |
Definition at line 1254 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Guard | ( | const Transition & | rTrans, | |
const TimeConstraint & | rGuard | |||
) | [inline] |
Sets Guard of a transition.
rTrans | transition to manupilate | |
rGuard | new Guard of transition. |
Definition at line 1280 of file tp_tgenerator.h.
TimeConstraint * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Guardp | ( | const Transition & | rTrans | ) | [inline] |
Gets Guard pointer of ransition.
rTrans | transition to inspect |
Definition at line 1267 of file tp_tgenerator.h.
ClockSet faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InactiveClocks | ( | void | ) | const [inline] |
Returns all clocks not used by any TimeConstraints or Reset.
Definition at line 1029 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InjectClocks | ( | const ClockSet & | newclocks | ) | [inline] |
Overwrites mClocks with newclocks without consistency check.
newclocks | New clocks that are written to mClocks |
Definition at line 924 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsActiveClocks | ( | void | ) | [inline] |
Update Clocks to include all active clocks.
Definition at line 1037 of file tp_tgenerator.h.
Idx faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsClock | ( | const std::string & | rName | ) | [inline] |
Add named clock to generator.
An entry in the mpClockSymbolTable will be made if clock is new.
rName | Name of the clock to add |
Definition at line 935 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsClock | ( | Idx | index | ) | [inline] |
Add an existing clock to mClcoks by index.
index | Clock index |
Definition at line 930 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsClocks | ( | const ClockSet & | rClockSet | ) | [inline] |
Add new named clocks to generator.
rClockSet | ClockSet |
Definition at line 940 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsGuard | ( | const Transition & | rTrans, | |
const TimeConstraint & | rConstraints | |||
) | [inline] |
adds constraints to Guard of a transition
rTrans | transition to manupilate | |
rConstraints | new constraints for Guard |
Definition at line 1294 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsInvariant | ( | Idx | index, | |
const TimeConstraint & | rConstraints | |||
) | [inline] |
Ins invariant of state by name.
index | State index | |
rConstraints | New constraints |
Definition at line 1147 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsInvariant | ( | const std::string & | name, | |
const TimeConstraint & | rConstraints | |||
) | [inline] |
Ins invariant of state by name.
name | State name | |
rConstraints | New constraints |
Definition at line 1163 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsResets | ( | const Transition & | rTrans, | |
const ClockSet & | rMoreResets | |||
) | [inline] |
adds Resets of a transition
rTrans | transition to manupilate | |
rMoreResets | new Resets of transition. |
Definition at line 1363 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariant | ( | const std::string & | name, | |
const TimeConstraint & | rConstraints | |||
) | [inline] |
Set invariant of state by name.
name | State name | |
rConstraints | New constraints |
Definition at line 1140 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariant | ( | Idx | index, | |
const TimeConstraint & | rConstraints | |||
) | [inline] |
Set invariant of state by index.
index | State index | |
rConstraints | New constraints |
Definition at line 1125 of file tp_tgenerator.h.
const TimeConstraint & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariant | ( | const std::string & | name | ) | const [inline] |
Get invariant of state by name.
name | State name |
Definition at line 1113 of file tp_tgenerator.h.
const TimeConstraint & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariant | ( | Idx | idx | ) | const [inline] |
Get invariant of state by index.
idx | State index |
Definition at line 1093 of file tp_tgenerator.h.
TimeConstraint * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariantp | ( | const std::string & | name | ) | [inline] |
Get invariant of state by name.
name | State index |
Definition at line 1119 of file tp_tgenerator.h.
TimeConstraint * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariantp | ( | Idx | idx | ) | [inline] |
Get invariant of state by index.
idx | State index |
Definition at line 1103 of file tp_tgenerator.h.
TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::New | ( | void | ) | const [inline, virtual] |
Construct on heap.
Constructs a TtGenerator on heap with the same attribute types and the same event- and clock-symboltable.
Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 880 of file tp_tgenerator.h.
ClockSet faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewClockSet | ( | void | ) | const |
ClockSet* faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewClockSetp | ( | void | ) | const |
Construct a clock on heap.
TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewTGen | ( | void | ) | const [inline] |
Construct on stack.
Constructs a TtGenerator on stack with the same attribute types and the same event- and clock-symboltable.
Definition at line 900 of file tp_tgenerator.h.
virtual TtGenerator& faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const vGenerator & | rOtherGen | ) | [inline, virtual] |
Assignment operator (uses copy).
rOtherGen | Other generator |
Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 138 of file tp_tgenerator.h.
virtual TtGenerator& faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline, virtual] |
Assignment operator (uses copy) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly.
rOtherGen | Other generator |
Definition at line 130 of file tp_tgenerator.h.
const ClockSet & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Resets | ( | const Transition & | rTrans | ) | const [inline] |
Gets Resets refernce of a transition.
rTrans | transition to inspect |
Definition at line 1323 of file tp_tgenerator.h.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Resets | ( | const Transition & | rTrans, | |
const ClockSet & | rResets | |||
) | [inline] |
Sets Resets of a transition.
rTrans | transition to manupilate | |
rResets | new Resets of transition. |
Definition at line 1349 of file tp_tgenerator.h.
ClockSet * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Resetsp | ( | const Transition & | rTrans | ) | [inline] |
Gets Resets pointer of ransition.
rTrans | transition to inspect |
Definition at line 1336 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition | ( | const std::string & | rX1, | |
const std::string & | rEv, | |||
const std::string & | rX2, | |||
const TimeConstraint & | rGuard = TimeConstraint() , |
|||
const ClockSet & | rResets = ClockSet() | |||
) | [inline] |
Inserts new TimedTransition constructed from parameters.
Performs consistency checks for x1, x2, ev and all clocks in rguard and rResetClocks.
rX1 | Start state of new TimedTransition. | |
rEv | Event of new TimedTransition. | |
rX2 | Goal state of new TimedTransition. | |
rGuard | Guard of new TimedTransition. | |
rResets | Reset clocks of new TimedTransition. |
Definition at line 1231 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition | ( | Idx | x1, | |
Idx | ev, | |||
Idx | x2, | |||
const TimeConstraint & | rguard, | |||
const ClockSet & | rResetClocks = ClockSet() | |||
) | [inline] |
Inserts new TimedTransition constructed from parameters.
Performs consistency checks for x1, x2, ev and all clocks in rguard and rResetClocks.
x1 | Start state of new TimedTransition. | |
ev | Event of new TimedTransition. | |
x2 | Goal state of new TimedTransition. | |
rguard | Guard of new TimedTransition. | |
rResetClocks | Reset clocks of new TimedTransition. |
Definition at line 1225 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition | ( | const Transition & | rTrans, | |
const TimeConstraint & | rGuard = TimeConstraint() , |
|||
const ClockSet & | rResets = ClockSet() | |||
) | [inline] |
Inserts new TimedTransition constructed from parameters.
Performs consistency checks for x1, x2, ev and all clocks in rguard and rResetClocks.
rTrans | new transition | |
rGuard | Guard of new TimedTransition. | |
rResets | Reset clocks of new TimedTransition. |
Definition at line 1205 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition | ( | const Transition & | rTransition, | |
const TransAttr & | rAttr | |||
) | [inline] |
Add a transition with attribute to generator.
States and event must already exist!
Define FAUDES_CHECKED for consistency checks.
rTransition | transition | |
rAttr | attribute |
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1200 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition | ( | const std::string & | rX1, | |
const std::string & | rEv, | |||
const std::string & | rX2 | |||
) | [inline] |
Add a transition to generator by names.
Statename and eventname must already exist!
rX1 | Predecessor state name | |
rEv | Event name | |
rX2 | Successor state name |
Exception |
|
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1189 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetTransition | ( | Idx | x1, | |
Idx | ev, | |||
Idx | x2 | |||
) | [inline] |
Add a transition to generator by indices.
States and event must already exist!
Define FAUDES_CHECKED for consistency checks.
x1 | Predecessor state index | |
ev | Event index | |
x2 | Successor state index |
Exception |
|
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1195 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UpdateAttributes | ( | void | ) | [inline, virtual] |
Updates internal attributes.
As a demo, we set state flag 0x20000000 for blocking states. Reimplement to your needs.
Reimplemented from faudes::vGenerator.
Definition at line 1426 of file tp_tgenerator.h.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Valid | ( | void | ) | [inline, virtual] |
Check if generator is valid.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1393 of file tp_tgenerator.h.
libFAUDES 2.16b --- 2010-9-8 --- c++ source docu by doxygen 1.6.3