libFAUDES

Sections

Index

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

Generator with controllability attributes. More...

#include <cfl_cgenerator.h>

List of all members.

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.

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 263 of file cfl_cgenerator.h.


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 908 of file cfl_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 918 of file cfl_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 913 of file cfl_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 923 of file cfl_cgenerator.h.


Member Function Documentation

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 1038 of file cfl_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 1031 of file cfl_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 1023 of file cfl_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 1269 of file cfl_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 1262 of file cfl_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 1254 of file cfl_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 1153 of file cfl_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 1146 of file cfl_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 1138 of file cfl_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 961 of file cfl_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 955 of file cfl_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 1047 of file cfl_cgenerator.h.

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 >
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 1192 of file cfl_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 1186 of file cfl_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 1278 of file cfl_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 1308 of file cfl_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 1302 of file cfl_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 1406 of file cfl_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 975 of file cfl_cgenerator.h.

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 967 of file cfl_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 1206 of file cfl_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 1198 of file cfl_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 1334 of file cfl_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 1326 of file cfl_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 1350 of file cfl_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 1342 of file cfl_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 1090 of file cfl_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 1082 of file cfl_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 991 of file cfl_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 983 of file cfl_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 1222 of file cfl_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 1214 of file cfl_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 1106 of file cfl_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 1098 of file cfl_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 1320 of file cfl_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 1314 of file cfl_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 1418 of file cfl_cgenerator.h.

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 >::NewCGen ( void   )  const [inline]

Construct on stack.

Returns:
new Generator

Definition at line 947 of file cfl_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 1076 of file cfl_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 1070 of file cfl_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 1162 of file cfl_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]

Assignment operator (uses copy ).

Parameters:
rOtherGen Other generator

Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Reimplemented in faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 335 of file cfl_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 327 of file cfl_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 1014 of file cfl_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 1007 of file cfl_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 999 of file cfl_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 1245 of file cfl_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 1238 of file cfl_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 1230 of file cfl_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 1373 of file cfl_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 1366 of file cfl_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 1358 of file cfl_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 1397 of file cfl_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 1390 of file cfl_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 1382 of file cfl_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 1129 of file cfl_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 1122 of file cfl_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 1114 of file cfl_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 1059 of file cfl_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 1290 of file cfl_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 1174 of file cfl_cgenerator.h.


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

libFAUDES 2.18b --- 2010-12-17 --- c++ source docu by doxygen 1.6.3