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

Class SaveState

java.lang.Object

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

All Implemented Interfaces:

Serializable

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

class for save/restore

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
SaveState() Default constructor.

Method Summary

Modifier and Type	Method and Description
int	getCc()
int	getSc()
void	setCc(int cc)
void	setSc(int sc)

Methods inherited from class java.lang.Object

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

Constructor Detail

SaveState

public SaveState()

Default constructor.

Method Detail

getSc

public int getSc()

Returns:

sc

getCc

public int getCc()

Returns:

cc

setSc

public void setSc(int sc)

Parameters:

sc - sc

setCc

public void setCc(int cc)

Parameters:

cc - cc