|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.memory.copy.RcInt
public class RcInt
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 | |
---|---|
RcInt(EnvironmentCopying env)
|
|
RcInt(EnvironmentCopying env,
int i)
|
Method Summary | |
---|---|
protected 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 |
decrement()
Modifying a StoredInt by subtracting an unit increment. |
int |
deepCopy()
|
int |
get()
Returns the current value according to the current world. |
IEnvironment |
getEnvironment()
Retrieving the environment. |
int |
getTimeStamp()
|
int |
getType()
|
int |
increment()
Modifying a StoredInt by adding an unit increment. |
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 |
Constructor Detail |
---|
public RcInt(EnvironmentCopying env)
public RcInt(EnvironmentCopying env, int i)
Method Detail |
---|
public final int add(int delta)
IStateInt
add
in interface IStateInt
delta
- the value to add to the current value.
public int increment()
IStateInt
increment
in interface IStateInt
public int decrement()
IStateInt
decrement
in interface IStateInt
public final int get()
IStateInt
get
in interface IStateInt
public final void set(int y)
IStateInt
set
in interface IStateInt
y
- the new value of the variable.protected void _set(int y, int wstamp)
y
- the new valuewstamp
- the stamp of the world in which the update is performedpublic final IEnvironment getEnvironment()
IStateInt
getEnvironment
in interface IStateInt
public final int deepCopy()
public final int getType()
getType
in interface RecomputableElement
public final int getTimeStamp()
getTimeStamp
in interface RecomputableElement
public final String toString()
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |