libFAUDES

Sections

Index

faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference
[Generator Classes]

#include <cgenerator.h>

Inherits faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Inherited by faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

List of all members.


Detailed Description

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
class faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

Generator with controllability attributes.

Overview

The cGenerator is a variant of the aGenerator to add an interface for events with controllabilty attributes, ie an event may be controllable, observable or forcible.

Technically, the construct is based on the specialized attribute class faudes::AttributeCFlags that provides attributes with semantics for controllability properties. The TcGenerator expects an event attribute template parameter with the minimum interface defined in AttribueCFlags. Thus, you can add further semantics by deriving a class AttributeCFlagsAndMore from AttribueeCFlags and use this as event attribute parameter for TcGenerator. To model a plain finite state machine plus controllability properties, use TcGenerator with AttributeCFlags for the event attribute parameter and AttributeVoid for the other parameters. For convenience, this has been typedefed as cGenerator.

Definition at line 239 of file cgenerator.h.


Public Member Functions

 TcGenerator (void)
 Creates an emtpy cGenerator object.
 TcGenerator (const vGenerator &rOtherGen)
 cGenerator from a std Generator.
 TcGenerator (const TcGenerator &rOtherGen)
 cGenerator from a cGenerator.
 TcGenerator (const std::string &rFileName)
 construct a cGenerator from file
TcGeneratorNew (void) const
 Construct on heap.
TcGeneratorCopy (void) const
 Construct copy on heap.
TcGenerator NewCGen (void) const
 Construct on stack.
virtual TcGeneratoroperator= (const TcGenerator &rOtherGen)
 Assignment operator (uses copy ) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly.
virtual TcGeneratoroperator= (const vGenerator &rOtherGen)
 Assignment operator (uses copy ).
void InsControllableEvent (Idx index)
 Add an existing controllable event to generator.
Idx InsControllableEvent (const std::string &rName)
 Add new named controllable event to generator.
void InsUncontrollableEvent (Idx index)
 Add an existing uncontrollable event to generator.
Idx InsUncontrollableEvent (const std::string &rName)
 Add new named uncontrollable event to generator.
void SetControllable (Idx index)
 Mark event controllable (by index).
void SetControllable (const std::string &rName)
 Mark event controllable (by name).
void SetControllable (const EventSet &rEvents)
 Mark set of events controllable (by index).
void ClrControllable (Idx index)
 Mark event uncontrollable (by index).
void ClrControllable (const std::string &rName)
 Mark event uncontrollable (by name).
void ClrControllable (const EventSet &rEvents)
 Mark set of events uncontrollable (by index).
bool Controllable (Idx index) const
 Is event controllable (by index).
bool Controllable (const std::string &rName) const
 Is event controllable (by name).
EventSet ControllableEvents (void) const
 Get EventSet with controllable events.
EventSet UncontrollableEvents (void) const
 Get EventSet with uncontrollable events.
void InsObservableEvent (Idx index)
 Add an existing observable event to generator.
Idx InsObservableEvent (const std::string &rName)
 Add new named observable event to generator.
void InsUnobservableEvent (Idx index)
 Add an existing unobservable event to generator.
Idx InsUnobservableEvent (const std::string &rName)
 Add new named unobservable event to generator.
void SetObservable (Idx index)
 Mark event observable (by index).
void SetObservable (const std::string &rName)
 Mark event observable (by name).
void SetObservable (const EventSet &rEvents)
 Mark set of events observable.
void ClrObservable (Idx index)
 Mark event unobservable (by index).
void ClrObservable (const std::string &rName)
 Mark event unobservable (by name).
void ClrObservable (const EventSet &rEvents)
 Mark set of events unobservable.
bool Observable (Idx index) const
 Is event observable (by index).
bool Observable (const std::string &rName) const
 Is event observable (by name).
EventSet ObservableEvents (void) const
 Get EventSet with observable events.
EventSet UnobservableEvents (void) const
 Get EventSet with unobservable events.
void InsForcibleEvent (Idx index)
 Add an existing forcible event to generator.
Idx InsForcibleEvent (const std::string &rName)
 Add new named forcible event to generator.
void InsUnforcibleEvent (Idx index)
 Add an existing unforcible event to generator.
Idx InsUnforcibleEvent (const std::string &rName)
 Add new named unforcible event to generator.
