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