|
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. a pair of
int), that are not a priorily forbidden and that are done before
less than a specified threshold. |
| SimpleHistory |
This class implements a simple history that has a limited memory that will be
used cyclicly. |