public static final class OneStepSimplifier.Protocol extends ArrayList<RuleApp>
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
modCount
Constructor and Description |
---|
OneStepSimplifier.Protocol() |
add, add, addAll, addAll, clear, clone, contains, ensureCapacity, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeRange, retainAll, set, size, subList, toArray, toArray, trimToSize
equals, hashCode
containsAll, toString
finalize, getClass, notify, notifyAll, wait, wait, wait
containsAll, equals, hashCode
private static final long serialVersionUID