Class StateList

java.lang.Object
java.util.AbstractCollection<E>
java.util.AbstractList<E>
java.util.ArrayList<T>
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, java.lang.Comparable<AbstractGraphicComponentList<State,​StateSet,​StateList>>, java.lang.Iterable<State>, java.util.Collection<State>, java.util.List<State>, java.util.RandomAccess

public class StateList
extends AbstractGraphicComponentList<State,​StateSet,​StateList>
implements java.lang.Cloneable
A StateList is a sequence of states.
Author:
Ming-Hsien Tsai
See Also:
Serialized Form
  • Field Summary

    Fields inherited from class java.util.AbstractList

    modCount
  • Constructor Summary

    Constructors 
    Constructor Description
    StateList()
    Constructs an empty state list.
    StateList​(java.util.Collection<State> states)
    Constructs this list with a specified collection of states.
    StateList​(State... states)
    Constructs this list with a specified array of states.
  • Method Summary

    Modifier and Type Method Description
    State getFirstState()
    Deprecated.
    State getLastState()
    Deprecated.
    protected StateList newInstance()
    Returns a new empty list of the same type of this list.
    protected StateSet newSetInstance()
    Returns a new empty set that can store elements in this list.

    Methods inherited from class org.svvrl.goal.core.aut.AbstractGraphicComponentList

    asSet, clone, compareTo, getFirst, getLast, shift, subList, toString

    Methods inherited from class java.util.ArrayList

    add, add, addAll, addAll, clear, contains, ensureCapacity, equals, forEach, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, toArray, toArray, trimToSize

    Methods inherited from class java.util.AbstractCollection

    containsAll

    Methods inherited from class java.lang.Object

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

    Methods inherited from interface java.util.Collection

    parallelStream, stream, toArray

    Methods inherited from interface java.util.List

    containsAll