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

Generator with I/O-environment attributes. More...

#include <hio_environment.h>

List of all members.

Public Member Functions

 THioEnvironment (void)
 Creates an empty 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.
virtual THioEnvironmentCopy (void) const
 Construct copy 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 Generator &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.

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 with HioEventFlags and HioStateFlags for the event and state attribute parameters and AttributeVoid for the other parameters. For convenience, this has been typedefed as HioEnvironment.

Definition at line 47 of file hio_environment.h.


Constructor & Destructor Documentation

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

Creates an empty HioEnvironment object.

Definition at line 975 of file hio_environment.h.

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 

Definition at line 985 of file hio_environment.h.

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

Definition at line 990 of file hio_environment.h.

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 

Definition at line 980 of file hio_environment.h.

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)

Definition at line 1005 of file hio_environment.h.


Member Function Documentation

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

Definition at line 1762 of file hio_environment.h.

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

Definition at line 1755 of file hio_environment.h.

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

Definition at line 1747 of file hio_environment.h.

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

Definition at line 1529 of file hio_environment.h.

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

Definition at line 1522 of file hio_environment.h.

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

Definition at line 1513 of file hio_environment.h.

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

Definition at line 1611 of file hio_environment.h.

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

Definition at line 1604 of file hio_environment.h.

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

Definition at line 1595 of file hio_environment.h.

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

Definition at line 1449 of file hio_environment.h.

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

Definition at line 1442 of file hio_environment.h.

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

Definition at line 1433 of file hio_environment.h.

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

Definition at line 1691 of file hio_environment.h.

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

Definition at line 1684 of file hio_environment.h.

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

Definition at line 1676 of file hio_environment.h.

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

Construct copy on heap.

Returns:
new Generator

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

Definition at line 1020 of file hio_environment.h.

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

Definition at line 1374 of file hio_environment.h.

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

Definition at line 1783 of file hio_environment.h.

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 event table will be made if event is new.

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

Definition at line 1109 of file hio_environment.h.

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 event table will be made.

Parameters:
index Event index

Definition at line 1100 of file hio_environment.h.

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 event table will be made if event is new.

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

Definition at line 1243 of file hio_environment.h.

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 event table will be made.

Parameters:
index Event index

Definition at line 1234 of file hio_environment.h.

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 event table will be made if event is new.

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

Definition at line 1091 of file hio_environment.h.

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 event table will be made.

Parameters:
index Event index

Definition at line 1082 of file hio_environment.h.

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 event table will be made if event is new.

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

Definition at line 1225 of file hio_environment.h.

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 event table will be made.

Parameters:
index Event index

Definition at line 1216 of file hio_environment.h.

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

Definition at line 1356 of file hio_environment.h.

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

Definition at line 1350 of file hio_environment.h.

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

Definition at line 1777 of file hio_environment.h.

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

Definition at line 1771 of file hio_environment.h.

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

Definition at line 1368 of file hio_environment.h.

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

Definition at line 1362 of file hio_environment.h.

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

Definition at line 1544 of file hio_environment.h.

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

Definition at line 1538 of file hio_environment.h.

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

Definition at line 1626 of file hio_environment.h.

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

Definition at line 1620 of file hio_environment.h.

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

Definition at line 1464 of file hio_environment.h.

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

Definition at line 1458 of file hio_environment.h.

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

Definition at line 1706 of file hio_environment.h.

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

Definition at line 1700 of file hio_environment.h.

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

Definition at line 1052 of file hio_environment.h.

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

Definition at line 1046 of file hio_environment.h.

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

Definition at line 1186 of file hio_environment.h.

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

Definition at line 1180 of file hio_environment.h.

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

Definition at line 1320 of file hio_environment.h.

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

Definition at line 1314 of file hio_environment.h.

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

Definition at line 1040 of file hio_environment.h.

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

Definition at line 1034 of file hio_environment.h.

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

Definition at line 1174 of file hio_environment.h.

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

Definition at line 1168 of file hio_environment.h.

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

Definition at line 1308 of file hio_environment.h.

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

Definition at line 1302 of file hio_environment.h.

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

Definition at line 1385 of file hio_environment.h.

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 >.

Definition at line 1010 of file hio_environment.h.

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

Definition at line 1025 of file hio_environment.h.

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

Assignment operator (uses copy ).

Parameters:
rOtherGen Other generator

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

Definition at line 141 of file hio_environment.h.

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

Definition at line 133 of file hio_environment.h.

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

Definition at line 1550 of file hio_environment.h.

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

Definition at line 1632 of file hio_environment.h.

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

Definition at line 1470 of file hio_environment.h.

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

Definition at line 1712 of file hio_environment.h.

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

Definition at line 1738 of file hio_environment.h.

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

Definition at line 1731 of file hio_environment.h.

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

Definition at line 1723 of file hio_environment.h.

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

Definition at line 1504 of file hio_environment.h.

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

Definition at line 1497 of file hio_environment.h.

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

Definition at line 1482 of file hio_environment.h.

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

Definition at line 1586 of file hio_environment.h.

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

Definition at line 1579 of file hio_environment.h.

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

Definition at line 1564 of file hio_environment.h.

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

Definition at line 1424 of file hio_environment.h.

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

Definition at line 1417 of file hio_environment.h.

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

Definition at line 1402 of file hio_environment.h.

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

Definition at line 1667 of file hio_environment.h.

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

Definition at line 1660 of file hio_environment.h.

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

Definition at line 1645 of file hio_environment.h.

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

Definition at line 1159 of file hio_environment.h.

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

Definition at line 1152 of file hio_environment.h.

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

Definition at line 1143 of file hio_environment.h.

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

Definition at line 1293 of file hio_environment.h.

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

Definition at line 1286 of file hio_environment.h.

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

Definition at line 1277 of file hio_environment.h.

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

Definition at line 1134 of file hio_environment.h.

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

Definition at line 1127 of file hio_environment.h.

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

Definition at line 1118 of file hio_environment.h.

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

Definition at line 1268 of file hio_environment.h.

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

Definition at line 1261 of file hio_environment.h.

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

Definition at line 1252 of file hio_environment.h.

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

Definition at line 1203 of file hio_environment.h.

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

Definition at line 1069 of file hio_environment.h.

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

Definition at line 1337 of file hio_environment.h.

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.

Definition at line 957 of file hio_environment.h.

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

Definition at line 1192 of file hio_environment.h.

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

Definition at line 1058 of file hio_environment.h.

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

Definition at line 1326 of file hio_environment.h.


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

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