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

Class Summary

Class	Description
DLCompletionGraphSaveState	class for S/R local state
DLCompletionTreeSaveState	class for saving Completion Tree nodes state
SaveList
SaveState	class for save/restore