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

Class SaveList

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.AbstractSequentialList<E>

java.util.LinkedList<DLCompletionTreeSaveState>

uk.ac.manchester.cs.jfact.kernel.state.SaveList

All Implemented Interfaces:

Serializable, Cloneable, Iterable<DLCompletionTreeSaveState>, Collection<DLCompletionTreeSaveState>, Deque<DLCompletionTreeSaveState>, List<DLCompletionTreeSaveState>, Queue<DLCompletionTreeSaveState>

@PortedFrom(file="tSaveList.h",
            name="TSaveList")
public class SaveList
extends LinkedList<DLCompletionTreeSaveState>

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

Constructors

Constructor and Description
SaveList()

Method Summary

Methods

Modifier and Type	Method and Description
DLCompletionTreeSaveState	pop()
DLCompletionTreeSaveState	pop(int level) get element from stack with given level

Methods inherited from class java.util.LinkedList

add, add, addAll, addAll, addFirst, addLast, clear, clone, contains, descendingIterator, element, get, getFirst, getLast, indexOf, lastIndexOf, listIterator, offer, offerFirst, offerLast, peek, peekFirst, peekLast, poll, pollFirst, pollLast, push, remove, remove, remove, removeFirst, removeFirstOccurrence, removeLast, removeLastOccurrence, set, size, toArray, toArray

Methods inherited from class java.util.AbstractSequentialList

iterator

Methods inherited from class java.util.AbstractList

equals, hashCode, listIterator, removeRange, subList

Methods inherited from class java.util.AbstractCollection

containsAll, isEmpty, removeAll, retainAll, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.List

containsAll, equals, hashCode, isEmpty, iterator, listIterator, removeAll, retainAll, subList

Methods inherited from interface java.util.Deque

iterator

Constructor Detail

SaveList

public SaveList()

Method Detail

pop

@PortedFrom(file="tSaveList.h",
            name="pop")
public DLCompletionTreeSaveState pop()

Specified by:

pop in interface Deque<DLCompletionTreeSaveState>

Overrides:

pop in class LinkedList<DLCompletionTreeSaveState>

pop

@PortedFrom(file="tSaveList.h",
            name="pop")
public DLCompletionTreeSaveState pop(int level)

get element from stack with given level