if (enabledTransitions.isEmpty()) {
return false;
} else {
- transitions.get(prng.nextInt(enabledTransitions.size())).fire();
+ enabledTransitions.get(prng.nextInt(enabledTransitions.size())).fire();
return true;
}
}
public Integer[] getMarking() {
final var marking = new ArrayList<Integer>();
for (int p = 0 ; p < places.length ; p++) {
- Collections.nCopies(places[p].tokens, p).forEach(marking::add);
+ marking.addAll(Collections.nCopies(places[p].tokens, p));
}
return marking.toArray(new Integer[0]);
}