minicp.state

Class TrailInt

java.lang.Object

minicp.state.TrailInt

All Implemented Interfaces:

StateInt

public class TrailInt
extends Object
implements StateInt

Implementation of StateInt with trail strategy

See Also:

Trailer, StateManager.makeStateInt(int)

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TrailInt(Trailer trail, int initial)

Method Summary

Modifier and Type	Method and Description
int	decrement() Decrements the value
int	increment() Increments the value
int	setValue(int v) Set the value
String	toString()
int	value() Retrieves the value

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TrailInt

protected TrailInt(Trailer trail,
                   int initial)

Method Detail

setValue

public int setValue(int v)

Description copied from interface: StateInt

Set the value

Specified by:

setValue in interface StateInt

Parameters:

v - the value to set

Returns:

the new value that was set

increment

public int increment()

Description copied from interface: StateInt

Increments the value

Specified by:

increment in interface StateInt

Returns:

the new value

decrement

public int decrement()

Description copied from interface: StateInt

Decrements the value

Specified by:

decrement in interface StateInt

Returns:

the new value

value

public int value()

Description copied from interface: StateInt

Retrieves the value

Specified by:

value in interface StateInt

Returns:

the value

toString

public String toString()

Specified by:

toString in interface StateInt

Overrides:

toString in class Object