org.chocosolver.memory.copy.store

Class StoredIntCopy

java.lang.Object

org.chocosolver.memory.copy.store.StoredIntCopy

All Implemented Interfaces:

Serializable, IStoredIntCopy, IStorage

public class StoredIntCopy
extends Object
implements IStoredIntCopy

Since:

14/05/13

Author:

Charles Prud'homme

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
StoredIntCopy()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(RcInt rc)
void	buildFakeHistory(RcInt v, int initValue, int olderStamp)
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

StoredIntCopy

public StoredIntCopy()

Method Detail

add

public void add(RcInt rc)

Specified by:

add in interface IStoredIntCopy

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

buildFakeHistory

public void buildFakeHistory(RcInt v,
                    int initValue,
                    int olderStamp)

Specified by:

buildFakeHistory in interface IStoredIntCopy