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

Compatibility: pre 2.20b used cEventSet as C++ class name. More...

#include <cfl_cgenerator.h>

List of all members.

Public Member Functions

 TcGenerator (void)
 Creates an emtpy System object.
 TcGenerator (const vGenerator &rOtherGen)
 System from a std Generator.
 TcGenerator (const TcGenerator &rOtherGen)
 System from a System.
 TcGenerator (const std::string &rFileName)
 construct a System from file
TcGeneratorNew (void) const
 Construct on heap.
TcGeneratorCopy (void) const
 Construct copy on heap.
virtual const TypeCast (const Type *pOther) const
 Type test.
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 >

Compatibility: pre 2.20b used cEventSet as C++ class name.

Generator with controllability attributes.

Overview

The TcGenerator is a variant of the TaGenerator 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 typedef-ed as System.

Definition at line 273 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 System object.

Definition at line 941 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]

System from a std Generator.

Copy constructor

Parameters:
rOtherGen 

Definition at line 951 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]

System from a System.

Copy constructor

Parameters:
rOtherGen 

Definition at line 946 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 System from file

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

Definition at line 956 of file cfl_cgenerator.h.


Member Function Documentation

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

Type test.

Uses C++ dynamic cast to test whether the specified object casts to a System.

Returns:
TcGenerator reference if dynamic cast succeeds, else NULL

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

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

Definition at line 329 of file cfl_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 1079 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 1072 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 1064 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 1310 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 1303 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 1295 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 1194 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 1187 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 1179 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 1002 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 996 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 1088 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 1233 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 1227 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 1319 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 1349 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 1343 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 1447 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 1016 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 1008 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 1247 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 1239 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 1375 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 1367 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 1391 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 1383 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 1131 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 1123 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 1032 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 1024 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 1263 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 1255 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 1147 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 1139 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 1361 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 1355 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 1459 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 981 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 1117 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 1111 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 1203 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]
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 349 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 1055 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 1048 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 1040 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 1286 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 1279 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 1271 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 1414 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 1407 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 1399 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 1438 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 1431 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 1423 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 1170 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 1163 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 1155 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 1100 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 1331 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 1215 of file cfl_cgenerator.h.


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

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen