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

Class SaveState

java.lang.Object

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

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

class for save/restore

Constructor Summary

Constructors

Constructor and Description
SaveState()

Method Summary

Methods

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

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

Constructor Detail

SaveState

public SaveState()

Method Detail

getSc

public int getSc()

getCc

public int getCc()

setSc

public void setSc(int sc)

setCc

public void setCc(int cc)