private <S, I, SP, TP> List<S> decodeBodyNondet(MutableAutomaton<S, I, ?, SP, TP> result, Alphabet<I> alphabet, int numStates, BlockPropertyDecoder<? extends SP> spDecoder, SinglePropertyDecoder<? extends TP> tpDecoder) throws IOException { List<S> stateList = decodeStatesNondet(result, numStates, spDecoder); decodeTransitionsNondet(result, stateList, alphabet, tpDecoder); return stateList; }
private <S, I, SP, TP> List<S> decodeBodyNondet(MutableAutomaton<S, I, ?, SP, TP> result, Alphabet<I> alphabet, int numStates, BlockPropertyDecoder<? extends SP> spDecoder, SinglePropertyDecoder<? extends TP> tpDecoder) throws IOException { List<S> stateList = decodeStatesNondet(result, numStates, spDecoder); decodeTransitionsNondet(result, stateList, alphabet, tpDecoder); return stateList; }