uk.ac.manchester.cs.jfact.kernel

Class ToDoList

java.lang.Object

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

@PortedFrom(file="ToDoList.h",
            name="ToDoList")
public class ToDoList
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ToDoList.ToDoEntry the entry of Todo table

Field Summary

Fields

Modifier and Type	Field and Description
protected int	nextState
protected boolean	saveStateGenerationStarted
protected uk.ac.manchester.cs.jfact.kernel.ToDoList.TODOListSaveState[]	states

Constructor Summary

Constructors

Constructor and Description
ToDoList()

Method Summary

Methods

Modifier and Type	Method and Description
void	addEntry(DlCompletionTree node, DagTag type, ConceptWDep C) add entry with given NODE and CONCEPT with given OFFSET to the Todo table
void	clear() clear Todo table
uk.ac.manchester.cs.jfact.kernel.ToDoList.TODOListSaveState	getInstance()
ToDoList.ToDoEntry	getNextEntry()
void	initPriorities(String Options) init priorities via Options
boolean	isEmpty() check if Todo table is empty
boolean	isSaveStateGenerationStarted()
void	restore(int level) restore state to the given level using internal stack
void	restoreState(uk.ac.manchester.cs.jfact.kernel.ToDoList.TODOListSaveState tss) restore Todo table content from given saveState entry
void	save() save current state using internal stack
void	saveState(uk.ac.manchester.cs.jfact.kernel.ToDoList.TODOListSaveState tss) save current Todo table content to given saveState entry
void	startSaveStateGeneration()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

states

@Original
protected uk.ac.manchester.cs.jfact.kernel.ToDoList.TODOListSaveState[] states

nextState

@Original
protected int nextState

saveStateGenerationStarted

@Original
protected boolean saveStateGenerationStarted

Constructor Detail

ToDoList

public ToDoList()

Method Detail

getInstance

@Original
public uk.ac.manchester.cs.jfact.kernel.ToDoList.TODOListSaveState getInstance()

isSaveStateGenerationStarted

@Original
public boolean isSaveStateGenerationStarted()

startSaveStateGeneration

@Original
public void startSaveStateGeneration()

saveState

@PortedFrom(file="ToDoList.h",
            name="saveState")
public void saveState(uk.ac.manchester.cs.jfact.kernel.ToDoList.TODOListSaveState tss)

save current Todo table content to given saveState entry

restoreState

@PortedFrom(file="ToDoList.h",
            name="restoreState")
public void restoreState(uk.ac.manchester.cs.jfact.kernel.ToDoList.TODOListSaveState tss)

restore Todo table content from given saveState entry

initPriorities

@Original
public void initPriorities(String Options)

init priorities via Options

clear

@PortedFrom(file="ToDoList.h",
            name="clear")
public void clear()

clear Todo table

isEmpty

public boolean isEmpty()

check if Todo table is empty

addEntry

@PortedFrom(file="ToDoList.h",
            name="addEntry")
public void addEntry(DlCompletionTree node,
                               DagTag type,
                               ConceptWDep C)

add entry with given NODE and CONCEPT with given OFFSET to the Todo table

save

@PortedFrom(file="ToDoList.h",
            name="save")
public void save()

save current state using internal stack

restore

@PortedFrom(file="ToDoList.h",
            name="restore")
public void restore(int level)

restore state to the given level using internal stack

getNextEntry

@PortedFrom(file="ToDoList.h",
            name="getNextEntry")
public ToDoList.ToDoEntry getNextEntry()

toString

public String toString()

Overrides:

toString in class Object