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) get element from stack with given level