Interface | Description |
---|---|
History |
This interface is used to manage the history of some process.
|
Class | Description |
---|---|
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.
|