faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference Generator with I/O-controller attributes. More...
Detailed Descriptiontemplate<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
|
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioController | ( | void | ) |
Creates an empty HioController object.
Definition at line 976 of file hio_controller.h.
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioController | ( | const Generator & | rOtherGen | ) |
HioController from a std Generator.
Copy constructor
rOtherGen |
Definition at line 986 of file hio_controller.h.
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioController | ( | const Generator & | rOtherGen, |
const EventSet & | rYc, | ||
const EventSet & | rUc, | ||
const EventSet & | rYp, | ||
const EventSet & | rUp | ||
) |
HioController from a std Generator and event sets.
Copy constructor
rOtherGen | Generator |
rYc | alphabet Yc |
rUc | alphabet Uc |
rYp | alphabet Yp |
rUp | alphabet Up |
Definition at line 991 of file hio_controller.h.
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioController | ( | const THioController< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) |
HioController from a HioController.
Copy constructor
rOtherGen |
Definition at line 981 of file hio_controller.h.
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioController | ( | const std::string & | rFileName | ) |
construct a HioController from file
rFileName | Filename |
Definition at line 1006 of file hio_controller.h.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::CEvents | ( | void | ) | const |
Get EventSet with E-events.
Definition at line 1386 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | Idx | index | ) |
Mark state as NOT Err-state (by index)
index | State index |
Definition at line 1748 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const std::string & | rName | ) |
Mark state as NOT Err-state (by name)
rName | State name |
Definition at line 1756 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr | ( | const StateSet & | rStates | ) |
Mark set of states as NOT Err-states (by index)
rStates | StateSet |
Definition at line 1763 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUc | ( | Idx | index | ) |
Mark state as NOT QUc-state (by index)
index | State index |
Definition at line 1596 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUc | ( | const std::string & | rName | ) |
Mark state as NOT QUc-state (by name)
rName | State name |
Definition at line 1605 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUc | ( | const StateSet & | rStates | ) |
Mark set of states as NOT QUc-states (by index)
rStates | StateSet |
Definition at line 1612 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | Idx | index | ) |
Mark state as NOT QUp-state (by index)
index | State index |
Definition at line 1514 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | const std::string & | rName | ) |
Mark state as NOT QUp-state (by name)
rName | State name |
Definition at line 1523 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp | ( | const StateSet & | rStates | ) |
Mark set of states as NOT QUp-states (by index)
rStates | StateSet |
Definition at line 1530 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYcUp | ( | Idx | index | ) |
Mark state as NOT QYcUp-state (by index)
index | State index |
Definition at line 1677 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYcUp | ( | const std::string & | rName | ) |
Mark state as NOT QYcUp-state (by name)
rName | State name |
Definition at line 1685 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYcUp | ( | const StateSet & | rStates | ) |
Mark set of states as NOT QYcUp-states (by index)
rStates | StateSet |
Definition at line 1692 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYP | ( | Idx | index | ) |
Mark state as NOT QYP-state (by index)
index | State index |
Definition at line 1434 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYP | ( | const std::string & | rName | ) |
Mark state as NOT QYP-state (by name)
rName | State name |
Definition at line 1443 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYP | ( | const StateSet & | rStates | ) |
Mark set of states as NOT QYP-states (by index)
rStates | StateSet |
Definition at line 1450 of file hio_controller.h.
|
virtual |
Construct copy on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1021 of file hio_controller.h.
StateSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrStates | ( | void | ) | const |
Get StateSet with Err-states.
Definition at line 1784 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUcEvent | ( | Idx | index | ) |
Add an existing Uc-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1235 of file hio_controller.h.
Idx faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUcEvent | ( | const std::string & | rName | ) |
Add new named Uc-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 1244 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUpEvent | ( | Idx | index | ) |
Add an existing Up-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1101 of file hio_controller.h.
Idx faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUpEvent | ( | const std::string & | rName | ) |
Add new named Up-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 1110 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYcEvent | ( | Idx | index | ) |
Add an existing Yc-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1217 of file hio_controller.h.
Idx faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYcEvent | ( | const std::string & | rName | ) |
Add new named Yc-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 1226 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYpEvent | ( | Idx | index | ) |
Add an existing Yp-event to generator.
An entry in the global event table will be made.
index | Event index |
Definition at line 1083 of file hio_controller.h.
Idx faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsYpEvent | ( | const std::string & | rName | ) |
Add new named Yp-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 1092 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsC | ( | Idx | index | ) | const |
Is event E-event? (by index)
index | Event index |
Definition at line 1363 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsC | ( | const std::string & | rName | ) | const |
Is event E-event? (by name)
rName | Event name |
Definition at line 1369 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | Idx | index | ) | const |
Is state Err-state (by index)
index | State index |
Definition at line 1772 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsErr | ( | const std::string & | rName | ) | const |
Is state Err-state (by name)
rName | State name |
Definition at line 1778 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsP | ( | Idx | index | ) | const |
Is event P-event? (by index)
index | Event index |
Definition at line 1351 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsP | ( | const std::string & | rName | ) | const |
Is event P-event? (by name)
rName | Event name |
Definition at line 1357 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUc | ( | Idx | index | ) | const |
Is state QUc-state (by index)
index | State index |
Definition at line 1621 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUc | ( | const std::string & | rName | ) | const |
Is state QUc-state (by name)
rName | State name |
Definition at line 1627 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUp | ( | Idx | index | ) | const |
Is state QUp-state (by index)
index | State index |
Definition at line 1539 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQUp | ( | const std::string & | rName | ) | const |
Is state QUp-state (by name)
rName | State name |
Definition at line 1545 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYcUp | ( | Idx | index | ) | const |
Is state QYcUp-state (by index)
index | State index |
Definition at line 1701 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYcUp | ( | const std::string & | rName | ) | const |
Is state QYcUp-state (by name)
rName | State name |
Definition at line 1707 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYP | ( | Idx | index | ) | const |
Is state QYP-state (by index)
index | State index |
Definition at line 1459 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsQYP | ( | const std::string & | rName | ) | const |
Is state QYP-state (by name)
rName | State name |
Definition at line 1465 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | Idx | index | ) | const |
Is event U-event? (by index)
index | Event index |
Definition at line 1047 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsU | ( | const std::string & | rName | ) | const |
Is event U-event? (by name)
rName | Event name |
Definition at line 1053 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUc | ( | Idx | index | ) | const |
Is event Uc-event (by index)
index | Event index |
Definition at line 1315 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUc | ( | const std::string & | rName | ) | const |
Is event Uc-event (by name)
rName | Event name |
Definition at line 1321 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUp | ( | Idx | index | ) | const |
Is event Up-event(by index)
index | Event index |
Definition at line 1181 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsUp | ( | const std::string & | rName | ) | const |
Is event Up-event(by name)
rName | Event name |
Definition at line 1187 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | Idx | index | ) | const |
Is event Y-event? (by index)
index | Event index |
Definition at line 1035 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsY | ( | const std::string & | rName | ) | const |
Is event Y-event? (by name)
rName | Event name |
Definition at line 1041 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYc | ( | Idx | index | ) | const |
Is event Yc-event (by index)
index | Event index |
Definition at line 1303 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYc | ( | const std::string & | rName | ) | const |
Is event Yc-event (by name)
rName | Event name |
Definition at line 1309 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYp | ( | Idx | index | ) | const |
Is event Yp-event(by index)
index | Event index |
Definition at line 1169 of file hio_controller.h.
bool faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsYp | ( | const std::string & | rName | ) | const |
Is event Yp-event(by name)
rName | Event name |
Definition at line 1175 of file hio_controller.h.
|
virtual |
Construct on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 1011 of file hio_controller.h.
THioController< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewHioController | ( | void | ) | const |
Create empty HioController with same symboltable as this.
Definition at line 1026 of file hio_controller.h.
|
inlinevirtual |
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 134 of file hio_controller.h.
|
inlinevirtual |
Assignment operator (uses copy )
rOtherGen | Other generator |
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 142 of file hio_controller.h.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::PEvents | ( | void | ) | const |
Get EventSet with P-events.
Definition at line 1375 of file hio_controller.h.
StateSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUcStates | ( | void | ) | const |
Get StateSet with QUc-states.
Definition at line 1633 of file hio_controller.h.
StateSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::QUpStates | ( | void | ) | const |
Get StateSet with QUp-states.
Definition at line 1551 of file hio_controller.h.
StateSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYcUpStates | ( | void | ) | const |
Get StateSet with QYcUp-states.
Definition at line 1713 of file hio_controller.h.
StateSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::QYPStates | ( | void | ) | const |
Get StateSet with QYP-states.
Definition at line 1471 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | Idx | index | ) |
Mark state as Err-state (by index)
index | State index |
Definition at line 1724 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const std::string & | rName | ) |
Mark state as Err-state (by name)
rName | State name |
Definition at line 1732 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr | ( | const StateSet & | rStates | ) |
Mark set of states as Err-states.
rStates | StateSet |
Definition at line 1739 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUc | ( | Idx | index | ) |
Mark event as QUc-state (by index)
index | State index |
Definition at line 1565 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUc | ( | const std::string & | rName | ) |
Mark state as QUc-state (by name)
rName | State name |
Definition at line 1580 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUc | ( | const StateSet & | rStates | ) |
Mark set of states as QUc-states.
rStates | StateSet |
Definition at line 1587 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | Idx | index | ) |
Mark event as QUp-state (by index)
index | State index |
Definition at line 1483 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | const std::string & | rName | ) |
Mark state as QUp-state (by name)
rName | State name |
Definition at line 1498 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp | ( | const StateSet & | rStates | ) |
Mark set of states as QUp-states.
rStates | StateSet |
Definition at line 1505 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYcUp | ( | Idx | index | ) |
Mark event as QYcUp-state (by index)
index | State index |
Definition at line 1646 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYcUp | ( | const std::string & | rName | ) |
Mark state as QYcUp-state (by name)
rName | State name |
Definition at line 1661 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYcUp | ( | const StateSet & | rStates | ) |
Mark set of states as QYcUp-states.
rStates | StateSet |
Definition at line 1668 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYp | ( | Idx | index | ) |
Mark state as QYP-state (by index)
index | State index |
Definition at line 1403 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYp | ( | const std::string & | rName | ) |
Mark state as QYP-state (by name)
rName | State name |
Definition at line 1418 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYp | ( | const StateSet & | rStates | ) |
Mark set of states as QYP-states.
rStates | StateSet |
Definition at line 1425 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUc | ( | Idx | index | ) |
Mark event as Uc-event (by index)
index | Event index |
Definition at line 1278 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUc | ( | const std::string & | rName | ) |
Mark event as Uc-event (by name)
rName | Event name |
Definition at line 1287 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUc | ( | const EventSet & | rEvents | ) |
Mark set of events as Uc-events.
rEvents | EventSet |
Definition at line 1294 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | Idx | index | ) |
Mark event Up-event(by index)
index | Event index |
Definition at line 1144 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | const std::string & | rName | ) |
Mark event Up-event(by name)
rName | Event name |
Definition at line 1153 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp | ( | const EventSet & | rEvents | ) |
Mark set of events as Up-events.
rEvents | EventSet |
Definition at line 1160 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYc | ( | Idx | index | ) |
Mark event as Yc-event (by index)
index | Event index |
Definition at line 1253 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYc | ( | const std::string & | rName | ) |
Mark event as Yc-event (by name)
rName | Event name |
Definition at line 1262 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYc | ( | const EventSet & | rEvents | ) |
Mark set of events as Yc-events.
rEvents | EventSet |
Definition at line 1269 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | Idx | index | ) |
Mark event as Yp-event (by index)
index | Event index |
Definition at line 1119 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | const std::string & | rName | ) |
Mark event as Yp-event(by name)
rName | Event name |
Definition at line 1128 of file hio_controller.h.
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp | ( | const EventSet & | rEvents | ) |
Mark set of events as Yp-events.
rEvents | EventSet |
Definition at line 1135 of file hio_controller.h.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::UcEvents | ( | void | ) | const |
Get EventSet with Uc-events.
Definition at line 1338 of file hio_controller.h.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::UEvents | ( | void | ) | const |
Get EventSet with U-events.
Definition at line 1070 of file hio_controller.h.
|
inlinevirtual |
Updates internal attributes.
This method sets the state partition attributes.
Reimplemented from faudes::vGenerator.
Definition at line 958 of file hio_controller.h.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::UpEvents | ( | void | ) | const |
Get EventSet with Up-events.
Definition at line 1204 of file hio_controller.h.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::YcEvents | ( | void | ) | const |
Get EventSet with Yc-events.
Definition at line 1327 of file hio_controller.h.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::YEvents | ( | void | ) | const |
Get EventSet with Y-events.
Definition at line 1059 of file hio_controller.h.
EventSet faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::YpEvents | ( | void | ) | const |
Get EventSet with Yp-events.
Definition at line 1193 of file hio_controller.h.
libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen