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

Class DLCompletionGraphSaveState

java.lang.Object

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

All Implemented Interfaces:

Serializable

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

class for S/R local state

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DLCompletionGraphSaveState()

Method Summary

Modifier and Type	Method and Description
int	getnEdges()
int	getnNodes()
int	getsNodes()
void	setnEdges(int nEdges)
void	setnNodes(int nNodes)
void	setsNodes(int sNodes)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

DLCompletionGraphSaveState

public DLCompletionGraphSaveState()

Method Detail

getnNodes

public int getnNodes()

Returns:

nNodes

setnNodes

public void setnNodes(int nNodes)

Parameters:

nNodes - nNodes

getsNodes

public int getsNodes()

Returns:

s nodes

setsNodes

public void setsNodes(int sNodes)

Parameters:

sNodes - sNodes

getnEdges

public int getnEdges()

Returns:

n edges

setnEdges

public void setnEdges(int nEdges)

Parameters:

nEdges - nEdges

toString

public String toString()

Overrides:

toString in class Object