IStateInt (org.choco-solver-choco-solver 4.10.2 API)

java.lang.Object
- org.chocosolver.memory.IStateInt

Direct Known Subclasses:

StoredInt
```
public abstract class IStateInt
extends Object
```
An abstract class for backtrackable int.

Since:

29/04/13

Author:

Charles Prud'homme

Field Summary

Fields
Modifier and Type Field Description

protected int currentValue

protected IEnvironment environment

protected int timeStamp

Constructor Summary

Constructors
Constructor Description

IStateInt(IEnvironment env, int i)

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`_set(int y, int wstamp)`	Modifies the value without storing the former value on the trailing stack.
`int`	`add(int delta)`	modifying a StoredInt by an increment
`int`	`get()`	Returns the current value.
`void`	`overrideTimeStamp(int aTimeStamp)`
`abstract void`	`set(int y)`	Modifies the value and stores if needed the former value on the trailing stack.
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - environment
```
protected final IEnvironment environment
```
  - currentValue
```
protected int currentValue
```
  - timeStamp
```
protected int timeStamp
```
- Constructor Detail
  - IStateInt
```
public IStateInt(IEnvironment env,
                 int i)
```
- Method Detail
  - get
```
public final int get()
```
    Returns the current value.
  - set
```
public abstract void set(int y)
```
    Modifies the value and stores if needed the former value on the trailing stack.
  - add
```
public final int add(int delta)
```
    modifying a StoredInt by an increment
    
    Parameters:
    
    delta - increment value
    
    Returns:
    
    the new value
  - _set
```
public void _set(int y,
                 int wstamp)
```
    Modifies the value without storing the former value on the trailing stack.
    
    Parameters:
    
    y - the new value
    
    wstamp - the stamp of the world in which the update is performed
  - overrideTimeStamp
```
public void overrideTimeStamp(int aTimeStamp)
```
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object