public static char nodeCount(PathToFlop path, Round round) {
return nextId[path.ordinal()][round.ordinal() - 1];
}
private static char nextId(PathToFlop path, Round round) {
if (path == null) return nextPreflopId++;
if (round == null) return nextPostflopTerminalId++;
return nextId[path.ordinal()][round.ordinal() - 1]++;
}