org.chocosolver.memory.trailing.trail.chunck

Class OperationWorld

java.lang.Object

org.chocosolver.memory.trailing.trail.chunck.OperationWorld

All Implemented Interfaces:

World

public class OperationWorld
extends Object
implements World

Since:

31/05/2016

Author:

Fabien Hermenier, Charles Prud'homme

Constructor Summary

Constructors

Constructor and Description
OperationWorld(int defaultSize, double loadfactor)

Method Summary

Modifier and Type	Method and Description
int	allocated() The allocated trail for this world.
void	clear() Clean the stack
void	revert() Pop all the stack.
void	savePreviousState(IOperation v) Reacts when a StoredInt is modified: push the former value & timestamp on the stacks.
int	used() The amount of values in the stack

Methods inherited from class java.lang.Object

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

Constructor Detail

OperationWorld

public OperationWorld(int defaultSize,
                      double loadfactor)

Method Detail

savePreviousState

public void savePreviousState(IOperation v)

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

revert

public void revert()

Description copied from interface: World

Pop all the stack.

Specified by:

revert in interface World

clear

public void clear()

Description copied from interface: World

Clean the stack

Specified by:

clear in interface World

allocated

public int allocated()

Description copied from interface: World

The allocated trail for this world.

Specified by:

allocated in interface World

Returns:

a positive number

used

public int used()

Description copied from interface: World

The amount of values in the stack

Specified by:

used in interface World

Returns:

a positive integer