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

Packages that use uk.ac.manchester.cs.jfact.kernel.state

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

Classes in uk.ac.manchester.cs.jfact.kernel.state used by uk.ac.manchester.cs.jfact.kernel

Class and Description
SaveState class for save/restore

Classes in uk.ac.manchester.cs.jfact.kernel.state used by uk.ac.manchester.cs.jfact.kernel.state

Class and Description
DLCompletionTreeSaveState class for saving Completion Tree nodes state
SaveState class for save/restore