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, trimToSize
public FreshSet()
public FreshSet(java.lang.String[] freshvars)
public FreshSet(FreshSet freshvars)
public FreshSet(java.lang.String raw)