uk.ac.manchester.cs.jfact.kernel.state

Class DLCompletionTreeSaveState

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.state.DLCompletionTreeSaveState

All Implemented Interfaces:

Serializable

@PortedFrom(file="dlCompletionTree.h",
            name="SaveState")
public class DLCompletionTreeSaveState
extends Object
implements Serializable

class for saving Completion Tree nodes state

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DLCompletionTreeSaveState()

Method Summary

Modifier and Type	Method and Description
int	getCurLevel()
SaveState	getLab()
int	getnNeighbours()
int	level()
void	setCurLevel(int curLevel)
void	setnNeighbours(int nNeighbours)

Methods inherited from class java.lang.Object

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

Constructor Detail

DLCompletionTreeSaveState

public DLCompletionTreeSaveState()

Method Detail

level

public int level()

Returns:

level of a saved node

getLab

public SaveState getLab()

Returns:

save state label

getCurLevel

public int getCurLevel()

Returns:

current level

getnNeighbours

public int getnNeighbours()

Returns:

neighbors

setCurLevel

public void setCurLevel(int curLevel)

Parameters:

curLevel - curLevel

setnNeighbours

public void setnNeighbours(int nNeighbours)

Parameters:

nNeighbours - nNeighbours