libFAUDES

Sections

Index

faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference
[Hierarchical I/O Systems PlugIn]

#include <hio_environment.h>

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

List of all members.


Detailed Description

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

Generator with I/O-environment attributes.

The HioEnvironment is a variant of the Generator to add an interface for events and states with I/O-environment attributes, built from HioEvent- and HioStateFlags

  • event attributes: YE = Y && E UE = U && E YL = Y && L UL = U && L
  • state attributes: QYe = QY && QE QUe = QU && QE QUl = QU && QL QYlUe

Technically, the construct is based on the specialized attribute classes faudes::HioEventFlags and faudes::HioStateFlags that provide attributes with semantics for hierarchical I/O properties. The THioEnvironment expects attribute template parameters with the minimum interface defined in HioEventFlags and HioStateFlags. Thus, you can add further semantics by deriving a class HioEventFlagsAndMore from HioEventFlags (same for HioStateFlags) and use this as event attribute parameter for THioEnvironment. To model a plain finite state machine plus I/O-environment properties, use THioEnvironment withHioEventFlags and HioStateFlags for the event and state attribute parameters and AttributeVoid for the other parameters. For convenience, this has been typedefed as HioEnvironment.

Public Member Functions

 THioEnvironment (void)
 Creates an emtpy HioEnvironment object.
 THioEnvironment (const Generator &rOtherGen)
 HioEnvironment from a std Generator.
 THioEnvironment (const Generator &rOtherGen, const EventSet &rYl, const EventSet &rUl, const EventSet &rYe, const EventSet &rUe)
 HioEnvironment from a std Generator and event sets.
 THioEnvironment (const THioEnvironment &rOtherGen)
 HioEnvironment from a HioEnvironment.
 THioEnvironment (const std::string &rFileName)
 construct a HioEnvironment from file
THioEnvironmentNew (void) const
 Construct on heap.
THioEnvironment NewHioEnvironment (void) const
 Create empty HioEnvironment with same symboltable as this.
virtual THioEnvironmentoperator= (const THioEnvironment &rOtherGen)
 Assignment operator (uses copy ) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly.
virtual THioEnvironmentoperator= (const vGenerator &rOtherGen)
 Assignment operator (uses copy ).
void InsYeEvent (Idx index)
 Add an existing Ye-event to generator.
Idx InsYeEvent (const std::string &rName)
 Add new named Ye-event to generator.
void InsUeEvent (Idx index)
 Add an existing Ue-event to generator.
Idx InsUeEvent (const std::string &rName)
 Add new named Ue-event to generator.
void SetYe (Idx index)
 Mark event as Ye-event (by index).
void SetYe (const std::string &rName)
 Mark event as Ye-event(by name).
void SetYe (const EventSet &rEvents)
 Mark set of events as Ye-events.
void SetUe (Idx index)
 Mark event Ue-event(by index).
void SetUe (const std::string &rName)
 Mark event Ue-event(by name).
void SetUe (const EventSet &rEvents)
 Mark set of events as Ue-events.
bool IsYe (Idx index) const
 Is event Ye-event(by index).
bool IsYe (const std::string &rName) const
 Is event Ye-event(by name).
bool IsUe (Idx index) const
 Is event Ue-event(by index).
bool IsUe (const std::string &rName) const
 Is event Ue-event(by name).
EventSet YeEvents (void) const
 Get EventSet with Ye-events.
EventSet UeEvents (void) const
 Get EventSet with Ue-events.
void InsYlEvent (Idx index)
 Add an existing Yl-event to generator.
Idx InsYlEvent (const std::string &rName)
 Add new named Yl-event to generator.
void InsUlEvent (Idx index)
 Add an existing Ul-event to generator.
Idx InsUlEvent (const std::string &rName)
 Add new named Ul-event to generator.
void SetYl (Idx index)
 Mark event as Yl-event (by index).
void SetYl (const std::string &rName)
 Mark event as Yl-event (by name).
void SetYl (const EventSet &rEvents)
 Mark set of events as Yl-events.
void SetUl (Idx index)
 Mark event as Ul-event (by index).
void SetUl (const std::string &rName)
 Mark event as Ul-event (by name).
void SetUl (const EventSet &rEvents)
 Mark set of events as Ul-events.
bool IsYl (Idx index) const
 Is event Yl-event (by index).
bool IsYl (const std::string &rName) const
 Is event Yl-event (by name).
bool IsUl (Idx index) const
 Is event Ul-event (by index).
bool IsUl (const std::string &rName) const
 Is event Ul-event (by name).
EventSet YlEvents (void) const
 Get EventSet with Yl-events.
