Package minicp.state

Class TrailInt

java.lang.Object

minicp.state.Trail<Integer>

minicp.state.TrailInt

All Implemented Interfaces:

State<Integer>, StateInt

public class TrailInt
extends Trail<Integer>
implements StateInt

Implementation of StateInt with trail strategy

See Also:

• Trailer
• StateManager.makeStateInt(int)

Constructor Summary

Constructors

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

Method Summary

Methods inherited from class minicp.state.Trail

setValue, toString, value

Methods inherited from class java.lang.Object

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

Methods inherited from interface minicp.state.State

setValue, toString, value

Methods inherited from interface minicp.state.StateInt

decrement, increment

Constructor Details

TrailInt

protected TrailInt(Trailer trail,
 int initial)