| |
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 | NewTGen (void) const |
Construct on stack. | |
virtual void | Copy (TtGenerator &rGen) const |
Copy to other tGenerator. | |
virtual void | Copy (vGenerator &rGen) const |
Copy to 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. |
faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TtGenerator | ( | void | ) | [inline] |
Constructor.
faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TtGenerator | ( | const TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline] |
Copy constructor.
rOtherGen |
faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TtGenerator | ( | const vGenerator & | rOtherGen | ) | [inline] |
Copy constructor (no attributes).
rOtherGen |
faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TtGenerator | ( | const std::string & | rFileName | ) | [inline] |
Construct from file.
rFileName | Name of f ile |
Exception |
|
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 |
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 >.
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 >.
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.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy | ( | TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rGen | ) | const [inline, virtual] |
Copy to other tGenerator.
rGen | generator which will become the copy |
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy | ( | vGenerator & | rGen | ) | const [inline, virtual] |
Copy to other generator (ignore attributes).
rGen | generator which will become the copy |
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
SymbolTable * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClockSymbolTablep | ( | void | ) | const [inline] |
Get Pointer to mpClockSymbolTable.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClockSymbolTablep | ( | SymbolTable * | pClockSymTab | ) | [inline] |
ClockSet faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewClockSet | ( | void | ) | const |
ClockSet* faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewClockSetp | ( | void | ) | const |
Idx faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClocksSize | ( | void | ) | const [inline] |
Number of clocks in mClocks.
const ClockSet & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Clocks | ( | void | ) | const [inline] |
Get clockset as const reference.
ClockSet * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Clocksp | ( | void | ) | [inline] |
Get clockset as pointer.
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 |
std::string faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClockName | ( | Idx | index | ) | const [inline] |
Looks up clock name for given index.
index | Clock index |
Idx faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClockIndex | ( | const std::string & | rName | ) | const [inline] |
Looks up clock index for given name.
rName | Clock name |
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsClock | ( | Idx | index | ) | [inline] |
Add an existing clock to mClcoks by index.
index | Clock index |
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 |
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsClocks | ( | const ClockSet & | rClockSet | ) | [inline] |
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 |
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 |
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelClocks | ( | const ClockSet & | rClocks | ) | [inline] |
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsClock | ( | Idx | index | ) | const [inline] |
Test existence of clock in mClocks.
index | Clock index |
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsClock | ( | const std::string & | rName | ) | const [inline] |
Test existence of clock in mClock.
rName | Clock name |
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 |
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 |
ClockSet faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ActiveClocks | ( | void | ) | const [inline] |
ClockSet faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InactiveClocks | ( | void | ) | const [inline] |
Returns all clocks not used by any TimeConstraints or Reset.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsActiveClocks | ( | void | ) | [inline] |
Update Clocks to include all active clocks.
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelInactiveClocks | ( | void | ) | [inline] |
Update Clocks not to include any inactive clocks.
ClockSet::Iterator faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClocksBegin | ( | void | ) | const [inline] |
Iterator to Begin() of mClocks.
ClockSet::Iterator faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClocksEnd | ( | void | ) | const [inline] |
Iterator to End() of mClocks.
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 |
|
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 |
|
const TimeConstraint & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariant | ( | Idx | idx | ) | const [inline] |
Get invariant of state by index.
idx | State index |
TimeConstraint * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariantp | ( | Idx | idx | ) | [inline] |
Get invariant of state by index.
idx | State index |
const TimeConstraint & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariant | ( | const std::string & | name | ) | const [inline] |
Get invariant of state by name.
name | State name |
TimeConstraint * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Invariantp | ( | const std::string & | name | ) | [inline] |
Get invariant of state by name.
name | State index |
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 |
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 |
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 |
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 |
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInvariant | ( | Idx | idx | ) | [inline] |
Clear invariant of state by index.
idx | State index |
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInvariant | ( | const std::string & | name | ) | [inline] |
Clear invariant of state by name.
name | State name |
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClearInvariants | ( | void | ) | [inline] |
Clear all invariants.
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 >.
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 >.
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 >.
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. |
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. |
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. |
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. |
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 |
const TimeConstraint & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Guard | ( | const Transition & | rTrans | ) | const [inline] |
Gets Guard refernce of a transition.
rTrans | transition to inspect |
TimeConstraint * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Guardp | ( | const Transition & | rTrans | ) | [inline] |
Gets Guard pointer of ransition.
rTrans | transition to inspect |
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrGuard | ( | const Transition & | rTrans | ) | [inline] |
Clears Guard of a transition.
rTrans | transition to manupilate |
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. |
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. |
const ClockSet & faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Resets | ( | const Transition & | rTrans | ) | const [inline] |
Gets Resets refernce of a transition.
rTrans | transition to inspect |
ClockSet * faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Resetsp | ( | const Transition & | rTrans | ) | [inline] |
Gets Resets pointer of ransition.
rTrans | transition to inspect |
void faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrResets | ( | const Transition & | rTrans | ) | [inline] |
Clears Resets of a transition.
rTrans | transition to manupilate |
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.
bool faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Valid | ( | void | ) | [inline, virtual] |
Check if generator is valid.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
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.
libFAUDES 2.13a c++ source docu by doxygen 1.5.6