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

Class DLCompletionGraphSaveState

java.lang.Object

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

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

class for S/R local state

Constructor Summary

Constructors

Constructor and Description
DLCompletionGraphSaveState()

Method Summary

Methods

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

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

Constructor Detail

DLCompletionGraphSaveState

public DLCompletionGraphSaveState()

Method Detail

getnNodes

public int getnNodes()

setnNodes

public void setnNodes(int nNodes)

getsNodes

public int getsNodes()

setsNodes

public void setsNodes(int sNodes)

getnEdges

public int getnEdges()

setnEdges

public void setnEdges(int nEdges)

toString

public String toString()

Overrides:

toString in class Object