@Override
public Iterator<Integer> getSuccessorsIterator(final int s, final int i) {
// Need to build set to avoid duplicates
// So not necessarily the fastest method to access successors
HashSet<Integer> succs = new HashSet<Integer>();
for (Distribution distr : trans.get(s).get(i)) {
succs.addAll(distr.getSupport());
}
return succs.iterator();
}
