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

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

#include <hio_constraint.h>

List of all members.

Public Member Functions

 THioConstraint (void)
 Creates an empty HioConstraint object.
 THioConstraint (const Generator &rOtherGen)
 HioConstraint from a std Generator.
 THioConstraint (const Generator &rOtherGen, const EventSet &rY, const EventSet &rU)
 HioConstraint from a std Generator and event sets.
 THioConstraint (const THioConstraint &rOtherGen)
 HioConstraint from a HioConstraint.
 THioConstraint (const std::string &rFileName)
 construct a HioConstraint from file
THioConstraintNew (void) const
 Construct on heap.
virtual THioConstraintCopy (void) const
 Construct copy on heap.
THioConstraint NewHioConstraint (void) const
 Create empty HioConstraint with same symboltable as this.
virtual THioConstraintoperator= (const THioConstraint &rOtherGen)
 Assignment operator (uses copy ) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly.
virtual THioConstraintoperator= (const Generator &rOtherGen)
 Assignment operator (uses copy ).
void InsYEvent (Idx index)
 Add an existing Y-event to generator.
Idx InsYEvent (const std::string &rName)
 Add new named Y-event to generator.
void InsUEvent (Idx index)
 Add an existing U-event to generator.
Idx InsUEvent (const std::string &rName)
 Add new named U-event to generator.
void SetY (Idx index)
 Mark event as Y-event (by index).
void SetY (const std::string &rName)
 Mark event as Y-event(by name).
void SetY (const EventSet &rEvents)
 Mark set of events as Y-events.
void SetU (Idx index)
 Mark event U-event(by index).
void SetU (const std::string &rName)
 Mark event U-event(by name).
void SetU (const EventSet &rEvents)
 Mark set of events as U-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).
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 YEvents (void) const
 Get EventSet with Y-events.
EventSet UEvents (void) const
 Get EventSet with U-events.
void SetQY (Idx index)
 Mark event as QY-state (by index).
void SetQY (const std::string &rName)
 Mark state as QY-state (by name).
void SetQY (const StateSet &rStates)
 Mark set of states as QY-states.
void ClrQY (Idx index)
 Mark state as NOT QY-state (by index).
void ClrQY (const std::string &rName)
 Mark state as NOT QY-state (by name).
void ClrQY (const StateSet &rStates)
 Mark set of states as NOT QY-states (by index).
bool IsQY (Idx index) const
 Is state QY-state (by index).
bool IsQY (const std::string &rName) const
 Is state QY-state (by name).
StateSet QYStates (void) const
 Get StateSet with QY-states.
void SetQU (Idx index)
 Mark event as QU-state (by index).
void SetQU (const std::string &rName)
 Mark state as QU-state (by name).
void SetQU (const StateSet &rStates)
 Mark set of states as QU-states.
void ClrQU (Idx index)
 Mark state as NOT QU-state (by index).
void ClrQU (const std::string &rName)
 Mark state as NOT QU-state (by name).
void ClrQU (const StateSet &rStates)
 Mark set of states as NOT QU-states (by index).
bool IsQU (Idx index) const
 Is state QU-state (by index).
bool IsQU (const std::string &rName) const
 Is state QU-state (by name).
StateSet QUStates (void) const
 Get StateSet with QU-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::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >

Generator with I/O-constraint attributes.

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

  • event attributes: Y U
  • state attributes: QY QU

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 THioConstraint 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 THioConstraint. To model a plain finite state machine plus I/O-constraint properties, use THioConstraint with HioEventFlags and HioStateFlags for the event and state attribute parameters and AttributeVoid for the other parameters. For convenience, this has been typedefed as HioConstraint.

Definition at line 45 of file hio_constraint.h.


Constructor & Destructor Documentation

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

Creates an empty HioConstraint object.

Definition at line 543 of file hio_constraint.h.

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

HioConstraint from a std Generator.

Copy constructor

Parameters:
rOtherGen 

Definition at line 553 of file hio_constraint.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioConstraint ( const Generator rOtherGen,
const EventSet rY,
const EventSet rU 
) [inline]

HioConstraint from a std Generator and event sets.

Copy constructor

Parameters:
rOtherGen Generator
rY Output alphabet
rU Input alphabet

Definition at line 558 of file hio_constraint.h.

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

HioConstraint from a HioConstraint.

Copy constructor

Parameters:
rOtherGen 

Definition at line 548 of file hio_constraint.h.

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

construct a HioConstraint from file

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

Definition at line 569 of file hio_constraint.h.


Member Function Documentation

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioConstraint< 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 926 of file hio_constraint.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioConstraint< 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 919 of file hio_constraint.h.

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

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

Parameters:
index State index

Definition at line 911 of file hio_constraint.h.

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

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

Parameters:
rStates StateSet

