|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| History | This interface is used to manage the history of some process. |
| Class Summary | |
|---|---|
| RestrictedRepeatHistory | This class implements a history that allows operations (i.e. a pair of
int), that are not a priorily forbidden and that are done before
less than a specified threshold. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||