EventSet UlEvents (void) const
 Get EventSet with Ul-events.
bool IsY (Idx index) const
 Is event Y-event? (by index).
bool IsY (const std::string &rName) const
 Is event Y-event? (by name).
EventSet YEvents (void) const
 Get EventSet with Y-events.
bool IsU (Idx index) const
 Is event U-event? (by index).
bool IsU (const std::string &rName) const
 Is event U-event? (by name).
EventSet UEvents (void) const
 Get EventSet with U-events.
bool IsE (Idx index) const
 Is event P-event? (by index).
bool IsE (const std::string &rName) const
 Is event P-event? (by name).
EventSet EEvents (void) const
 Get EventSet with P-events.
bool IsL (Idx index) const
 Is event E-event? (by index).
bool IsL (const std::string &rName) const
 Is event E-event? (by name).
EventSet LEvents (void) const
 Get EventSet with E-events.
void SetQYe (Idx index)
 Mark event as QYe-state (by index).
void SetQYe (const std::string &rName)
 Mark state as QYe-state (by name).
void SetQYe (const StateSet &rStates)
 Mark set of states as QYe-states.
void ClrQYe (Idx index)
 Mark state as NOT QYe-state (by index).
void ClrQYe (const std::string &rName)
 Mark state as NOT QYe-state (by name).
void ClrQYe (const StateSet &rStates)
 Mark set of states as NOT QYe-states (by index).
bool IsQYe (Idx index) const
 Is state QYe-state (by index).
bool IsQYe (const std::string &rName) const
 Is state QYe-state (by name).
StateSet QYeStates (void) const
 Get StateSet with QYe-states.
void SetQUe (Idx index)
 Mark event as QUe-state (by index).
void SetQUe (const std::string &rName)
 Mark state as QUe-state (by name).
void SetQUe (const StateSet &rStates)
 Mark set of states as QUe-states.
void ClrQUe (Idx index)
 Mark state as NOT QUe-state (by index).
void ClrQUe (const std::string &rName)
 Mark state as NOT QUe-state (by name).
void ClrQUe (const StateSet &rStates)
 Mark set of states as NOT QUe-states (by index).
bool IsQUe (Idx index) const
 Is state QUe-state (by index).
bool IsQUe (const std::string &rName) const
 Is state QUe-state (by name).
StateSet QUeStates (void) const
 Get StateSet with QUe-states.
void SetQUl (Idx index)
 Mark event as QUl-state (by index).
void SetQUl (const std::string &rName)
 Mark state as QUl-state (by name).
void SetQUl (const StateSet &rStates)
 Mark set of states as QUl-states.
void ClrQUl (Idx index)
 Mark state as NOT QUl-state (by index).
void ClrQUl (const std::string &rName)
 Mark state as NOT QUl-state (by name).
void ClrQUl (const StateSet &rStates)
 Mark set of states as NOT QUl-states (by index).
bool IsQUl (Idx index) const
 Is state QUl-state (by index).
bool IsQUl (const std::string &rName) const
 Is state QUl-state (by name).
StateSet QUlStates (void) const
 Get StateSet with QUl-states.
void SetQYlUe (Idx index)
 Mark event as QYlUe-state (by index).
void SetQYlUe (const std::string &rName)
 Mark state as QYlUe-state (by name).
void SetQYlUe (const StateSet &rStates)
 Mark set of states as QYlUe-states.
void ClrQYlUe (Idx index)
 Mark state as NOT QYlUe-state (by index).
void ClrQYlUe (const std::string &rName)
 Mark state as NOT QYlUe-state (by name).
void ClrQYlUe (const StateSet &rStates)
 Mark set of states as NOT QYlUe-states (by index).
bool IsQYlUe (Idx index) const
 Is state QYlUe-state (by index).
bool IsQYlUe (const std::string &rName) const
 Is state QYlUe-state (by name).
StateSet QYlUeStates (void) const
 Get StateSet with QYlUe-states.
void SetErr (Idx index)
 Mark state as Err-state (by index).
void SetErr (const std::string &rName)
 Mark state as Err-state (by name).
void SetErr (const StateSet &rStates)
 Mark set of states as Err-states.
void ClrErr (Idx index)
 Mark state as NOT Err-state (by index).
void ClrErr (const std::string &rName)
 Mark state as NOT Err-state (by name).
void ClrErr (const StateSet &rStates)
 Mark set of states as NOT Err-states (by index).
bool IsErr (Idx index) const
 Is state Err-state (by index).
bool IsErr (const std::string &rName) const
 Is state Err-state (by name).
