choco.kernel.memory.copy
Class RcIntProcedure
java.lang.Object
choco.kernel.memory.copy.RcInt
choco.kernel.memory.copy.RcIntProcedure
- All Implemented Interfaces:
- RecomputableElement, IStateInt
public final class RcIntProcedure
- extends RcInt
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 |
protected void |
_set(int y,
int wstamp)
Modifies the value without storing the former value on the trailing stack. |
RcIntProcedure
public RcIntProcedure(EnvironmentCopying env,
IStateIntProcedure procedure,
int i)
_set
protected void _set(int y,
int wstamp)
- Description copied from class:
RcInt
- Modifies the value without storing the former value on the trailing stack.
- Overrides:
_set
in class RcInt
- Parameters:
y
- the new valuewstamp
- the stamp of the world in which the update is performed
Copyright © 2012. All Rights Reserved.