org.chocosolver.memory.trailing.trail.chunck

Class ChunckedIntTrail

java.lang.Object

org.chocosolver.memory.trailing.trail.chunck.ChunckedTrail<IntWorld>

org.chocosolver.memory.trailing.trail.chunck.ChunckedIntTrail

All Implemented Interfaces:

IStorage, IStoredIntTrail

public class ChunckedIntTrail
extends ChunckedTrail<IntWorld>
implements IStoredIntTrail

A trail for integers.

Since:

29/05/2016

Author:

Fabien Hermenier, Charles Prud'homme

Field Summary

Fields inherited from class org.chocosolver.memory.trailing.trail.chunck.ChunckedTrail

current, worlds

Constructor Summary

Constructors

Constructor and Description
ChunckedIntTrail(int ws, int nbWorlds, double loadfactor) Constructs a trail with predefined size and loadfactor

Method Summary

Modifier and Type	Method and Description
void	buildFakeHistory(StoredInt v, int initValue, int olderStamp)
void	savePreviousState(StoredInt v, int oldValue, int oldStamp)
void	worldPush(int worldIndex) Moving up to the next world.

Methods inherited from class org.chocosolver.memory.trailing.trail.chunck.ChunckedTrail

allocated, worldCommit, worldPop

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.chocosolver.memory.IStorage

worldCommit, worldPop

Constructor Detail

ChunckedIntTrail

public ChunckedIntTrail(int ws,
                        int nbWorlds,
                        double loadfactor)

Constructs a trail with predefined size and loadfactor

Parameters:

ws - the initial world size

nbWorlds - the initial number of worlds

loadfactor - how to resize world

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

savePreviousState

public void savePreviousState(StoredInt v,
                              int oldValue,
                              int oldStamp)

Specified by:

savePreviousState in interface IStoredIntTrail

buildFakeHistory

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

Specified by:

buildFakeHistory in interface IStoredIntTrail