Uses of Class uk.ac.manchester.cs.jfact.kernel.ToDoList.ToDoEntry (JFact 1.0.0 API)

Packages that use ToDoList.ToDoEntry
Package	Description
uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel that return ToDoList.ToDoEntry
Modifier and Type	Method and Description
`ToDoList.ToDoEntry`	ToDoList.`getNextEntry()`

Uses of Classuk.ac.manchester.cs.jfact.kernel.ToDoList.ToDoEntry