StateSet ErrStates (void) const
 Get StateSet with Err-states.
virtual bool UpdateAttributes (void)
 Updates internal attributes.


Constructor & Destructor Documentation

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

Creates an emtpy HioEnvironment object.

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

HioEnvironment from a std Generator.

Copy constructor

Parameters:
rOtherGen 

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioEnvironment ( const Generator rOtherGen,
const EventSet rYl,
const EventSet rUl,
const EventSet rYe,
const EventSet rUe 
) [inline]

HioEnvironment from a std Generator and event sets.

Copy constructor

Parameters:
rOtherGen Generator
rYl alphabet Yl
rUl alphabet Ul
rYe alphabet Ye
rUe alphabet Ue

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

HioEnvironment from a HioEnvironment.

Copy constructor

Parameters:
rOtherGen 

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

construct a HioEnvironment from file

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


Member Function Documentation

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

Construct on heap.

Returns:
new Generator

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

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

Create empty HioEnvironment with same symboltable as this.

Returns:
New Generator

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

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
virtual THioEnvironment& faudes::THioEnvironment< 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 >.

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

Add an existing Ye-event to generator.

An entry in the global eventtable will be made.

Parameters:
index Event index

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

Add new named Ye-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

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

Add an existing Ue-event to generator.

An entry in the global eventtable will be made.

Parameters:
index Event index

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

Add new named Ue-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

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

Mark event as Ye-event (by index).

Parameters:
index Event index

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

Mark event as Ye-event(by name).

Parameters:
rName Event name

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

Mark set of events as Ye-events.

Parameters:
rEvents EventSet

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

Mark event Ue-event(by index).

Parameters:
index Event index

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

Mark event Ue-event(by name).

Parameters:
rName Event name

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

Mark set of events as Ue-events.

Parameters:
rEvents EventSet

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

Is event Ye-event(by index).

Parameters:
index Event index
Returns:
True / false

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

Is event Ye-event(by name).

Parameters:
rName Event name
Returns:
True / false

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

Is event Ue-event(by index).

Parameters:
index Event index
Returns:
True / false

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

Is event Ue-event(by name).

Parameters:
rName Event name
Returns:
True / false

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

Get EventSet with Ye-events.

Returns:
EventSet of Ye-events

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

Get EventSet with Ue-events.

Returns:
EventSet of Ue-events

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

Add an existing Yl-event to generator.

An entry in the global eventtable will be made.

Parameters:
index Event index

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

Add new named Yl-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

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

Add an existing Ul-event to generator.

An entry in the global eventtable will be made.

Parameters:
index Event index

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

Add new named Ul-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

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

Mark event as Yl-event (by index).

Parameters:
index Event index

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

Mark event as Yl-event (by name).

Parameters:
rName Event name

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

Mark set of events as Yl-events.

Parameters:
rEvents EventSet

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

Mark event as Ul-event (by index).

Parameters:
index Event index

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

Mark event as Ul-event (by name).

Parameters:
rName Event name

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

Mark set of events as Ul-events.

Parameters:
rEvents EventSet

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

Is event Yl-event (by index).

Parameters:
index Event index
Returns:
True / false

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

Is event Yl-event (by name).

Parameters:
rName Event name
Returns:
True / false

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

Is event Ul-event (by index).

Parameters:
index Event index
Returns:
True / false

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

Is event Ul-event (by name).

Parameters:
rName Event name
Returns:
True / false

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

Get EventSet with Yl-events.

Returns:
EventSet of Yl-events

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

Get EventSet with Ul-events.

Returns:
EventSet of Ul-events

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

Is event Y-event? (by index).

Parameters:
index Event index
Returns:
True / false

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

Is event Y-event? (by name).

Parameters:
rName Event name
Returns:
True / false

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

Get EventSet with Y-events.

Returns:
EventSet of Y-events

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

Is event U-event? (by index).

Parameters:
index Event index
Returns:
True / false

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

Is event U-event? (by name).

Parameters:
rName Event name
Returns:
True / false

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

Get EventSet with U-events.

Returns:
EventSet of U-events

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

Is event P-event? (by index).

Parameters:
index Event index
Returns:
True / false

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

Is event P-event? (by name).

Parameters:
rName Event name
Returns:
True / false

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

Get EventSet with P-events.

Returns:
EventSet of P-events

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

Is event E-event? (by index).

Parameters:
index Event index
Returns:
True / false

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

Is event E-event? (by name).

Parameters:
rName Event name
Returns:
True / false

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

Get EventSet with E-events.

Returns:
EventSet of E-events

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

