choco.kernel.memory.copy
Class RcIntProcedure

java.lang.Object
  extended by choco.kernel.memory.copy.RcInt
      extended by 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

Field Summary
 
Fields inherited from interface choco.kernel.memory.IStateInt
MAXINT, MININT, UNKNOWN_INT
 
Fields inherited from interface choco.kernel.memory.copy.RecomputableElement
BOOL, DOUBLE, DOUBLEVECTOR, INT, INTVECTOR, LONG, LONGVECTOR, NB_TYPE, OBJECT, VECTOR
 
Constructor Summary
RcIntProcedure(EnvironmentCopying env, IStateIntProcedure procedure, int i)
           
 
Method Summary
protected  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.copy.RcInt
add, decrement, deepCopy, get, getEnvironment, getTimeStamp, getType, increment, set, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

RcIntProcedure

public RcIntProcedure(EnvironmentCopying env,
                      IStateIntProcedure procedure,
                      int i)
Method Detail

_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 value
wstamp - the stamp of the world in which the update is performed


Copyright © 2012. All Rights Reserved.