choco.kernel.memory.trailing.trail
Class StoredLongVectorTrail

java.lang.Object
  extended by choco.kernel.memory.trailing.trail.StoredLongVectorTrail
All Implemented Interfaces:
ITrailStorage

public class StoredLongVectorTrail
extends Object
implements ITrailStorage

Created by IntelliJ IDEA. User: julien Date: May 6, 2010 Time: 12:51:39 PM


Field Summary
 
Fields inherited from interface choco.kernel.memory.trailing.trail.ITrailStorage
LOGGER
 
Constructor Summary
StoredLongVectorTrail(int nUpdates, int nWorlds)
          Constructs a trail for the specified environment with the specified numbers of updates and worlds.
 
Method Summary
 void clear()
           
 int getSize()
          Returns the current size of the stack.
 void resizeWorldCapacity(int newWorldCapacity)
          increase the capacity of the environment to a given number of worlds
 void savePreviousState(StoredLongVector vect, int index, long oldValue, int oldStamp)
          Reacts on the modification of an element in a stored search vector.
 void worldCommit(int wi)
          Comits a world: merging it with the previous one.
 void worldPop(int wi)
          Moving down to the previous world.
 void worldPush(int wi)
          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

StoredLongVectorTrail

public StoredLongVectorTrail(int nUpdates,
                             int nWorlds)
Constructs a trail for the specified environment with the specified numbers of updates and worlds.

Method Detail

clear

public void clear()
Specified by:
clear in interface ITrailStorage

savePreviousState

public void savePreviousState(StoredLongVector vect,
                              int index,
                              long oldValue,
                              int oldStamp)
Reacts on the modification of an element in a stored search vector.


resizeWorldCapacity

public void resizeWorldCapacity(int newWorldCapacity)
Description copied from interface: ITrailStorage
increase the capacity of the environment to a given number of worlds

Specified by:
resizeWorldCapacity in interface ITrailStorage

worldPush

public void worldPush(int wi)
Moving up to the next world.

Specified by:
worldPush in interface ITrailStorage
Parameters:
wi -

worldPop

public void worldPop(int wi)
Moving down to the previous world.

Specified by:
worldPop in interface ITrailStorage
Parameters:
wi -

worldCommit

public void worldCommit(int wi)
Comits a world: merging it with the previous one.

Specified by:
worldCommit in interface ITrailStorage
Parameters:
wi -

getSize

public int getSize()
Returns the current size of the stack.

Specified by:
getSize in interface ITrailStorage


Copyright © 2012. All Rights Reserved.