Definition at line 855 of file hio_constraint.h.

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

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

Parameters:
rName State name

Definition at line 848 of file hio_constraint.h.

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

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

Parameters:
index State index

Definition at line 840 of file hio_constraint.h.

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

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

Parameters:
rStates StateSet

Definition at line 776 of file hio_constraint.h.

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

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

Parameters:
rName State name

Definition at line 769 of file hio_constraint.h.

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

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

Parameters:
index State index

Definition at line 761 of file hio_constraint.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::THioConstraint< 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 584 of file hio_constraint.h.

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

Get StateSet with Err-states.

Returns:
StateSet of Err-states

Definition at line 947 of file hio_constraint.h.

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

Add new named U-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 670 of file hio_constraint.h.

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

Add an existing U-event to generator.

An entry in the global event table will be made.

Parameters:
index Event index

Definition at line 662 of file hio_constraint.h.

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

Add new named Y-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 654 of file hio_constraint.h.

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

Add an existing Y-event to generator.

An entry in the global event table will be made.

Parameters:
index Event index

Definition at line 646 of file hio_constraint.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::THioConstraint< 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 941 of file hio_constraint.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::THioConstraint< 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 935 of file hio_constraint.h.

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

Is state QU-state (by name).

Parameters:
rName State name
Returns:
True / false

Definition at line 870 of file hio_constraint.h.

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

Is state QU-state (by index).

Parameters:
index State index
Returns:
True / false

Definition at line 864 of file hio_constraint.h.

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

Is state QY-state (by name).

Parameters:
rName State name
Returns:
True / false

Definition at line 791 of file hio_constraint.h.

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

Is state QY-state (by index).

Parameters:
index State index
Returns:
True / false

Definition at line 785 of file hio_constraint.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::THioConstraint< 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 616 of file hio_constraint.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::THioConstraint< 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 610 of file hio_constraint.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::THioConstraint< 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 604 of file hio_constraint.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::THioConstraint< 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 598 of file hio_constraint.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::THioConstraint< 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 574 of file hio_constraint.h.

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

Create empty HioConstraint with same symboltable as this.

Returns:
New Generator

Definition at line 589 of file hio_constraint.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
virtual THioConstraint& faudes::THioConstraint< 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 133 of file hio_constraint.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
virtual THioConstraint& faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= ( const THioConstraint< 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 125 of file hio_constraint.h.

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

Get StateSet with QU-states.

Returns:
StateSet of QU-states

Definition at line 876 of file hio_constraint.h.

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

Get StateSet with QY-states.

Returns:
StateSet of QY-states

Definition at line 797 of file hio_constraint.h.

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

Mark set of states as Err-states.

Parameters:
rStates StateSet

Definition at line 902 of file hio_constraint.h.

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

Mark state as Err-state (by name).

Parameters:
rName State name

Definition at line 895 of file hio_constraint.h.

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

Mark state as Err-state (by index).

Parameters:
index State index

Definition at line 887 of file hio_constraint.h.

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

Mark set of states as QU-states.

Parameters:
rStates StateSet

Definition at line 831 of file hio_constraint.h.

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

Mark state as QU-state (by name).

Parameters:
rName State name

Definition at line 824 of file hio_constraint.h.

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

Mark event as QU-state (by index).

Parameters:
index State index

Definition at line 809 of file hio_constraint.h.

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

Mark set of states as QY-states.

Parameters:
rStates StateSet

Definition at line 752 of file hio_constraint.h.

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

Mark state as QY-state (by name).

Parameters:
rName State name

Definition at line 745 of file hio_constraint.h.

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

Mark event as QY-state (by index).

Parameters:
index State index

Definition at line 730 of file hio_constraint.h.

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

Mark set of events as U-events.

Parameters:
rEvents EventSet

Definition at line 717 of file hio_constraint.h.

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

Mark event U-event(by name).

Parameters:
rName Event name

Definition at line 710 of file hio_constraint.h.

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

Mark event U-event(by index).

Parameters:
index Event index

Definition at line 702 of file hio_constraint.h.

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

Mark set of events as Y-events.

Parameters:
rEvents EventSet

Definition at line 693 of file hio_constraint.h.

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

Mark event as Y-event(by name).

Parameters:
rName Event name

Definition at line 686 of file hio_constraint.h.

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

Mark event as Y-event (by index).

Parameters:
index Event index

Definition at line 678 of file hio_constraint.h.

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

Get EventSet with U-events.

Returns:
EventSet of U-events

Definition at line 633 of file hio_constraint.h.

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
virtual bool faudes::THioConstraint< 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 524 of file hio_constraint.h.

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

Get EventSet with Y-events.

Returns:
EventSet of Y-events

Definition at line 622 of file hio_constraint.h.


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

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