|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| History | This interface is used to manage the history of some process. |
| Class Summary | |
|---|---|
| CappedHistory | This class combines a threshold on the number of steps which can be performed with any other History. |
| NoRevertHistory | This class implements a history that allows operations, that are not a priorily forbidden and do not create a configuration that has already be considered. |
| RestrictedRepeatHistory | This class implements a history that allows operations (i.e. |
| SimpleHistory | This class implements a simple history that has a limited memory that will be used cyclicly. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||