org.chocosolver.memory.copy.store

Class StoredOperationCopy

java.lang.Object

org.chocosolver.memory.copy.store.StoredOperationCopy

All Implemented Interfaces:

Serializable, IStorage

public class StoredOperationCopy
extends Object
implements IStorage

Since:

14/05/13

Author:

Charles Prud'homme

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
StoredOperationCopy()

Method Summary

Methods

Modifier and Type	Method and Description
void	savePreviousState(Operation oldValue) Reacts when a StoredInt is modified: push the former value & timestamp on the stacks.
void	worldCommit(int worldIndex) Comitting the current world: merging it with the previous one.
void	worldPop(int worldIndex) Moving down to the previous world.
void	worldPush(int worldIndex) Moving up to the next world.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StoredOperationCopy

public StoredOperationCopy()

Method Detail

worldPush

public void worldPush(int worldIndex)

Description copied from interface: IStorage

Moving up to the next world.

Cette methode doit garder l'etat de la variable avant la modification de sorte a la remettre en etat le cas echeant.

Specified by:

worldPush in interface IStorage

Parameters:

worldIndex - current world index

worldPop

public void worldPop(int worldIndex)

Description copied from interface: IStorage

Moving down to the previous world.

Cette methode reattribute a la variable ou l'element d'un tableau sa valeur precedente.

Specified by:

worldPop in interface IStorage

Parameters:

worldIndex - current world index

worldCommit

public void worldCommit(int worldIndex)

Description copied from interface: IStorage

Comitting the current world: merging it with the previous one.

Not used yet.

Specified by:

worldCommit in interface IStorage

savePreviousState

public void savePreviousState(Operation oldValue)

Reacts when a StoredInt is modified: push the former value & timestamp on the stacks.