Package | Description |
---|---|
gov.nasa.jpf.util |
Modifier and Type | Method and Description |
---|---|
static <E,T> HashMap<E,Integer> |
Misc.createOccurrenceMap(Collection<T> collection,
ElementCreator<T,E> creator) |
static <K,V,E> ArrayList<E> |
Misc.createSortedList(HashMap<K,V> map,
TwoTypeComparator<Map.Entry<K,V>,E> comparer,
ElementCreator<Map.Entry<K,V>,E> creator) |