uk.ac.manchester.cs.jfact.kernel.todolist

Class TODOListSaveState

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.todolist.TODOListSaveState

All Implemented Interfaces:

Serializable

public final class TODOListSaveState
extends Object
implements Serializable

class for saving/restoring array Todo table

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
int	backup0key key queue 0
int	backup0value key queue 0
int	backup1key key queue 1
int	backup1value key queue 1
int	backup2key key queue 2
int	backup2value key queue 2
int	backup3key key queue 3
int	backup3value key queue 3
int	backup4key key queue 4
int	backup4value key queue 4
int	backup5key key queue 5
int	backup5value key queue 5
int	backup6key key queue 6
int	backup6value value queue 6

Constructor Summary

Constructors

Constructor and Description
TODOListSaveState()

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

backup0key

public int backup0key

key queue 0

backup0value

public int backup0value

key queue 0

backup1key

public int backup1key

key queue 1

backup1value

public int backup1value

key queue 1

backup2key

public int backup2key

key queue 2

backup2value

public int backup2value

key queue 2

backup3key

public int backup3key

key queue 3

backup3value

public int backup3value

key queue 3

backup4key

public int backup4key

key queue 4

backup4value

public int backup4value

key queue 4

backup5key

public int backup5key

key queue 5

backup5value

public int backup5value

key queue 5

backup6key

public int backup6key

key queue 6

backup6value

public int backup6value

value queue 6

Constructor Detail

TODOListSaveState

public TODOListSaveState()

Method Detail

toString

public String toString()

Overrides:

toString in class Object