uk.ac.manchester.cs.jfact.kernel

Class ToDoList.ToDoEntry

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.ToDoList.ToDoEntry

Enclosing class:

ToDoList

public static class ToDoList.ToDoEntry
extends Object

the entry of Todo table

Method Summary

Methods

Modifier and Type	Method and Description
protected DlCompletionTree	getNode()
protected int	getOffsetConcept()
protected FastSetSimple	getOffsetDepSet()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getNode

protected DlCompletionTree getNode()

getOffsetConcept

protected int getOffsetConcept()

getOffsetDepSet

protected FastSetSimple getOffsetDepSet()

toString

public String toString()

Overrides:

toString in class Object