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

Packages that use DLCompletionTreeSaveState

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

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

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

Modifier and Type	Method and Description
DLCompletionTreeSaveState	SaveList.pop()
DLCompletionTreeSaveState	SaveList.pop(int level)