org.chocosolver.memory.trailing.trail.chunck

Class ChunckedTrail<W extends World>

java.lang.Object

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

All Implemented Interfaces:

IStorage

Direct Known Subclasses:

ChunckedBoolTrail, ChunckedDoubleTrail, ChunckedIntTrail, ChunckedLongTrail, ChunckedOperationTrail

public abstract class ChunckedTrail<W extends World>
extends Object
implements IStorage

An abstract segmented trail.

Since:

29/05/2016

Author:

Fabien Hermenier, Charles Prud'homme

Field Summary

Fields

Modifier and Type	Field and Description
protected W	current The current world.
protected W[]	worlds The worlds.

Constructor Summary

Constructors

Constructor and Description
ChunckedTrail()

Method Summary

Modifier and Type	Method and Description
int	allocated() Returns the allocated trail size.
void	worldCommit(int worldIndex) Comitting the current world: merging it with the previous one.
void	worldPop(int worldIndex) Moving down to the previous world.

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

worldPush

Field Detail

worlds

protected W extends World[] worlds

The worlds.

current

protected W extends World current

The current world.

Constructor Detail

ChunckedTrail

public ChunckedTrail()

Method Detail

worldPop

public void worldPop(int worldIndex)

Moving down to the previous world.

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

allocated

public int allocated()

Returns the allocated trail size.

Returns:

a positive number