public interface GrphIntSet
extends it.unimi.dsi.fastutil.ints.IntSet
Modifier and Type | Method and Description |
---|---|
int |
getGreatest() |
int |
pickRandomElement(java.util.Random r) |
add, contains, iterator, rem, remove, remove
add, addAll, contains, containsAll, removeAll, retainAll, toArray, toIntArray, toIntArray