Mark event as QYe-state (by index).

Parameters:
index State index

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

Mark state as QYe-state (by name).

Parameters:
rName State name

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYe ( const StateSet rStates  )  [inline]

Mark set of states as QYe-states.

Parameters:
rStates StateSet

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

Mark state as NOT QYe-state (by index).

Parameters:
index State index

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

Mark state as NOT QYe-state (by name).

Parameters:
rName State name

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYe ( const StateSet rStates  )  [inline]

Mark set of states as NOT QYe-states (by index).

Parameters:
rStates StateSet

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

Is state QYe-state (by index).

Parameters:
index State index
Returns:
True / false

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

Is state QYe-state (by name).

Parameters:
rName State name
Returns:
True / false

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYeStates ( void   )  const [inline]

Get StateSet with QYe-states.

Returns:
StateSet of QYe-states

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

Mark event as QUe-state (by index).

Parameters:
index State index

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

Mark state as QUe-state (by name).

Parameters:
rName State name

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUe ( const StateSet rStates  )  [inline]

Mark set of states as QUe-states.

Parameters:
rStates StateSet

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

Mark state as NOT QUe-state (by index).

Parameters:
index State index

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

Mark state as NOT QUe-state (by name).

Parameters:
rName State name

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUe ( const StateSet rStates  )  [inline]

Mark set of states as NOT QUe-states (by index).

Parameters:
rStates StateSet

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

Is state QUe-state (by index).

Parameters:
index State index
Returns:
True / false

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

Is state QUe-state (by name).

Parameters:
rName State name
Returns:
True / false

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUeStates ( void   )  const [inline]

Get StateSet with QUe-states.

Returns:
StateSet of QUe-states

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

Mark event as QUl-state (by index).

Parameters:
index State index

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

Mark state as QUl-state (by name).

Parameters:
rName State name

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUl ( const StateSet rStates  )  [inline]

Mark set of states as QUl-states.

Parameters:
rStates StateSet

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

Mark state as NOT QUl-state (by index).

Parameters:
index State index

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

Mark state as NOT QUl-state (by name).

Parameters:
rName State name

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUl ( const StateSet rStates  )  [inline]

Mark set of states as NOT QUl-states (by index).

Parameters:
rStates StateSet

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

Is state QUl-state (by index).

Parameters:
index State index
Returns:
True / false

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

Is state QUl-state (by name).

Parameters:
rName State name
Returns:
True / false

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUlStates ( void   )  const [inline]

Get StateSet with QUl-states.

Returns:
StateSet of QUl-states

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

Mark event as QYlUe-state (by index).

Parameters:
index State index

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

Mark state as QYlUe-state (by name).

Parameters:
rName State name

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYlUe ( const StateSet rStates  )  [inline]

Mark set of states as QYlUe-states.

Parameters:
rStates StateSet

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

Mark state as NOT QYlUe-state (by index).

Parameters:
index State index

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

Mark state as NOT QYlUe-state (by name).

Parameters:
rName State name

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYlUe ( const StateSet rStates  )  [inline]

Mark set of states as NOT QYlUe-states (by index).

Parameters:
rStates StateSet

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

Is state QYlUe-state (by index).

Parameters:
index State index
Returns:
True / false

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

Is state QYlUe-state (by name).

Parameters:
rName State name
Returns:
True / false

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYlUeStates ( void   )  const [inline]

Get StateSet with QYlUe-states.

Returns:
StateSet of QYlUe-states

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

Mark state as Err-state (by index).

Parameters:
index State index

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

Mark state as Err-state (by name).

Parameters:
rName State name

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr ( const StateSet rStates  )  [inline]

Mark set of states as Err-states.

Parameters:
rStates StateSet

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

Mark state as NOT Err-state (by index).

Parameters:
index State index

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

Mark state as NOT Err-state (by name).

Parameters:
rName State name

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
void faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr ( const StateSet rStates  )  [inline]

Mark set of states as NOT Err-states (by index).

Parameters:
rStates StateSet

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

Is state Err-state (by index).

Parameters:
index State index
Returns:
True / false

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

Is state Err-state (by name).

Parameters:
rName State name
Returns:
True / false

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
StateSet faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrStates ( void   )  const [inline]

Get StateSet with Err-states.

Returns:
StateSet of Err-states

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
virtual bool faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >::UpdateAttributes ( void   )  [inline, virtual]

Updates internal attributes.

This method sets the state partition attributes.

Returns:
True if value changed

Reimplemented from faudes::vGenerator.


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

libFAUDES 2.13a c++ source docu by doxygen 1.5.6