void SetForcible (Idx index)
 Mark event forcible (by index).
void SetForcible (const std::string &rName)
 Mark event forcible (by name).
void SetForcible (const EventSet &rEvents)
 Mark set of events forcible.
void ClrForcible (Idx index)
 Mark event unforcible (by index).
void ClrForcible (const std::string &rName)
 Mark event unforcible (by name).
void ClrForcible (const EventSet &rEvents)
 Mark set of events unforcible.
bool Forcible (Idx index) const
 Is event forcible (by index).
bool Forcible (const std::string &rName) const
 Is event forcible (by name).
EventSet ForcibleEvents (void) const
 Get EventSet with forcible events.
EventSet UnforcibleEvents (void) const
 Get EventSet with unforcible events.
void InsHighlevelEvent (Idx index)
 Add an existing abstraction event to generator.
Idx InsHighlevelEvent (const std::string &rName)
 Add new named abstraction event to generator.
void InsLowlevelEvent (Idx index)
 Add an existing low-level event to generator.
Idx InsLowlevelEvent (const std::string &rName)
 Add new named low-level event to generator.
void SetHighlevel (Idx index)
 Mark event as highlevel event (by index).
void SetHighlevel (const std::string &rName)
 Mark event as highlevel event (by name).
void SetHighlevel (const EventSet &rEvents)
 Mark set of events as high-level events.
void SetLowlevel (Idx index)
 Mark event as low-level event (by index).
void SetLowlevel (const std::string &rName)
 Mark event as low-level event (by name).
void SetLowlevel (const EventSet &rEvents)
 Mark set of events as low-level events.
bool Highlevel (Idx index) const
 Test for high-level event (by index).
bool Highlevel (const std::string &rName) const
 Test for high-level event (by name).
bool Lowlevel (Idx index) const
 Test for low-level event (by index).
bool Lowlevel (const std::string &rName) const
 Test for low-level event (by name).
EventSet HighlevelEvents (void) const
 Get EventSet of all high-level events.
EventSet LowlevelEvents (void) const
 Get EventSet of all low-level events.

Constructor & Destructor Documentation

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator ( void   )  [inline]

Creates an emtpy cGenerator object.

Definition at line 887 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator ( const vGenerator rOtherGen  )  [inline]

cGenerator from a std Generator.

Copy constructor

Parameters:
rOtherGen 

Definition at line 897 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator ( const TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > &  rOtherGen  )  [inline]

cGenerator from a cGenerator.

Copy constructor

Parameters:
rOtherGen 

Definition at line 892 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator ( const std::string &  rFileName  )  [inline]

construct a cGenerator from file

Parameters:
rFileName Filename
Exceptions:
Exception If opening/reading fails an Exception object is thrown (id 1, 50, 51)

Definition at line 902 of file cgenerator.h.


Member Function Documentation

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::New ( void   )  const [inline, virtual]

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy ( void   )  const [inline, virtual]

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewCGen ( void   )  const [inline]

Construct on stack.

Returns:
new Generator

