| |
libFAUDES
Sections
Index
|
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 vGenerator &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. |
faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioConstraint | ( | void | ) | [inline] |
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.
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 >::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.
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 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.
virtual THioConstraint& faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const vGenerator & | 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.
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.
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 >::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 >::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 >::SetY | ( | Idx | index | ) | [inline] |
Mark event as Y-event (by index).
index | Event index |
Definition at line 678 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 | ( | 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 >::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 >::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 | ( | const EventSet & | rEvents | ) | [inline] |
Mark set of events as U-events.
rEvents | EventSet |
Definition at line 717 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.
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 >::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 >::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.
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.
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.
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 >::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 | ( | 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 >::ClrQY | ( | Idx | index | ) | [inline] |
Mark state as NOT QY-state (by index).
index | State index |
Definition at line 761 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 | ( | 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.
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 >::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.
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 >::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 >::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 | ( | 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 >::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 >::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 | ( | 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.
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 >::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.
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.
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 >::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 | ( | 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 >::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 >::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 | ( | 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.
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 >::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.
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.
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.
libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6