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>

save list

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
SaveList()

Method Summary

Modifier and Type	Method and Description
DLCompletionTreeSaveState	pop()
DLCompletionTreeSaveState	pop(int 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, spliterator, toArray, toArray

Methods inherited from class java.util.AbstractSequentialList

iterator

Methods inherited from class java.util.AbstractList

equals, hashCode, listIterator, subList

Methods inherited from class java.util.AbstractCollection

containsAll, isEmpty, removeAll, retainAll, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.List

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

Methods inherited from interface java.util.Deque

iterator

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

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)

Parameters:

level - level

Returns:

element from stack with given level