Package org.chocosolver.memory.trailing
Class StoredInt
- java.lang.Object
-
- org.chocosolver.memory.IStateInt
-
- org.chocosolver.memory.trailing.StoredInt
-
public class StoredInt extends IStateInt
A class implementing backtrackable int.
-
-
Field Summary
Fields Modifier and Type Field Description protected IStoredIntTrail
myTrail
-
Fields inherited from class org.chocosolver.memory.IStateInt
currentValue, environment, timeStamp
-
-
Constructor Summary
Constructors Constructor Description StoredInt(EnvironmentTrailing env, int i)
Constructs a stored search with an initial value.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
set(int y)
Modifies the value and stores if needed the former value on the trailing stack.
-
-
-
Field Detail
-
myTrail
protected final IStoredIntTrail myTrail
-
-
Constructor Detail
-
StoredInt
public StoredInt(EnvironmentTrailing env, int i)
Constructs a stored search with an initial value. Note: this constructor should not be used directly: one should instead use the IEnvironment factory
-
-