faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference
|
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 | |
THioConstraint * | New (void) const |
Construct on heap. | |
virtual THioConstraint * | Copy (void) const |
Construct copy on heap. | |
THioConstraint | NewHioConstraint (void) const |
Create empty HioConstraint with same symboltable as this. | |
virtual THioConstraint & | operator= (const THioConstraint &rOtherGen) |
Assignment operator (uses copy ) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly. | |
virtual THioConstraint & | operator= (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. |
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
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.
faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioConstraint | ( | void | ) | [inline] |
Creates an empty HioConstraint object.
Definition at line 543 of file hio_constraint.h.
faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioConstraint | ( | const Generator & | rOtherGen | ) | [inline] |
HioConstraint from a std Generator.
Copy constructor
rOtherGen |
Definition at line 553 of file hio_constraint.h.
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
rOtherGen | Generator | |
rY | Output alphabet | |
rU | Input alphabet |
Definition at line 558 of file hio_constraint.h.
faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioConstraint | ( | const THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline] |
HioConstraint from a HioConstraint.
Copy constructor
rOtherGen |
Definition at line 548 of file hio_constraint.h.
faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioConstraint | ( | const std::string & | rFileName | ) | [inline] |
construct a HioConstraint from file
rFileName | Filename |
Definition at line 569 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT Err-states (by index).
rStates | StateSet |
Definition at line 926 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT Err-state (by name).
rName | State name |
Definition at line 919 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | Idx | index | ) | [inline] |
Mark state as NOT Err-state (by index).
index | State index |
Definition at line 911 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQU | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QU-states (by index).
rStates | StateSet |
Definition at line 855 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQU | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QU-state (by name).
rName | State name |
Definition at line 848 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQU | ( | Idx | index | ) | [inline] |
Mark state as NOT QU-state (by index).
index | State index |
Definition at line 840 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQY | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as NOT QY-states (by index).
rStates | StateSet |
Definition at line 776 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQY | ( | const std::string & | rName | ) | [inline] |
Mark state as NOT QY-state (by name).
rName | State name |
Definition at line 769 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQY | ( | Idx | index | ) | [inline] |
Mark state as NOT QY-state (by index).
index | State index |
Definition at line 761 of file hio_constraint.h.
THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy | ( | void | ) | const [inline, virtual] |
Construct copy on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 584 of file hio_constraint.h.
StateSet faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrStates | ( | void | ) | const [inline] |
Get StateSet with Err-states.
Definition at line 947 of file hio_constraint.h.
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.
rName | Name of the event to add |
Definition at line 670 of file hio_constraint.h.
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.
index | Event index |
Definition at line 662 of file hio_constraint.h.
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.
rName | Name of the event to add |
Definition at line 654 of file hio_constraint.h.
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.
index | Event index |
Definition at line 646 of file hio_constraint.h.
bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | const std::string & | rName | ) | const [inline] |
Is state Err-state (by name).
rName | State name |
Definition at line 941 of file hio_constraint.h.
bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | Idx | index | ) | const [inline] |
Is state Err-state (by index).
index | State index |
Definition at line 935 of file hio_constraint.h.
bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQU | ( | const std::string & | rName | ) | const [inline] |
Is state QU-state (by name).
rName | State name |
Definition at line 870 of file hio_constraint.h.
bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQU | ( | Idx | index | ) | const [inline] |
Is state QU-state (by index).
index | State index |
Definition at line 864 of file hio_constraint.h.
bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQY | ( | const std::string & | rName | ) | const [inline] |
Is state QY-state (by name).
rName | State name |
Definition at line 791 of file hio_constraint.h.
bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQY | ( | Idx | index | ) | const [inline] |
Is state QY-state (by index).
index | State index |
Definition at line 785 of file hio_constraint.h.
bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | const std::string & | rName | ) | const [inline] |
Is event U-event(by name).
rName | Event name |
Definition at line 616 of file hio_constraint.h.
bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | Idx | index | ) | const [inline] |
Is event U-event(by index).
index | Event index |
Definition at line 610 of file hio_constraint.h.
bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | const std::string & | rName | ) | const [inline] |
Is event Y-event(by name).
rName | Event name |
Definition at line 604 of file hio_constraint.h.
bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | Idx | index | ) | const [inline] |
Is event Y-event(by index).
index | Event index |
Definition at line 598 of file hio_constraint.h.
THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::New | ( | void | ) | const [inline, virtual] |
Construct on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 574 of file hio_constraint.h.
THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewHioConstraint | ( | void | ) | const [inline] |
Create empty HioConstraint with same symboltable as this.
Definition at line 589 of file hio_constraint.h.
virtual THioConstraint& faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const Generator & | rOtherGen | ) | [inline, virtual] |
Assignment operator (uses copy ).
rOtherGen | Other generator |
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 133 of file hio_constraint.h.
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.
rOtherGen | Other generator |
Definition at line 125 of file hio_constraint.h.
StateSet faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUStates | ( | void | ) | const [inline] |
Get StateSet with QU-states.
Definition at line 876 of file hio_constraint.h.
StateSet faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYStates | ( | void | ) | const [inline] |
Get StateSet with QY-states.
Definition at line 797 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as Err-states.
rStates | StateSet |
Definition at line 902 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const std::string & | rName | ) | [inline] |
Mark state as Err-state (by name).
rName | State name |
Definition at line 895 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | Idx | index | ) | [inline] |
Mark state as Err-state (by index).
index | State index |
Definition at line 887 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQU | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QU-states.
rStates | StateSet |
Definition at line 831 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQU | ( | const std::string & | rName | ) | [inline] |
Mark state as QU-state (by name).
rName | State name |
Definition at line 824 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQU | ( | Idx | index | ) | [inline] |
Mark event as QU-state (by index).
index | State index |
Definition at line 809 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQY | ( | const StateSet & | rStates | ) | [inline] |
Mark set of states as QY-states.
rStates | StateSet |
Definition at line 752 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQY | ( | const std::string & | rName | ) | [inline] |
Mark state as QY-state (by name).
rName | State name |
Definition at line 745 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQY | ( | Idx | index | ) | [inline] |
Mark event as QY-state (by index).
index | State index |
Definition at line 730 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetU | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as U-events.
rEvents | EventSet |
Definition at line 717 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetU | ( | const std::string & | rName | ) | [inline] |
Mark event U-event(by name).
rName | Event name |
Definition at line 710 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetU | ( | Idx | index | ) | [inline] |
Mark event U-event(by index).
index | Event index |
Definition at line 702 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetY | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as Y-events.
rEvents | EventSet |
Definition at line 693 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetY | ( | const std::string & | rName | ) | [inline] |
Mark event as Y-event(by name).
rName | Event name |
Definition at line 686 of file hio_constraint.h.
void faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetY | ( | Idx | index | ) | [inline] |
Mark event as Y-event (by index).
index | Event index |
Definition at line 678 of file hio_constraint.h.
EventSet faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::UEvents | ( | void | ) | const [inline] |
Get EventSet with U-events.
Definition at line 633 of file hio_constraint.h.
virtual bool faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::UpdateAttributes | ( | void | ) | [inline, virtual] |
Updates internal attributes.
This method sets the state partition attributes.
Reimplemented from faudes::vGenerator.
Definition at line 524 of file hio_constraint.h.
EventSet faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::YEvents | ( | void | ) | const [inline] |
Get EventSet with Y-events.
Definition at line 622 of file hio_constraint.h.
libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen