Uses of Class
uk.ac.manchester.cs.jfact.kernel.SaveStackRare

Packages that use SaveStackRare

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

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

Methods in uk.ac.manchester.cs.jfact.kernel that return SaveStackRare

Modifier and Type	Method and Description
SaveStackRare	DlCompletionGraph.getRareStack() get the rare stack

Uses of SaveStackRare in uk.ac.manchester.cs.jfact.kernel.todolist

Constructors in uk.ac.manchester.cs.jfact.kernel.todolist with parameters of type SaveStackRare

Constructor and Description
QueueQueue(SaveStackRare rare)
ToDoList(SaveStackRare r) Default constructor.