private static class Graph.GraphAnnotationState extends java.util.ArrayList<Graph.AnnotationState>
ArrayList<AnnotationState>
. Record of a collection of
objects' annotations at some state.Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
Constructor and Description |
---|
GraphAnnotationState(int size) |
add, add, addAll, addAll, clear, clone, contains, ensureCapacity, forEach, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSize
private static final long serialVersionUID