public class FreshSet
extends java.util.ArrayList<java.lang.String>
| Constructor and Description |
|---|
FreshSet() |
FreshSet(FreshSet freshvars) |
FreshSet(java.lang.String raw) |
FreshSet(java.lang.String[] freshvars) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
toString() |
void |
toStringBuffer(java.lang.StringBuffer sb) |
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, trimToSizepublic FreshSet()
public FreshSet(java.lang.String[] freshvars)
public FreshSet(FreshSet freshvars)
public FreshSet(java.lang.String raw)