Module org.chocosolver

Package org.chocosolver.memory.trailing.trail

Interface IStoredIntTrail

All Superinterfaces:

IStorage

All Known Implementing Classes:

ChunckedIntTrail, StoredIntTrail

public interface IStoredIntTrail
extends IStorage

Since:

29/04/13

Author:

Charles Prud'homme

Method Summary

Modifier and Type	Method	Description
void	buildFakeHistory(StoredInt v, int initValue, int fromStamp)
void	savePreviousState(StoredInt v, int oldValue, int oldStamp)

Methods inherited from interface org.chocosolver.memory.IStorage

worldCommit, worldPop, worldPush

Method Detail

savePreviousState

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

buildFakeHistory

void buildFakeHistory(StoredInt v,
                      int initValue,
                      int fromStamp)