/** * Finds the next mapping from the current state. * * @return the next state (or null if none) */ private int[] findNext() { while (map()); if (state.size() == state.nMax()) return state.mapping(); return null; }
/** * Finds the next mapping from the current state. * * @return the next state (or null if none) */ private int[] findNext() { while (map()); if (state.size() == state.nMax()) return state.mapping(); return null; }