choco.kernel.memory.trailing
Class StoredIntProcedure
java.lang.Object
choco.kernel.memory.trailing.AbstractStoredObject
choco.kernel.memory.trailing.StoredInt
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
Method Summary |
void |
_set(int y,
int wstamp)
Modifies the value without storing the former value on the trailing stack. |
StoredIntProcedure
public StoredIntProcedure(EnvironmentTrailing env,
IStateIntProcedure procedure,
int i)
_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 valuewstamp
- the stamp of the world in which the update is performed
Copyright © 2012. All Rights Reserved.