Uses of Class
uk.ac.manchester.cs.jfact.kernel.state.SaveState

Packages that use SaveState

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

Uses of SaveState in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type SaveState

Modifier and Type	Method and Description
void	CGLabel.restore(SaveState ss, int level) restore label to given LEVEL using given SS
void	CGLabel.save(SaveState ss)

Uses of SaveState in uk.ac.manchester.cs.jfact.kernel.state

Methods in uk.ac.manchester.cs.jfact.kernel.state that return SaveState

Modifier and Type	Method and Description
SaveState	DLCompletionTreeSaveState.getLab()