Definition at line 926 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
virtual TcGenerator& faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= ( const TcGenerator< 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.

Parameters:
rOtherGen Other generator

Definition at line 303 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
virtual TcGenerator& faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= ( const vGenerator rOtherGen  )  [inline, virtual]

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsControllableEvent ( Idx  index  )  [inline]

Add an existing controllable event to generator.

An entry in the global eventtable will be made.

Parameters:
index Event index

Definition at line 946 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsControllableEvent ( const std::string &  rName  )  [inline]

Add new named controllable event to generator.

An entry in the global eventtable will be made if event is new.

Parameters:
rName Name of the event to add
Returns:
New global unique index

Definition at line 954 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUncontrollableEvent ( Idx  index  )  [inline]

Add an existing uncontrollable event to generator.

An entry in the global eventtable will be made.

Parameters:
index Event index

Definition at line 962 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUncontrollableEvent ( const std::string &  rName  )  [inline]

Add new named uncontrollable event to generator.

An entry in the global eventtable will be made if event is new.

Parameters:
rName Name of the event to add
Returns:
New global unique index

Definition at line 970 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetControllable ( Idx  index  )  [inline]

Mark event controllable (by index).

Parameters:
index Event index

Definition at line 978 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetControllable ( const std::string &  rName  )  [inline]

Mark event controllable (by name).

Parameters:
rName Event name

Definition at line 986 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetControllable ( const EventSet rEvents  )  [inline]

Mark set of events controllable (by index).

Parameters:
rEvents EventSet

Definition at line 993 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrControllable ( Idx  index  )  [inline]

Mark event uncontrollable (by index).

Parameters:
index Event index

Definition at line 1002 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrControllable ( const std::string &  rName  )  [inline]

Mark event uncontrollable (by name).

Parameters:
rName Event name

Definition at line 1010 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrControllable ( const EventSet rEvents  )  [inline]

Mark set of events uncontrollable (by index).

Parameters:
rEvents EventSet

Definition at line 1017 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Controllable ( Idx  index  )  const [inline]

Is event controllable (by index).

Parameters:
index Event index
Returns:
True / false

Definition at line 934 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Controllable ( const std::string &  rName  )  const [inline]

Is event controllable (by name).

Parameters:
rName Event name
Returns:
True / false

Definition at line 940 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ControllableEvents ( void   )  const [inline]

Get EventSet with controllable events.

Returns:
EventSet of controllable events

Definition at line 1026 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UncontrollableEvents ( void   )  const [inline]

Get EventSet with uncontrollable events.

Returns:
EventSet of uncontrollable events

Definition at line 1038 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsObservableEvent ( Idx  index  )  [inline]

Add an existing observable event to generator.

An entry in the global eventtable will be made.

Parameters:
index Event index

Definition at line 1061 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsObservableEvent ( const std::string &  rName  )  [inline]

Add new named observable event to generator.

An entry in the global eventtable will be made if event is new.

Parameters:
rName Name of the event to add
Returns:
New global unique index

Definition at line 1069 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUnobservableEvent ( Idx  index  )  [inline]

Add an existing unobservable event to generator.

An entry in the global eventtable will be made.

Parameters:
index Event index

Definition at line 1077 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUnobservableEvent ( const std::string &  rName  )  [inline]

Add new named unobservable event to generator.

An entry in the global eventtable will be made if event is new.

Parameters:
rName Name of the event to add
Returns:
New global unique index

Definition at line 1085 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetObservable ( Idx  index  )  [inline]

Mark event observable (by index).

Parameters:
index Event index

Definition at line 1093 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetObservable ( const std::string &  rName  )  [inline]

Mark event observable (by name).

Parameters:
rName Event name

Definition at line 1101 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetObservable ( const EventSet rEvents  )  [inline]

Mark set of events observable.

Parameters:
rEvents EventSet

Definition at line 1108 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrObservable ( Idx  index  )  [inline]

Mark event unobservable (by index).

Parameters:
index Event index

Definition at line 1117 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrObservable ( const std::string &  rName  )  [inline]

Mark event unobservable (by name).

Parameters:
rName Event name

Definition at line 1125 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrObservable ( const EventSet rEvents  )  [inline]

Mark set of events unobservable.

Parameters:
rEvents EventSet

Definition at line 1132 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Observable ( Idx  index  )  const [inline]

Is event observable (by index).

Parameters:
index Event index
Returns:
True / false

Definition at line 1049 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Observable ( const std::string &  rName  )  const [inline]

Is event observable (by name).

Parameters:
rName Event name
Returns:
True / false

Definition at line 1055 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ObservableEvents ( void   )  const [inline]

Get EventSet with observable events.

Returns:
EventSet of controllable events

Definition at line 1141 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UnobservableEvents ( void   )  const [inline]

Get EventSet with unobservable events.

Returns:
EventSet of uncontrollable events

Definition at line 1153 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsForcibleEvent ( Idx  index  )  [inline]

Add an existing forcible event to generator.

An entry in the global eventtable will be made.

Parameters:
index Event index

Definition at line 1177 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsForcibleEvent ( const std::string &  rName  )  [inline]

Add new named forcible event to generator.

An entry in the global eventtable will be made if event is new.

Parameters:
rName Name of the event to add
Returns:
New global unique index

Definition at line 1185 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUnforcibleEvent ( Idx  index  )  [inline]

Add an existing unforcible event to generator.

An entry in the global eventtable will be made.

Parameters:
index Event index

Definition at line 1193 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUnforcibleEvent ( const std::string &  rName  )  [inline]

Add new named unforcible event to generator.

An entry in the global eventtable will be made if event is new.

Parameters:
rName Name of the event to add
Returns:
New global unique index

Definition at line 1201 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetForcible ( Idx  index  )  [inline]

Mark event forcible (by index).

Parameters:
index Event index

Definition at line 1209 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetForcible ( const std::string &  rName  )  [inline]

Mark event forcible (by name).

Parameters:
rName Event name

Definition at line 1217 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetForcible ( const EventSet rEvents  )  [inline]

Mark set of events forcible.

Parameters:
rEvents EventSet

Definition at line 1224 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrForcible ( Idx  index  )  [inline]

Mark event unforcible (by index).

Parameters:
index Event index

Definition at line 1233 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrForcible ( const std::string &  rName  )  [inline]

Mark event unforcible (by name).

Parameters:
rName Event name

Definition at line 1241 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrForcible ( const EventSet rEvents  )  [inline]

Mark set of events unforcible.

Parameters:
rEvents EventSet

Definition at line 1248 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Forcible ( Idx  index  )  const [inline]

Is event forcible (by index).

Parameters:
index Event index
Returns:
True / false

Definition at line 1165 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Forcible ( const std::string &  rName  )  const [inline]

Is event forcible (by name).

Parameters:
rName Event name
Returns:
True / false

Definition at line 1171 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ForcibleEvents ( void   )  const [inline]

Get EventSet with forcible events.

Returns:
EventSet of controllable events

Definition at line 1257 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UnforcibleEvents ( void   )  const [inline]

Get EventSet with unforcible events.

Returns:
EventSet of uncontrollable events

Definition at line 1269 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsHighlevelEvent ( Idx  index  )  [inline]

Add an existing abstraction event to generator.

An entry in the global eventtable will be made.

Parameters:
index Event index

Definition at line 1305 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsHighlevelEvent ( const std::string &  rName  )  [inline]

Add new named abstraction event to generator.

An entry in the global eventtable will be made if event is new.

Parameters:
rName Name of the event to add
Returns:
New global unique index

Definition at line 1313 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsLowlevelEvent ( Idx  index  )  [inline]

Add an existing low-level event to generator.

An entry in the global eventtable will be made.

Parameters:
index Event index

Definition at line 1321 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsLowlevelEvent ( const std::string &  rName  )  [inline]

Add new named low-level event to generator.

An entry in the global eventtable will be made if event is new.

Parameters:
rName Name of the event to add
Returns:
New global unique index

Definition at line 1329 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetHighlevel ( Idx  index  )  [inline]

Mark event as highlevel event (by index).

Parameters:
index Event index

Definition at line 1337 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetHighlevel ( const std::string &  rName  )  [inline]

Mark event as highlevel event (by name).

Parameters:
rName Event name

Definition at line 1345 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetHighlevel ( const EventSet rEvents  )  [inline]

Mark set of events as high-level events.

Parameters:
rEvents EventSet

Definition at line 1352 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetLowlevel ( Idx  index  )  [inline]

Mark event as low-level event (by index).

Parameters:
index Event index

Definition at line 1361 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetLowlevel ( const std::string &  rName  )  [inline]

Mark event as low-level event (by name).

Parameters:
rName Event name

Definition at line 1369 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetLowlevel ( const EventSet rEvents  )  [inline]

Mark set of events as low-level events.

Parameters:
rEvents EventSet

Definition at line 1376 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Highlevel ( Idx  index  )  const [inline]

Test for high-level event (by index).

Parameters:
index Event index
Returns:
True / false

Definition at line 1281 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Highlevel ( const std::string &  rName  )  const [inline]

Test for high-level event (by name).

Parameters:
rName Event name
Returns:
True / false

Definition at line 1287 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Lowlevel ( Idx  index  )  const [inline]

Test for low-level event (by index).

Parameters:
index Event index
Returns:
True / false

Definition at line 1293 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Lowlevel ( const std::string &  rName  )  const [inline]

Test for low-level event (by name).

Parameters:
rName Event name
Returns:
True / false

Definition at line 1299 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::HighlevelEvents ( void   )  const [inline]

Get EventSet of all high-level events.

Returns:
EventSet of high-level events

Definition at line 1385 of file cgenerator.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::LowlevelEvents ( void   )  const [inline]

Get EventSet of all low-level events.

Returns:
EventSet of low-level events

Definition at line 1397 of file cgenerator.h.


The documentation for this class was generated from the following file:

libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6