choco.kernel.memory.trailing
Class StoredIntProcedure

java.lang.Object
  extended by choco.kernel.memory.trailing.AbstractStoredObject
      extended by choco.kernel.memory.trailing.StoredInt
          extended by choco.kernel.memory.trailing.StoredIntProcedure
All Implemented Interfaces:
IStateInt

public final class StoredIntProcedure
extends StoredInt

A stored integer with an associated transition procedure. When the value changes during backtracking, the procedure is applied.

Since:
2 mars 2009 version 2.0.3
Version:
2.0.3
Author:
Arnaud Malapert

Field Summary
 
Fields inherited from class choco.kernel.memory.trailing.StoredInt
myTrail
 
Fields inherited from class choco.kernel.memory.trailing.AbstractStoredObject
environment, LOGGER, worldStamp
 
Fields inherited from interface choco.kernel.memory.IStateInt
MAXINT, MININT, UNKNOWN_INT
 
Constructor Summary
StoredIntProcedure(EnvironmentTrailing env, IStateIntProcedure procedure, int i)
           
 
Method Summary
 void _set(int y, int wstamp)
          Modifies the value without storing the former value on the trailing stack.
 
Methods inherited from class choco.kernel.memory.trailing.StoredInt
add, decrement, get, increment, set, toString
 
Methods inherited from class choco.kernel.memory.trailing.AbstractStoredObject
getEnvironment, getWorldStamp, setWorldStamp
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface choco.kernel.memory.IStateInt
getEnvironment
 

Constructor Detail

StoredIntProcedure

public StoredIntProcedure(EnvironmentTrailing env,
                          IStateIntProcedure procedure,
                          int i)
Method Detail

_set

public void _set(int y,
                 int wstamp)
Description copied from class: StoredInt
Modifies the value without storing the former value on the trailing stack.

Overrides:
_set in class StoredInt
Parameters:
y - the new value
wstamp - the stamp of the world in which the update is performed


Copyright © 2012. All Rights Reserved.